Events with organisational participation of the Bonn Mathematical Logic Group

Past events

• Mathematical Language and Practical Type Theory 2020, HCM Workshop at Bonn, 1-4 February 2020

• Young set theory workshop 2011, Königswinter near Bonn, 21-25 March 2011

• Young set theory workshop 2010, Raach (near Vienna), February 15 - 19, 2010

• Infinitary combinatorics without the axiom of choice (ICWAC) workshop. Bonn, June 11-13, 2009

• Young set theory workshop, Bellaterra, April 14-18, 2009
  

• Attempto Controlled English (ACE) workshop, Bonn, 20 November, 2008

• Young set theory workshop, Bonn, January 21-25, 2008

• Informal meeting of set theorists (IMST 2007), May 17, 2007

• First GPMR workshop on logic and semantics, June 28-30, 2007

• Bonn international workshop on ordinal computation (BIWOC), January 21-25, 2007

• CiE 2006: Computability in Europe, Swansea, Wales, June 30-July 5, 2006

• LOFT 06: Logic and the Foundations of Game and Decision Theory, Liverpool, July 13-15, 2006

• DMV-Tagung Bonn, September 17-23, 2006

• Colloquium Logium 2006, Bonn, September 2006

• Mini course forcing by Jindrich Zapletal Jul 1-8, 2005.

• New computational paradigms: CiE 2005, Amsterdam, Jun 8-12, 2005

• Special Session on Set Theory at the Joint meeting of the AMS, DMV and ÖMG, Mainz, Jun 16-19, 2005

• Foundations of the formal sciences V, Bonn, Nov 26-29, 2004

• Colloquium Logicum 2004, Heidelberg, Sep 17-19, 2004

• ILLC-Day 2 "Language", Bonn, Jun 7, 2004

• ILLC-Day in Bonn, Bonn, November 30, 2003

• SWIFT 2003, Summer Workshop in Finestructure Theory, Bonn, July 7-11, 2003

• LiB-Day in Amsterdam, Amsterdam, June 30, 2003

• Foundations of the Formal Sciences IV, Feb 14-17, 2003

• Informal Meeting of Set Theorists (IMST 2002), Dec 2-3, 2002

• LOGIC COLLOQUIUM 2002, Münster, Aug 3-9, 2002

• Colloquium Logicum 2002, Münster, Aug 10-11, 2002

• Foundations of the Formal Sciences III, Vienna, Sep 21-24, 2001.

• Informal Meeting of Set Theorists, January 18-19, 2001.

• Foundations of the Formal Sciences II, November 10-13, 2000.

• Short Course on AD+ by Richard Ketchersid, October 9-12, 2000.

• Short Course on Determinacy & the Wadge Hierarchy by Alessandro Andretta, April 4-8, 2000.

• Foundations of the Formal Sciences I, Berlin, May 7-9, 1999.