Department of Mathematical Logic and Applications

Some links: Computability in Europe 2011 Mailing list of the Bulgarian logic community Web phorum of the department Section of Logic at the IMI of BAS Linguistic Modelling Department at the IPP of BAS

• The Department was founded in 1972 as a subdivision of the United Center of Mathematics and Mechanics (more information can be found in Dimiter Skordev's historical notes). Since 1989 the Department has been a part of the Faculty of Mathematics and Computer Science, Sofia University.
• The members of the Department are specialists in the areas of Computability Theory, Theoretical Computer Science, Modal and Non-Classical Logic, Constructive Mathematics.
• The Department is responsible for several courses in the curriculum of the Bachelor Programs in Mathematics and Computer Science.
• The Department is responsible also for the Master of Sciences programs in “Logic and Algorithms” in the Faculty.
• If you want to ask something or to initiate a discussion, you can use our web phorum. In order to be informed with the current events about the mathematical logic and theoretical computer sciences you can subscribe to our mailing list (about 5 messages per month).
• Professor Alexandra Soskova is the current chairman of the Department. You can address any questions and remarks to her.

Last edition: 16 November 2010 at 09:19 EET