| SMS' talks given |
| M'am, what are these sines for? E.g. adventures of an ex-logician among engineers ... | 24.05.2013 |
| Meeting of the members-reanimators and more | 20.06.2012 |
| Seeing the ω₁? | 05.04.2011 |
| Herbrand's theorem, the resolution rule and automatic theorem proving | 17.03.1999 |
| A few open problems of quite elementary mathematics | 17.02.1998 |
| Ordinal numbers' arithmetic | 20.10.1997 |
| Ordinal numbers. Trans-finite induction | 16.10.1997 |
| The School of Object Mathematics - presentation of materials | 20.03.1997 |
| The founders' meeting - Smullyan's logic puzzles | 24.10.1996 |
