Conference on Mathematical Logic
dedicated to the 70th anniversary of Prof. Tinko Tinchev
Gyolechitsa, Bulgaria, 5–8 December 2025
List of speakers
- Alexandra Soskova — Sofia University
- Borislav Rizov — Sofia University
- Dimitar Chaltakov — Sofia University
- Dimiter Dobrev — IMI, Bulgarian Academy of Sciences
- Georgi Shopov — Sofia University
- Ivan Georgiev — Sofia University
- Lars Kristiansen — University of Oslo, Norway
- Lyuba Konova — Sofia University
- Petar Iliev — IMI, Bulgarian Academy of Sciences
- Stefan Gerdjikov — Sofia University
- Stoyan Mihov — IICT, Bulgarian Academy of Sciences
- Tatyana Ivanova — IMI, Bulgarian Academy of Sciences
- Tinko Tinchev — Sofia University
Book of abstracts (pdf)
Conference schedule
Friday, December 5
19:00
Dinner
Saturday, December 6
08:45
BREAKFAST
MORNING SESSION
09:30
Alexandra Soskova (Sofia University) Scott-Continuous Embeddings and Learning Families of Algebraic Structures from Text - Slides
10:15
Tatyana Ivanova (IMI, Bulgarian Academy of Sciences) Tinko Tinchev (Sofia University) The Fragment of Elementary Plane Euclidean Geometry Based on Perpendicularity Alone with Complexity PSPACE-complete - Slides
10:45
Lyuba Konova, Tinko Tinchev (Sofia University) On Some Elementary Theories for Rotation in the Line-Based Euclidean Plane II: The Unoriented Irrational Angle - Slides - Video
11:15
COFFEE BREAK
11:30
Petar Iliev (IMI, Bulgarian Academy of Sciences) Lower Bounds on Boolean and Modal Circuit-Size - Slides
12:00
Borislav Rizov (Sofia University) Multilanguage Dynamic Wordnet: Timeflow Hydra - Slides
12:30
Dimiter Dobrev (IMI, Bulgarian Academy of Sciences) AI That Thinks in Its Mind - Slides - Video
13:00
LUNCH
AFTERNOON SESSION
16:00
COFFEE BREAK
16:15
Lars Kristiansen (University of Oslo, Norway) Representations of Real Numbers in Irrational Bases - Video
17:15
Ivan Georgiev (Sofia University) Levitz Class and Punctually Non-Standard Models of Natural Numbers - Slides - Video
19:00
DINNER Celebration of the 70th Anniversary of Prof. Tinko Tinchev
Sunday, December 7
08:45
BREAKFAST
Morning Session
09:30
Stoyan Mihov (IICT, Bulgarian Academy of Sciences) Markovianity of Language Models: Theory and a Polynomial-Time Decision Procedure
10:10
Georgi Shopov (Sofia University) Learning Rational Probability Distributions with Bisequential Variational Autoencoders - Slides - Video
10:40
COFFEE BREAK
10:55
Stefan Gerdjikov (Sofia University) PM comme un problème mathématique - Slides - Video
11:35
Dimitar Chaltakov, Ivan Georgiev (Sofia University) Are Periods M2-Computable Real Numbers?
12:15
LUNCH
13:15
EXCURSION
19:00
DINNER
Monday, December 8
08:45
BREAKFAST
09:30
DEPARTURE
Picture of participants
More pictures
- By Anton Zinoviev
- By Mitko Yanchev
- By Stoyan Mihov