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 complete our online submission form.
Why Proceed with IFCoLog
 | Short Lead-Time: | Copies of the proceedings can be received as little as two weeks after submission. |
| Low Cost: | Prices vary depending on volume and postage, but each publication in the series is supported by IFCoLog, 50 copies of a workshop proceedings can be as low as £200. | |
| Author Copyright: | Unlike many other academic publishers we do not require that authors relinquish copyright on their articles. | |
| Formal or Informal: | Publications in the IFCoLog series can be either formal proceedings with an ISBN, or an informal pre-proceedings. |
Currently we accept only pdf submissions formatted in LaTeX according to the Easychair documentclass. For submissions using other styles contact us.
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>
Check the IFCoLog Calendar and Post Your Dates EARLY.
- Between the 5th and 9th of July RISC/SCIEnce in Austria clashes with CICM in Paris which then clashes with FLOC in Edinburgh?
- MultiConf 10 in Orlando and FLOC in Edinburgh, two of the biggest conferences of the year, overlap on 12th -14th of July.
- Do you know when and where ESSLLI is set to occur in 2011?
International conference coordination is possible.
Check the IFCoLog Calendar for potential overlap and let us know your dates as soon as you can.
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.
To submit a conference proceedings for publication please complete our online submission 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.