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
|