Welcome to IFCoLog!

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

Link To IFCoLog

To add a small link to IFCoLog just add this code to your website:

<a href="http://www.ifcolog.net"><img title="IFCoLog"
src="http://www.ifcolog.net/logo_small.jpg" alt="IFCoLog" /></a>


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