2018

2017

12th International conference on Fixed Point Theory and its Applications ICFPTA 2017, July 24-28, 2017, Newcastle

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

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

2015

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

2014

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

2013

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

2012

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

 

 

2011

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.

Former years

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

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.

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 

Kontakt

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
Raum S2|15-206
Betina Schubotz

Öffnungszeiten:
Mo. - Fr.  10:00-15:00


 
« September 2017 »
Mo Di Mi Do Fr Sa So
35 1 2 3
36 4 5 6 7 8 9 10
37 11 12 13 14 15 16 17
38 18 19 20 21 22 23 24
39 25 26 27 28 29 30

Im Gebäude S2|15 im
Lageplan
der TUD,
Abschnitt Stadtmitte Nord,
oder unter Anreise.

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
    zum Seitenanfangzum Seitenanfang