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
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