Tagungen und Workshops

Tagungen und Workshops



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


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