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

Contact Us


Computational Logic has outgrown its humble beginnings and early expectations by far: with close to ten thousand people working in research and development of logic-related methods, with several dozen international conferences and workshops addressing the growing richness and diversity of the field, and with the foundational role and importance these methods now assume in mathematics, computer science, artificial intelligence, cognitive science, linguistics and many engineering fields — where logic-related techniques are used inter alia to state and settle correctness issues — the field has diversified in ways that the pure logicians working in the early decades of the last century could have hardly anticipated. Dating back to its roots in Greek philosophy as presented in the works of Aristotle, logic has grown in richness and diversity over the centuries to finally reach the modern methodological approach expressed in the work of Frege.


How can these dozens of societies, sociologically evolved communities and conference affiliates be re-united without losing their historical identities? One possible solution is inspired by the manner in which the European AI societies are organised into ECCAI (European Coordinating Committee for Artificial Intelligence): there is one registered society, namely ECCAI, whose members are the European national AI-Societies. With the growing unification of Europe there are currently more than 25 members who represent all European AI researchers and whose representatives meet every two years at the time of ECAI, the European Conference of Artificial Intelligence.