Information and Transmission Systems 19'
IITP RAS, Sept. 2019

Formal methods of Software design and verification
Hosted by Moscow State University at Sirius, Russia, Nov. 2021


Advances in Set Theory 2022
Hebrew University, Jul. 2022


P-max Tutorial by Paul Larson
TU Wien, Jan. 2023


Young Set Theory 2023
WWU Münster, May-Jun. 2023


IMS Graduate Summer School in Logic
National University of Singapore, Jun-Jul. 2023



Wormshop 2023
University of Bern, Nov. 2023


Perspectives on Set Theory
IMPAN, Warsaw, November 13-17, 2023

Trends in Proof Theory 2024
TU Vienna, February 5th–16th, 2024












[main page]