Conference and Workshop Participation
Colloquium Logicum 2024, DVMLG, 7-9 October, Vienna
6th International School and Workshop on Proof Theory, Proof Society 2024, 9-13 September, Birmingham
ASL Logic Colloquium 2024, 24-28 June, Gothenburg
AlMoTh 2024, Ilmenau
CSL24, Napoli
Days in Logic 2024, Lisbon
Winter Meeting 2023, Lisbon
Conference on Techniques from Logic in Mathematics, TU Wien
Workshop on Logic, Graphs, and Algorithms, LoGAlg 2023 Warschau
Working Formal Methods Symposium, FROM2023, Bucharest
Logic Colloquium 2023, Milano
Workshop Doctrines and Fibrations, Padua
AlMoTh, Bochum
Workshop Trends in Proof Theory, Ghent
Autumn school Proof and Computation, Fischbachau
Colloquium Logicum, Konstanz
European Set Theory Conference 2022, Turin
APT22, International Conference on Applied Proof Theory, Pescara
Days in Logic 2022, Faro
Logic Colloquium 2022, Reykjavik
Unilog-2022, 06.-11.04.2022, Kreta
AlMoTh 2022, Bremen
Applied Category Theory Conference, July 6-10, Genoa
International Conference on Analysis and its Applications, ICAA_NEPAL 2020, May 29-31, Dhulikhel
Anne Troelstra Memorial Event 2020, March 6, Amsterdam
Conference on Algebra and Alogorithms, 4-6 February, Djerba
Days in Logic 2020, January 30 – February 1, Lisbon
Computer Science Logic, CSL 2020, January 13-16, Barcelona
LFCS2020 January 4-7, Deerfield Beach, Florida
8th International Workshop on May-Valued Logic (Many Val 2019), Nov. 1-3, Bukarest
Autumn School 'Proof and Computation', September 20-26, Herrsching
Computability, Continuity, Constructivity – from Logic to Algorithms, CCC 2019, September 2-6, Ljubljana
Mathematical Logic and Constructivity (/MLOC-2019/), August 20-23, Stockholm
International Conference on Homotopy Type Theory, HoTT 2019, August 11-17, Pittsburgh
Logic Colloquium 2019, August 11-16, Prague
Workshop 'Proof, Computation, Complexity', Mittag-Leffler-Institut, July 15-19, Djursholm, Sweden
19th International Conference on Fixed Point Theory and Its Applications, ICFPTA 2019, July 6-13, Henan
26th Workshop on Logic, Language, Information, and Computation, WoLLIC 2019, July 2-5, Utrecht
9th Congress of Romanian Mathematicians, June 28 – July 3, Galati
Homotopy Type Theory and Univalent Foundations, HoTT-UF, June 12-14, Oslo
25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-16, Oslo
Days of Logic and Computability, Conference in Honor of N. A. Shanin, May 23-26, St. Petersburg
Algorithmic Model Theory Meeting, AlMoTh 2019, March 18-19, Aachen
Logics for Dependence and Independence, Dagstuhl Seminar 19031, January 13-18, Wadern
Joint Meeting of the Korean Mathematical Society and the German Mathematical Society (KMS-DMV), Special Sessions, October 3, 2018, Seoul
Symposium in honor of Erich Grädel's 60th Birthday, September 17, 2018, Berlin
Autumn school “Proof and Computation”, September 16-22, 2018, Fischbachau
Conference on Mathematical Logic, August 10-11, 2018, Niterói
30th European Summer School in Logic, Language, and Information, ESSLLI 2018, August 6, 2018, Sofia
International Conference of Mathematicians, ICM 2018, August 1-9, 2018, Rio
Logical Aspects of Quantum Information, 30.07.-03.08.18, Leiden
Inquisitive Logic Workshop, July 25-27, 2018, Amsterdam
Logic Colloquium, July 23-28, 2018, Udine
Logic in Computer Science, LiCS, July 09-12, 2018,Oxford
Federated Logic Conference 2018, FLoC 2018, July 6-19, 2018, Oxford
Workshop “Structural Sparsity, Logic, and Algorithms”, July 17-20, 2018, Warwick
North American Summer School on Logic, Language, and Information, NASSLLI, June 23-29, 2018, Pittsburgh
ASL 2018 North American Annual Meeting, May 16-19, 2018, Macomb, Illinois
International Workshop on Computational Approaches to the Foundations of Mathematics, CAFM, April 11-13, 2018, Munich
Algorithmic Model Theory Meeting, AlMoTh 2018, March 5-6, 2018, Berlin
Logical Structures in Computation Reunion Workshop, December 11-14, 2017, Simons Institute, Berkeley
MFO Workshop Mathematical Logic: Proof Theory, Constructive Mathematics, November 5-11, 2017, Oberwolfach
19th ÖMG Congress and Annual DMV Meeting, September 11-15, 2017 Salzburg
Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3–9, 2017, Oxford
Logic Colloquium 2017, August 14-20, 2017, Stockholm
12th International conference on Fixed Point Theory and its Applications ICFPTA 2017, July 24-28, 2017, Newcastle
Big Proof, June 26 – August 4, 2017, Cambridge
Logic in Computer Science, LiCS 2017, June 20-23,2017, Reykjavik
16th Int. Conf. on Relational and Algebraic Methods in Computer Science, RAMiCS, May 15-18, 2017, Lyon
PhDs in Logic, May 2-4, 2017, Bochum
Algorithmic Model Theory Meeting, AlMoTh 2017, March 7-8, 2017, Hannover
Conference for Young researchers in Homotopy Therory and categorical structures, February 13-15, 2017, Bonn
EUTypes and SSTT meeting, Workshop on Syntax and Semantics of Type Theory, January 30- February 1-2, 2017, Ljubljana
CSL 2016, Annual Conference on Computer Science Logic, August 29 – September 3, 2016
Logical Structures in Computation, Simons Institute, Berkeley, California, August 17 – December 16, 2016
6th International Workshop on Classical Logic and Computation, CL&C`16, Porto, June 23, 2016
ASL Annual North American Meeting, Storrs, Connecticut, May 23-26, 2016
PhDs in Logic VIII, TU Darmstadt, May 9-11, 2016
Algorithmic Model Theory Meeting 2016, Siegen, March 3-4, 2016
New Pathways between Group Theory and Model Theory, Mühlheim an der Ruhr, February 1-4, 2016
Winter School in Abstract Analysis, Hejnice, Czech Rebublic, January 30 – February 6, 2016
Programme on Higher Structures in Geometry and Physics, Bonn, January 1 – March 31, 2016
Program on New Challenges in Reverse Mathematics, NUS Singapore, January 3-16, 2016