TUD FB  Mathematik
| Deutsch
  | Home | Institute of Mathematics | TU Darmstadt  
Contact
Research
Staff
Events
Teaching

Upcoming events
 
 

Oberwolfach Workshop on Mathematical Logic: Proof Theory, Constructive Mathematics. Mathematical Research Institute Oberwolfach, November 6-12, 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.

Past events
 

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

CL&C'10, Third International Workshop on Classical Logic and Computation. Brno, Czech Republic, August 21-22, 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.

Colloquium PhD's in Logic II. Tilburg University, February 18-19, 2010, The Netherlands.

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.

The 9th International Conference on Fixed Point Theory and Its Applications. Changhua, 16-22 July 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.

Computability, Reverse Mathematics and Combinatorics. Banff International Research Station, 7-12 December 2008.

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

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

5th IFIP International Conference on Theoretical Computer Science (TCS-2008). Milan, 7-10 September 2008.

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

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

WoLLIC 2008: 15th Workshop on Logic, Language, Information and Computation. Edinburgh, 1-4 July 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.

Joint Workshop Domains VIII and Computability over Continuous Data Types. Novosibirsk, 11-15 September 2007.

The 8th International Conference on Fixed Point Theory and its Applications, Chiang Mai, Thailand, 16-22 July 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.

Twenty-third Conference on the Mathematical Foundations of Programming Semantics. Tulane University, New Orleans, LA USA, 11-14 April 2007.

Trimester on methods of proof theory in mathematics. Max Planck Institute for Mathematics, Bonn, March-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.

Joint Mathematics Meeting, AMS-ASL Special Session on Logical Methods in Computational Mathematics. New Orleans, USA, 5-7 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.

WoLLIC'2006, 13th Workshop on Logic, Language, Information and Computation July 18-21, 2006, Stanford, California, USA.

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

Advances in Modal Logic 2006

TAMC'06: Theory and Applications of Models of Computation

ISTDT'06: International Symposium on Domain Theory