The Federation

How can dozens of logic related societies, sociologically evolved communities and conference affiliates be re-united without losing their historical identities? Our solution is inspired by the manner in which the European AI societies are organised into ECCAI (European Coordinating Committee for Artificial Intelligence): there is one registered society, namely ECCAI, whose members are the European national AI-Societies. With the growing unification of Europe there are currently more than 25 members who represent all European AI researchers and whose representatives meet every two years at the time of ECCAI, the European Conference of Artificial Intelligence.

So the idea for IFCoLog is similar: The International Federation for Computational Logic (IFCoLog) has been created and legally registered, whose members are the current (and future) communities related to computational logic. Some of these are actually organised into legal societies, others are simply associated with a conference, but nevertheless form a scientific community of considerable size and importance. To make this workable, it will be required to form an organisational structure that does not infringe on the interests of the individual communities but nevertheless ensures maximum cohesion. The following organisation has been accepted:


The General Assembly consists of the representatives of the individual member societies, i.e. each society that has been accepted as a member by the board of IFCoLog will elect a representative for the General Assembly for IFCoLog. We expect the General Assembly to consist of several hundred members eventually, who met electronically by email and e-vote. The General Assembly will discuss most issues related to the federation by email and possibly hold meeting in conjunction with the joint conference FLOC (Federated Logic Conference), which most members are likely to attend anyway.
The General Assembly will elect the Board, whose task is similar to a government of a state, whereas the General Assembly would roughly correspond to the elected parliament.


The Board will be composed of elected representatives from the member societies and communities. In order to maintain a functional size it is restricted to twenty members. Thus the (dozens of) member societies, represented in the General Assembly will be partitioned into about twenty areas, with one representative each.

We expect this partitioning into areas to be handled without too strict a borderline and for current purposes the General Assembly as a whole will elect the board members under the given understanding that each area has a fair chance to be represented. If necessary areas may later be established within the General Assembly on a more formal basis.
The idea is that this should be an open process with as little factionalism as possible: the main motivation is not to alienate, but to unite.

The Current Board Members

IFCoLog Advisory Board


This is the actual executive that runs the everyday business of the Federation, and it is comprised of:

* The President
* Five Vice-Presidents
* An Executive Board (currently Sandra Alves, Christoph Benzmüller, Simon Colton, Emilio Corchado, Michael Gabbay, Michael Kohlhase)
* The Founding President
* A Treasurer
* The PR Officer (for journals, WWW, press releases, etc), and
* A co-ordinator, a secretary and further technical staff as needed to carry out the everyday business (such as website, email listings etc.)

The President

This should be an outstanding scientist with appropriate presidential personality who can unite and bring together the many factions. The President will be elected by the Board and the Executive Council and should serve for six years.

The Vice Presidents

There are five Vice-presidents elected by the Board and the Executive Council for a limited period of time (currently six years). Ideally the five VPs represent the major scientific subareas, such as symbolic logic, logic programming, automated deduction, logic in computer science and artificial intelligence, formal methods and verification, logic and language as well as logic and philosophy.
The Vice-presidents should also come from the major geographical regions of the world i.e. at least: North America, Europe, and the Pacific Rim should each be represented. This reflects the current shape of the global village, which is likely to remain dominant for the the time being. The Network of Excellence in Computational Logic (CoLogNET) provides initial support and financial resources.

The Executive Council

Currently, the officers are:

* Interim Presidents: Dov Gabbay & Jörg Siekmann
* Founding President: Dana Scott

* Treasurer: Howard Barringer
* Press Officer: Vincent F. Hendricks
* Newsletter: PhiNews of IFCoLog
* Chief Administrator: Jane Spurr
* Web Administrator: Armindo Ribeiro


Inasmuch as the Federation aims to counterbalance the growing division in the field and to represent it once again in its entirety, it is deemed to work on the following four major goals:
Information     Representation     Promotion     Cooperation

More specifically it will be activ in order to :

* influence funding policy
* increase international visibility
* set up concrete educational curricula
* set up special chairs in computational logic
* encourage high-quality teaching materials (books, videos, etc)
* maintain an active information policy
* create an infrastructure for web sites and links
* maintain a register of individual and corporate e-mail addresses
* establish an informal journal, (such as “CoLogNET Newsletter”) and found and maintain several formal scientific journals. The Journal of Applied Logic has been accepted as the official journal and also the ACM Transactions in Computational Logic (ToCL). CoLogNET provides further support with many logic-related journals as well as the logic treasury.
* faster information sharing and exchange with other providers such as DBLP, CoLogNet, etc.
* establish its own set of scientific awards
* provide an insurance policy for the individual affiliated conferences in case of loss
* support one major federated conference every three years (the FLOC conference)


Every three years, the member communities agree to hold one major conference – FLOC that consists of the back-to-back conferences of the individual members, while individual conferences like CADE, LICS, and others will be held yearly or biannually.
The joint conference, with more than a thousand participants, is a major show of strength, unification and cross-fertilisation, and ensures the overall visibility of the Federation.

Some Tags: logic, automated deduction, logic in computer science, Logic Programming, Information, Conference, science, formal methods, Information Sharing, verification