Skip to content
Frühere Veranstaltungen
- 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.
- 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
