Welcome to IFCoLog!

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

Avoid Conference Clashes

Check the IFCoLog Calendar and Post Your Dates EARLY.

  • In August 2011 CADE clashes ESSLLI.
  • In July 2012 the MCCSIS multifonference on Informatics clashes with the CICM conference on intelligent computer mathematics.
  • Do you know when and where ESSLLI is set to occur in 2012?

International conference coordination is possible.

Check the IFCoLog Calendar for potential overlap and let us know your dates as soon as you can.

Sample Calendar

< |||| > 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.