Conferences and workshops

Conferences and workshops

 

2019

 
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

2018

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

2017

2016