Association of Symbolic Logic
![ASL](files/title.jpg)
Bulgarian National Science Fund, Ministry of Education and Sciences
![FNI](../lc2009.fmi.uni-sofia.bg/static/NFNI-logo.gif)
Opencode Systems
![OpenCode](../lc2009.fmi.uni-sofia.bg/static/opencode.gif)
EU European Social Fund
![ESF](files/esf-bg.jpg)
EMS NSF
![NSF](files/logo_NSF.jpg)
Haemimont Foundation Astea Solutions
![Astea](../lc2009.fmi.uni-sofia.bg/static/Astea-logo.gif)
Elsevier Elsevier Foundation Mr Vladimir Babadjov Partners 1993
![Partners 93](../lc2009.fmi.uni-sofia.bg/static/partners93-logo.gif)
EATCS EACSL
![EACSL](../www.cs.swan.ac.uk/cie08/images/eacsl.jpg)