Welcome to IFCoLog!
The International Federation for Computational Logic (IFCoLog) welcomes you on its website.
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 /]latex, pdf, AI, Conference
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 firstname.lastname@example.org.