Sponsors

Association of Symbolic Logic

Bulgarian National Science Fund, Ministry of Education and Sciences

Opencode Systems

EU                                                            European Social Fund

EMS                                                              NSF

Haemimont Foundation                                                Astea Solutions

Elsevier      Elsevier Foundation                     Mr Vladimir Babadjov Partners 1993

EATCS                                                                 EACSL