Autumn school "Proof and Computation", 16th to 22nd September 2018, Fischbachau, Germany
Conference on Mathematical Logic, August 1011, 2018, Niterói
International Conference of Mathematicians, ICM 2018, August 19, 2018, Rio
Inquisitive Logic Workshop, July 2527, 2018, Amsterdam
Federated Logic Conference 2018, FLoC 2018, July 619, 2018, Oxford
ASL 2018 North American Annual Meeting, May 1619, 2018, Macomb, Illinois
International Workshop on Computational Approaches to the Foundations of Mathematics, April 1113, 2018, Munich
Algorithmic Model Theory Meeting 2018, AlMoTh, March 56, 2018, Berlin
MFO Workshop Mathematical Logic: Proof Theory, Constructive Mathematics, November 511, 2017, Oberwolfach
19th ÖMG Congress and Annual DMV Meeting, September 1115, 2017 Salzburg
Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3–9, 2017, Oxford
Logic Colloquium 2017, August 1420, 2017, Stockholm
12th International conference on Fixed Point Theory and its Applications ICFPTA 2017, July 2428, 2017, Newcastle
Big Proof, June 26  August 4, 2017, Cambridge
Logic in Computer Science, LiCS 2017, June 2023,2017, Reykjavik
16th Int. Conf. on Relational and Algebraic Methods in Computer Science, RAMiCS, May 1518, 2017, Lyon
PhDs in Logic, May 24, 2017, Bochum
Algorithmic Model Theory Meeting, AlMoTh 2017, March 78, 2017, Hannover
Conference for young researchers in Homotopy Therory and categorical structures, February 1315, 2017, Bonn
EUTypes and SSTT meeting, Workshop on Syntax and Semantics of Type Theory, January 30 February 12, 2017, Ljubljana
CSL 2016, Annual Conference on Computer Science Logic, August 29  September 3, 2016
5th International Workshop on Classical Logic and Computation, Porto, Portugal, CL&C'16, June 23, 2016
ASL Annual North American Meeting, Storrs, Connecticut, May 2326, 2016
PhDs in Logic VIII, TU Darmstadt, May 911, 2016
Algorithmic Model Theory Meeting 2016, Siegen, March 34, 2016
New Pathways between Group Theory and Model Theory, Mühlheim an der Ruhr, February 14, 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 316, 2016
Workshop on Fixpoint Logics, Automata & Expressiveness , December 10, Amsterdam
12th ISORA International Seminar on Optimization and Related Areas, October 59, Lima
Continuity, Computability, Constructivity, CCC 2015, September 1418, Kochel am See
Computer Science Logic 2015, CSL, Septemer 710, Berlin
11th International Conference on Fixed Point Theory and its Applications, ICFPTA 2015, July 2024, Istanbul
12th International Conference on Computability and Complexity in Analysis, CCA 2015, July 1215, Tokyo
GermanJapanese Workshop on Theory and Practice of Real Computation, July 12, Tokyo
Logic in Computer Science, LiCS 2015, July 610, Kyoto
11th Conference on Computability in Europe, CiE 2015, June 29  July 3, Bucharest
10th Panhellenic Logic Symposium, PLS10, June 1115, Samos
AutoMathA 2015, May 69 , Leipzig
Utrecht Workshop on Proof Theory, April 1618, Utrecht
Algorithmic Model Theory Meeting, AlMoTh 2015, February 2627 , Bayreuth
Dagstuhl Seminar Coalgebraic Semantics of Reflexive Economics, January 1821, Wadern
okyo
MFO Workshop 1447: Mathematical Logic: Proof Theory, Constructive Mathematics, November 1622, Oberwolfach
Autumn School and Workshop on Mathematical Fluid Dynamics, October 2730, Bad Boll
Joint Meeting DMVPTM 2014, September 1720, Posnan
17th Japan Conference on Discrete and Computational Geometry and Graphs, JCDCG2 2014, September 1516, Tokyo
International Workshop on Domain Theory and Applications, Domains XI, September 810, Paris
Colloquium Logicum 2014, September 46, Munich
21st Workshop on Logic, Language, Information and Computation, WoLLIC 2014, September 14, Valparaiso
39th International Symposium on Mathematical Foundations of Computer Science , MFCS 2014, August 2529, Budapest
Dagstuhl Seminar 14331: Querying and Reasoning Under Expressive Constraints, August 1014, Wadern
4th International Congress on Mathematical Software, ICMS 2014, August 59, Seoul
11th International Conference on Computability and Complexity in Analysis, CCA 2014, July 2124, Darmstadt
Vienna Summer of Logic, CSLLICS 2014, July 1418, Vienna
Computability in Europe, CIE 2014, June 2327, Budapest
Algorithmic Model Theory Meeting, AlMoTh 2014, February 2021, Kassel
IRTG 1529 Winter Seminar and Klausurtagung: Fluids and Snow, January 2127, La Clusaz
Workshop on Logic, Language, Information and Computation  WoLLIC 2013, August 2023, Darmstadt
Games Winter School, February 48 , Champéry, Switzerland
5th Indian Conference on Logic and its Applications, ICLA 2013, January 1012, Chennai, India
64. Theorietag, TU Darmstadt, October 45, 2012
Third MALOA Training Workshop, University of Oxford, Mathematical Institute, August 26  September 1, 2012
10th International Conference of Fixed Point Theory and its Applications, ClujNapoca, Romania, July 915, 2012
15th Latin American Symposium on Mathematical Logic Bogotá, Colombia, June 48, 2012
Workshop on Finite and Algorithmic Model Theory, FMT 2012, Les Houches, France, May 1418, 2012
Workshop on Proof Theory and Computability Theory, Tokyo, February 2023, 2012
Mal'tsev Meeting. Novosibirsk, October 1114, 2011.
Domains X Workshop 2011. Swansea, Department of Computer Science, Wales, UK, September 217, 2011.
Ramsey Theory in Logic, Combinatorics and Complexity. Bertinoro (Italy), May 2227, 2011.
AMSASL Special Session on Logic and Analysis. New Orleans, January 69, 2011.
AMSASL Special Session on Logic and Analysis. New Orleans, January 69, 2011.
Collegium Logicum: Proofs and Structures, Paris, November 810, 2010.
Colloquium Logicum 2010 of the DVMLG. WWU Münster, September 2224, Germany, 2010.
Summer Conference on Topology and its Applications. Kielce, 2530 July 2010.
Conference on Computability and Complexity in Analysis (CCA 2010). Zhenjiang, 2125 June 2010.
Conference dedicated to the 70th birthday of Academician Y. L. Ershov. Novosibirsk, 26 May 2010.
Workshop on Constructive Aspects of Logic and Mathematics. Kanazawa, 812 March 2010.
Logical Approaches to Barriers in Computing and Complexity. Greifswald, 1720 February 2010.
Reverse Mathematics: Foundations and Applications. Chicago, 68 November 2009.
One Day Workshop on Ergodic Theory. London, 30 October 2009.
Symposium for Mogens Nielsen's 60th birthday. Aarhus, 34 October 2009.
Maltsev Meeting. Novosibirsk, 24  28 August 2009.
ASL Logic Colloquium 2009. Sofia, 31 July  5 August 2009.
Logic and Mathematics Conference. York, 37 August 2009.
Continuity, Computability, Constructivity: From Logic to Algorithms. Cologne, 1418 July 2009.
Leeds Symposium on Proof Theory and Constructivism. Leeds, 316 July 2009.
Algebra and Probability in ManyValued Logics. Darmstadt, 79 May 2009.
Domains IX Workshop. Brighton, 2224 September 2008.
Colloquium Logicum 2008. Darmstadt, 1012 September 2008.
British Logic Colloquium. Nottingham, 46 September 2008.
Summer School and Conference: Mathematics, Algorithms and Proofs (MAP). Trieste, 1129 August 2008.
FICS 2008: Foundations of Informatics, Computing and Software. Shanghai, 38 June 2008.
Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach, 612 April 2008.
Journée Herbrand à l'ENS. Paris, 15 February 2008.
75th Workshop on General Algebra AAA75+CYA23. Darmstadt, 24 November 2007.
Satellite Workshop on Modular Lattices. Darmstadt, 12 November 2007.
Workshop Deduction in Semantics. Stuttgart, 1012 October 2007.
Ninth International Workshop on Logic and Computational Complexity. Wroclaw, Poland, 15 July 2007.
Logic Colloquium 2007, Wroclaw, Poland, 1419 July 2007.
Third MATHLOGAPS Summer School. Centre Paul Langevin du CNRS, Aussois, France, 2430 June 2007.
Mathematics, algorithms and proofs (MAP 2007). Leiden, the Netherlands, 812 January 2007.
20062007 ASL Winter Meeting. New Orleans, USA, 78 January 2007.
Computer Science Logic 2006 (CSL 2006), 2529 September, 2006, Szeged, Hungary.
Minisymposium on "The use of proof theory in mathematics" within the DMV 2006 Meeting, Bonn 17.23.09.06.
Workshop "Trends in Constructive Mathematics", Frauenwörth (Chiemsee, Bavaria, Germany), 19 to 23 June 2006, organised by LMU  Department of Mathematics,
Isaac Newton Institute for Mathematical Sciences, Logic and Algorithms, Cambridge, JanuaryJuly 2006
The 2006 Federated Logic Conference, August 2006, Seattle, including Twenty First Annual IEEE Symposium on Logic in Computer Science
Technische Universität Darmstadt
Department of Mathematics
Logic Group
S215
Schloßgartenstraße 7
64289 Darmstadt
GERMANY
Phone: +49(0)61511622863
Fax: +49(0)61511622840
logik@mathematik.tudarmstadt.de
Secretary's office  
Office hours: 

Click on TUD locations,
section Center North (S2)
or see directions.