# Tagungen und Workshops

## 2020

## 2019

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

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 |

## 2016

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 |