Welcome to IFCoLog!

The International Federation for Computational Logic (IFCoLog) welcomes you on its website.

IFCoLog Conference Proceedings Series Launched

IFCoLog, in association with College Publications, invites submissions for publication in its dedicated conference and proceedings series.

To submit a conference proceedings please email us.

[table id=5 /]

Currently we accept only pdf submissions formatted in LaTeX according to the Easychair documentclass. For submissions using other styles contact us.

< |||| > 1 2 3 4 5 6 7

Browse our calendar, posts and categories for information on the many conferences in computational logic happening around the world.

To submit a conference, job or cfp please complete our online post form.

The International Federation for Computational Logic has been created and legally registered as a charity in London, whose members are the current (and future) communities related to computational logic. Currently, this includes the groups and their respective representatives who are listed in members. Some of these are actually organised into legal societies, others are just centred around a conference or not legally organised at all, but still form a scientific community of considerable size and importance. To make this workable, the organisational structure does not infringe on the interest of the individual communities but nevertheless ensures maximum cohesion.

The main objectives of the Federation are:

Information     Representation     Promotion     Cooperation

The foundation of IFCoLog is an ongoing process and our pages will continuously be enhanced and updated during the next weeks and months. We always appreciate constructive comments. Please mail to office@ifcolog.net.