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]