Veranstaltungen (bis 2013)

• 2013.
  • Sektion Algebra, Logik und Mengenlehre at the 18th ÖMG Congress and Annual DMV Meeting
    Innsbruck, Österreich, 23.-27.9.2013
  • Hilbert’s Legacy in the Philosophy of Mathematics
    Lissabon, Portugal, 11.-13.9.2013
  • ESI 2013 Forcing, Large Cardinals and Descriptive Set Theory
    Wien, Österreich 9.9.-18.10.2013
  • Humboldt-Kolleg „Proof“
    Bern, Schweiz, 9.-13.9.2013
  • WoLLIC 2013: Workshop on Logic, Language, Information and Computation
    Darmstadt, 20.-23.8.2013
  • LC 2013: Logic Colloquium
    Évora, Portugal, 22.-27.7.2013
  • Frege: Freunde und Feinde
    Wismar, 12.-15.5.2013
• 2012.
  • 64. Theorietag: Workshop über Algorithmen und Komplexität
    Darmstadt, 4.10.-5.10.2012
  • Colloquium Logicum 2012
    Paderborn, 13.9.-15.9.2012.
    Programme Committee: M. Bishop, Z. Chatzidakis, P. Koepke, S. Lempp, B. Löwe, V. Peckhaus, P. Pudlák, E. Scholz.
  • University players on tour: Hugh Whitemore’s play „Breaking the Code“
    Paderborn 14.9.2012, Hamburg 16.9.2012, Braunschweig 19.9.2012, Amsterdam, Niederlande, 4.-5.10.2012, Almere, Niederlande, 1.11.2012
  • Trends in Logic, XI Studia Logica International Conference
    Bochum, 3.6.-5.6.2012.
• 2010.
  • Colloquium Logicum 2010
    Münster, 22.9.-24.9.2010
    Programme Committee. K. Ambos-Spies, U. Kohlenbach, J. Makowsky, R. Schindler, K. Tent.
    Organisatoren. R. Schindler, K. Tent.
  • Definability in Number Theory
    Gent, Belgien, 30.8.-4.9.2010.
  • Program Extraction and Constructive Proofs
    Brno, Tschechische Republik, 21.8.-22.8.2010
    Workshop in Honor of Helmut Schwichtenberg at MFCS and CSL.
    
  • Conference on Mathematical Logic and Set Theory
    Chennai, Indien, 15.8.-17.8.2010
    Satellite Conference of ICM 2010.
  • Logical Approaches to Barriers in Computing and Complexity
    Greifswald, 17.2.-20.2.2010.
• 2009.
  • G. Gentzen Centenary Conference
    Leeds, England, 5.7.-6.7.2009.
• 2008.
  • Colloquium Logicum 2008
    Darmstadt, 10.9.-12.9.2008
    Programme Committee: K. Ambos-Spies, U. Kohlenbach (Chair), B. Löwe, M. Otto, V. Peckhaus, Th. Streicher, F. Wagner
    Organisatoren: U. Kohlenbach, M. Otto, Th. Streicher, B. van den Berg
  • ESSLLI 2008: 20th European Summer School in Logic, Language and Information
    Hamburg, 4.-15.8.2008
    Programme Committee: E. Franconi, P. Hendriks, M. Kaminski, B. Löwe (co-chair), M. Poesio, P. Schlenker, K. Sima’an, R. Verbrugge (chair)
    Organisatoren: S. Bold, H. König, B. Löwe, S. Uckelman, H. van Ditmarsch, P. van Ormondt
  • PohlersFest
    Münster, 17.-19.7.2008
    Organisatoren: M. Pfeifer, R. Schindler
• Früher (nicht vollständig).
  • Colloquium Logicum 2006
    Bonn, 22.9.-24.9.2006
    Programme Committee: S.-D. Friedman, E. Grädel, G. Jäger, M. Karpinski, P. Koepke, V. Peckhaus, M. Ziegler
    Organisatoren: I. Dimitriou, B. Irrgang, P. Koepke, J. Veldman
    Satellitentagung der Jahrestagung 2006 der DMV in Bonn
  • Colloquium Logicum 2004
    Heidelberg, 17.9.-19.9.2004
    Programme Committee: K. Ambos-Spies, P. Koepke, M. Otto, V. Peckhaus, H. Schwichtenberg, M. Ziegler
    Organisatoren: K. Ambos-Spies, E. Busse, K. Gloede, F. Horlacher, W. Merkle, N. Mihailovic, P. di Muccio, J. Reimann
    Satellitentagung der Jahrestagung 2004 der DMV in Heidelberg
  • Colloquium Logicum 2002
    Münster, 9.8.-11.8.2002
    Organisatoren: J. Diller, P. Koepke, B. Löwe, W. Pohlers, Ch. Thiel, W. Thomas, A. Weiermann
    Satellitentagung des Logic Colloquium 2002 (ASL European Summer Meeting)
  • Colloquium Logicum 2000
    Dresden, 22.9.-24.9.2000
    Organisatoren: M. Droste, H.-D. Ebbinghaus, J. Flum, M. Ziegler
    Satellitentagung der Jahrestagung 2000 der DMV in Dresden
  • Colloquium Logicum 1998
    Berlin, 28.8.-30.8.1998
    Organisatoren: A. Baudisch, R. Jensen, S. Koppelberg
    Satellitentagung des International Congress of Mathematicians 1998
  • Colloquium Logicum 1994
    Neuseddin, 12.-14.5.1994
    Organisatoren: H. Wolter, M. Weese
  • Colloquium Logicum 1992
    Münster, 18.-20.6.1992
    Organisator: J. Diller
  • Colloquium Logicum 1990
    Bielefeld, 14.6.-16.6.1990
  • Colloquium Logicum 1988
    Kiel, 2.-4.6.1988
    Organisatoren: K. Potthoff, A. Oberschelp
  • Colloquium on Logic and Foundations of Mathematics (European ASL Meeting)
    Hannover, 8.-12.8.1966