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