Autumn school "Proof and Computation", 16th to 22nd September 2018, Fischbachau, Germany

Conference on Mathematical Logic, August 10-11, 2018, Niterói

International Conference of Mathematicians, ICM 2018, August 1-9, 2018, Rio

Inquisitive Logic Workshop, July 25-27, 2018, Amsterdam

Federated Logic Conference 2018, FLoC 2018, July 6-19, 2018, Oxford

ASL 2018 North American Annual Meeting, May 16-19, 2018, Macomb, Illinois

International Workshop on Computational Approaches to the Foundations of Mathematics, April 11-13, 2018, Munich

Algorithmic Model Theory Meeting 2018, AlMoTh, March 5-6, 2018, Berlin

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

5th International Workshop on Classical Logic and Computation, Porto, Portugal, CL&C'16, 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

Workshop on Fixpoint Logics, Automata & Expressiveness , December 10, Amsterdam

12th ISORA International Seminar on Optimization and Related Areas, October 5-9, Lima

Continuity, Computability, Constructivity, CCC 2015, September 14-18, Kochel am See

Computer Science Logic 2015, CSL, Septemer 7-10, Berlin

11th International Conference on Fixed Point Theory and its Applications, ICFPTA 2015, July 20-24, Istanbul

12th International Conference on Computability and Complexity in Analysis, CCA 2015, July 12-15, Tokyo

German-Japanese Workshop on Theory and Practice of Real Computation, July 12, Tokyo

Logic in Computer Science, LiCS 2015, July 6-10, Kyoto

11th Conference on Computability in Europe, CiE 2015, June 29 - July 3, Bucharest

10th Panhellenic Logic Symposium, PLS10, June 11-15, Samos

AutoMathA 2015, May 6-9 , Leipzig

Utrecht Workshop on Proof Theory, April 16-18, Utrecht

Algorithmic Model Theory Meeting, AlMoTh 2015, February 26-27 , Bayreuth

Dagstuhl Seminar Coalgebraic Semantics of Reflexive Economics, January 18-21, Wadern

MFO Workshop 1447: Mathematical Logic: Proof Theory, Constructive Mathematics, November 16-22, Oberwolfach

Autumn School and Workshop on Mathematical Fluid Dynamics, October 27-30, Bad Boll

Joint Meeting DMV-PTM 2014, September 17-20, Posnan

17th Japan Conference on Discrete and Computational Geometry and Graphs, JCDCG2 2014, September 15-16, Tokyo

International Workshop on Domain Theory and Applications, Domains XI, September 8-10, Paris

Colloquium Logicum 2014, September 4-6, Munich

21st Workshop on Logic, Language, Information and Computation, WoLLIC 2014, September 1-4, Valparaiso

39th International Symposium on Mathematical Foundations of Computer Science , MFCS 2014, August 25-29, Budapest

Dagstuhl Seminar 14331: Querying and Reasoning Under Expressive Constraints, August 10-14, Wadern

4th International Congress on Mathematical Software, ICMS 2014, August 5-9, Seoul

11th International Conference on Computability and Complexity in Analysis, CCA 2014, July 21-24, Darmstadt

Vienna Summer of Logic, CSL-LICS 2014, July 14-18, Vienna

Computability in Europe, CIE 2014, June 23-27, Budapest

Algorithmic Model Theory Meeting, AlMoTh 2014, February 20-21, Kassel

IRTG 1529 Winter Seminar and Klausurtagung: Fluids and Snow, January 21-27, La Clusaz

Workshop on Logic, Language, Information and Computation - WoLLIC 2013, August 20-23, Darmstadt

Games Winter School, February 4-8 , Champéry, Switzerland

5th Indian Conference on Logic and its Applications, ICLA 2013, January 10-12, Chennai, India

64. Theorietag, TU Darmstadt, October 4-5, 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, Cluj-Napoca, Romania, July 9-15, 2012

15th Latin American Symposium on Mathematical Logic Bogotá, Colombia, June 4-8, 2012

Workshop on Finite and Algorithmic Model Theory, FMT 2012, Les Houches, France, May 14-18, 2012

Workshop on Proof Theory and Computability Theory, Tokyo, February 20-23, 2012

Oberwolfach Workshop on Mathematical Logic: Proof Theory, Constructive Mathematics. Mathematical Research Institute Oberwolfach, November 6-12, 2011.

Mal'tsev Meeting. Novosibirsk, October 11-14, 2011.

Domains X Workshop 2011, Swansea, Department of Computer Science, Wales, UK, September 2-17, 2011.

Ramsey Theory in Logic, Combinatorics and Complexity. Bertinoro (Italy), May 22-27, 2011.

AMS-ASL Special Session on Logic and Analysis. New Orleans, January 6-9, 2011.

Collegium Logicum: Proofs and Structures, Paris, November 8-10, 2010.

Colloquium Logicum 2010 of the DVMLG. WWU Münster, September 22-24, Germany, 2010.

Summer Conference on Topology and its Applications. Kielce, 25-30 July 2010.

Conference on Computability and Complexity in Analysis (CCA 2010). Zhenjiang, 21-25 June 2010.

Conference dedicated to the 70th birthday of Academician Y. L. Ershov. Novosibirsk, 2-6 May 2010.

Workshop on Constructive Aspects of Logic and Mathematics. Kanazawa, 8-12 March 2010.

Logical Approaches to Barriers in Computing and Complexity. Greifswald, 17-20 February 2010.

Reverse Mathematics: Foundations and Applications. Chicago, 6-8 November 2009.

One Day Workshop on Ergodic Theory. London, 30 October 2009.

Symposium for Mogens Nielsen's 60th birthday. Aarhus, 3-4 October 2009.

Maltsev Meeting. Novosibirsk, 24 - 28 August 2009.

ASL Logic Colloquium 2009. Sofia, 31 July - 5 August 2009.

Logic and Mathematics Conference. York, 3-7 August 2009.

Continuity, Computability, Constructivity: From Logic to Algorithms. Cologne, 14-18 July 2009.

Leeds Symposium on Proof Theory and Constructivism. Leeds, 3-16 July 2009.

Algebra and Probability in Many-Valued Logics. Darmstadt, 7-9 May 2009.

Domains IX Workshop. Brighton, 22-24 September 2008.

Colloquium Logicum 2008. Darmstadt, 10-12 September 2008.

British Logic Colloquium. Nottingham, 4-6 September 2008.

Summer School and Conference: Mathematics, Algorithms and Proofs (MAP). Trieste, 11-29 August 2008.

FICS 2008: Foundations of Informatics, Computing and Software. Shanghai, 3-8 June 2008.

Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach, 6-12 April 2008.

Journée Herbrand à l'ENS. Paris, 15 February 2008.

75th Workshop on General Algebra AAA75+CYA23. Darmstadt, 2-4 November 2007.

Satellite Workshop on Modular Lattices. Darmstadt, 1-2 November 2007.

Workshop Deduction in Semantics. Stuttgart, 10-12 October 2007.

Ninth International Workshop on Logic and Computational Complexity. Wroclaw, Poland, 15 July 2007.

Logic Colloquium 2007, Wroclaw, Poland, 14-19 July 2007.

Third MATHLOGAPS Summer School. Centre Paul Langevin du CNRS, Aussois, France, 24-30 June 2007.

Mathematics, algorithms and proofs (MAP 2007). Leiden, the Netherlands, 8-12 January 2007.

2006-2007 ASL Winter Meeting. New Orleans, USA, 7-8 January 2007.

Computer Science Logic 2006 (CSL 2006), 25-29 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, January-July 2006

The 2006 Federated Logic Conference, August 2006, Seattle, including Twenty First Annual IEEE Symposium on Logic in Computer Science

Technische Universität Darmstadt

Fachbereich Mathematik

Arbeitsgruppe Logik

S2|15

Schloßgartenstraße 7

64289 Darmstadt

Tel.: +49-(0)6151-1622863

Fax: +49-(0)6151-1622840

logik@mathematik.tu-darmstadt.de

Sekretariat | |

Öffnungszeiten: |

Im Gebäude S2|15 im

Lageplan der TUD,

Abschnitt Stadtmitte Nord,

oder unter Anreise.