International Conference on Mathematical Logic

dedicated to the 85th anniversary of Prof. Dimitar Vakarelov

Strelcha, 18-21 September, 2023

funded by Sofia University Science Fund, project 80-10-210 / 22.05.2023

List of participants

Alexandra Soskova, Sofia University
Anton Zinoviev, Sofia University
Borislav Rizov, Sofia University
Georgi Shopov, PhD student, Institute of Information and Communication Technologies at Bulgarian Academy of Sciences
Grigor Kolev, PhD student, Sofia University
Dimiter Dobrev, Institute of Mathematics and Informatics at Bulgarian Academy of Sciences
Dimiter Vakarelov, Sofia University
Ivan Georgiev, Sofia University
Ivan Nikolov, PhD student, Sofia University
Mitko Yanchev, Sofia University
Petar Iliev, Institute of Mathematics and Informatics at Bulgarian Academy of Sciences
Philippe Balbiani, IRIT, France
Stela Nikolova, Sofia University
Tinko Tinchev, Sofia University
Vladimir Sotirov, Institute of Mathematics and Informatics at Bulgarian Academy of Sciences

Book of Abstracts (pdf)

Conference Schedule

Monday, September 18

ACCOMMODATION

Tuesday, September 19

8:30 - 9:15 BREAKFAST

9:15 - 10:00 Dimiter Vakarelov, Sofia University “Logical theories of space and time: bibliography and a short overview of Bulgarian results in the field” (slides) (video)

10:00 - 10:45 Philippe Balbiani, IRIT, France Intuitionistic logics with modal connectives: a minimal setting à la Fischer Servi” (slides) (video)

10:45 - 11:00 COFFEE-BREAK

11:00 - 11:45 Tinko Tinchev, Sofia University “Combining contact and measure” (slides) (video)

11:45 - 12:15 Grigor Kolev and Tinko Tinchev, Sofia University “Correspondence problem on several classes of frames for intuitionistic propositional formulas” (slides) (video)

12:15 LUNCH

16:00 - 16:20 COFFEE

16:20 - 17:00 Georgi Shopov and Stoyan Mihov, IICT - Bulgarian Academy of Sciences “Learning Finite-State Assemblies for Efficient Language Modelling” (slides) (video)

17:00 - 17:30 Ivan Nikolov and Tinko Tinchev, Sofia University “Logic of Ternary Contact” (slides) (video)

17:30 - 18:00 Borislav Rizov and Tinko Tinchev “Towards Dynamic Wordnet: Time Flow Hydra” (slides) (video)

18:00 - 18:15 BREAK

18:15 - 18:45 Petar Iliev, IMI - Bulgarian Academy of Sciences “A very biased overview of some of Vakarelov’s contributions to correspondence theory”

18:45 - 19:15 Vladimir Sotirov, IMI - Bulgarian Academy of Sciences “Money, Numbers, & Numerals. Counting and naming” (slides) (audio)

19:15 CELEBRATION OF THE 85TH ANNIVERSARY OF PROF. DIMITER VAKARELOV

Wednesday, September 20

8:30 - 9:15

Special session dedicated to Prof. Dimiter Skordev, who passed away on December 29, 2022

9:15 - 10:00 Anton Zinoviev, Sofia University “The creativity of Dimiter Skordev in the field of the mathematical logic before 2000” (slides) (video)

10:00 - 10:45 Ivan Georgiev, Sofia University “New results on subrecursive degrees of representations of irrational numbers” (slides) (video)

10:45 - 11:00 COFFEE-BREAK

11:00 - 11:45 Alexandra Soskova, Sofia University “Lopez-Escobar theorem for continuous domains and Learning theory” (slides) (video)

11:45 - 12:15 Dimiter Dobrev, IMI - Bulgarian Academy of Sciences “Description of the internal state of the world” (slides) (video)

12:15 - 13:00 LUNCH

13:00 - 19:00 EXCURSION

19:15 DINNER

Thursday, September 21