
The Haemimont Foundation is proud to have been a sponsor of the international Logic Colloquium 2009 at Sofia University, held from 31 July to 5 August.
The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). The gathering provides a forum for presenting and discussing new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also includes researchers from computer science logic and philosophical logic. In previous years, the Logic Colloquium was held in the following locales:
Bern, Switzerland, 2008
Wrocław, Poland, 2007
Nijmegen, The Netherlands, 2006
Athens, Greece, 2005
Torino, Italy, 2004
Helsinki, Finland, 2003
Astea Solutions AD, an entity affiliated with the Haemimont Foundation, was also a sponsor of the Logic Colloquium 2009. Astea’s team of high level software engineers works closely with Sofia University’s Faculty for Mathematics and Informatics and Laboratory for Interactive Multimedia, especially in cutting edge research and development in electronic publishing.
Details for proceedings of the event are available at the following link.










Faculty of Mathematics and Informatics of Sofia University “St Kliment Ohridski”