Veranstaltungen der DVMLG

Die DVMLG unterstützt Logik-Veranstaltungen im deutschsprachigen Raum und veranstaltet alle zwei Jahre ihre eigene Logiktagung, das Colloquium Logicum. Auf dieser Tagung findet auch regelmäßig die Mitgliederversammlung statt. Ferner gibt es im Rahmen des Colloquium Logicums seit 2002 stets ein Promotionskolloquium.

Upcoming event:

Colloquium Logicum 2012 of the DVMLG, Paderborn, September 13-15, 2012.

DVMLG events and DVMLG supported events in 2009 and 2010:

• Colloquium Logicum 2010 of the DVMLG, Universität Münster, September 22-24, 2010

• G. Gentzen Centenary Conference, Leeds (UK), July 5-6, 2009.

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

• Conference on Mathematical Logic and Set Theory, Chennai (India), Aug 15-17, 2010 (Satellite Conference of ICM 2010).

• Program Extraction and Constructive Proofs. Workshop in Honor of Helmut Schwichtenberg at MFCS and CSL, Brno, Czech Republic, Aug 21-22, 2010.

• Definability in Number Theory, U Ghent, Aug 30- Sept. 4, 2010.

Veranstaltungen 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ühere Veranstaltungen.