Benedikt Löwe

Home

Research

Teaching

Service

Board memberships.

Selbstverwaltung.

Events organized.

PC memberships.

1. 2005-2013. Chairman of the Steering Committee of the conference series Computability in Europe
2. 2006-2018. Member of the Board of the Deutsche Vereinigung für Mathematische Logik und für Grundlagen der exakten Wissenschaften (DVMLG)
3. 2006-2016. Member of the Board of the European Association for Computer Science Logic (EACSL)
4. 2008-2016. Member of the Board of the Association Computability in Europe (ACiE)
   
5. 2008-2012. Stellvertretender Vorsitzender of the Deutsche Vereinigung für Mathematische Logik und für Grundlagen der exakten Wissenschaften (DVMLG)
6. 2009-2013. Member of the Council of the Association for Logic in India (ALI)
7. since 2011. Bestuurslid of the Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen (VvL)
8. 2011-2015. Assistant Secretary General of the Division for Logic, Methodology and Philosophy of Science (DLMPS) of the International Union for History and Philosophy of Science (IUHPS)
9. 2012-2014. Vorsitzender of the Deutsche Vereinigung für Mathematische Logik und für Grundlagen der exakten Wissenschaften (DVMLG)

Rheinische Friedrich-Wilhelms-Universität Bonn.

1. 2000-2005. Diplomprüfungsausschuß Mathematik (member).
2. 2001-2004. Fachkommission Mathematik/Informatik (member, representative of the Wissenschaftliche Mitarbeiter).

Universiteit van Amsterdam.

1. 2003-2004. Opleidingscommissie MSc Logic (member).
2. 2004-2010. Opleidingsdirecteur MSc Logic.
3. 2008-  Scientific Coordinator UvA Erasmus Mundus External Cooperation programmes (2009/10: India, 2010/11: India; 2011/12: Asia and South Africa; 2012/13: Asia and South Africa).

• 1999. FotFS I (Berlin).
• 2000. Short course Determinacy & the Wadge Hierarchy (Bonn) taught by Alessandra Andretta; Short course AD⁺ (Bonn) taught by Richard Ketchersid; FotFS II (Bonn).
• 2001. Informal Meeting of Set Theorists 2001 (Bonn); FotFS III (Vienna); Retirement Colloquium for Ronald Jensen (Berlin); Festkolloquium aus Anlaß des 60. Geburtstags von Ulrich Felgner (Tübingen).
• 2002. Short Course Determinacy and Cardinal Invariants (Bonn) taught by Jindrich Zapletal; LC 2002 (Münster), CL 2002 (Münster), Informal Meeting of Set Theorists 2002 (Bonn).
• 2002-2007. Vortragsreihe colloquium logicum an der Universität Bonn (clUB): public lectures by P. Blackburn, B. Kienzle, H. Schwichtenberg, R. van Rooij, W. Hodges, G. Mints, G. Priest, and S. Read.
• 2003. FotFS IV (Bonn); LiB-Day in Amsterdam; SWIFT (Bonn); ILLC-Day in Bonn.
• 2003-2007. Colloquium on Mathematical Logic. (Amsterdam-Utrecht)
• 2004. ILLC-Day 2 in Bonn "Language"; FotFS V (Bonn).
• 2005. PhiMSAMP-0 (Bonn); CiE 2005 (Amsterdam); Special Session in Set Theory at AMS-DMV-ÖMG Conference (Mainz); ADMW 7 (London).
• 2006. Miniworkshop on Medieval Logic (Amsterdam); CiE 2006 (Swansea); GLLC 12: Games in Set Theory (Amsterdam); PhiMSAMP-1 (Berlin).
• 2007. International Conference on Logic, Navya-Nyaya & Applications (Calcutta); KNAW Academie Colloquium New perspectives on Games and Interaction (Amsterdam); PMP 2007 (Brussels), FotFS VI (Amsterdam); GMPR-LS 1 (Bonn); CiE 2007 (Siena); 1st European Conference on Set Theory (Bedlewo); GLLC 14½ (Amsterdam); PhiMSAMP-2 (Utrecht).
• 2008. LSIR-1 (Aberdeen); GLoRiClass Halftime Event (Amsterdam); PhiMSAMP-3 (Vienna); CiE 2008 (Athens); LOFT 2008 (Amsterdam); ESSLLI 2008 (Hamburg); FotFS VII (Brussels); PhiMSAMP-4 (Brussels).
• 2009. LSIR-2 (Pasadena, chair); PhiMSAMP-5 (Hatfield); CiE 2009 (Heidelberg).
• 2010. Set Theory @ ISLA 2010 (Hyderabad); GLoriClass Farewell Event (Amsterdam); Dialogues and Games: Historical Roots and Contemporary Models (Lille); Approaches to Barriers and Computing and Complexity (Greifswald); Modeling Interaction, Dialog, Social Choice and Vagueness (Amsterdam); PhiMSAMP-6 (Amsterdam/Utrecht); CiE 2010 (Ponta Delgada); Obligationes: session at the IMC 2010 (Leeds); Mathematical Logic and Set Theory (Chennai); DIPLEAP: Dialogues, Inference, and Proof (Vienna); APMP 2010 (Brussels).
• 2011. LogICCC Meets India (Delhi); Methodology of experimental and empirical philosophy (Amsterdam); CiE 2011 (Sofia); Logical modelling for Interaction, Communication, Cognition and Computation at CLMPS XIV (Nancy); Mathematics as Culture and Practice II (Greifswald).
• 2012. The mathematical legacy of Alan Turing (Cambridge); TiC I (Cambridge); Pattern Formation (Oxford); DCM 2012 (Cambridge, chair); CiE 2012 (Cambridge); CL 2012 (Paderborn); Production of Breaking the Code by the University Players Hamburg (Paderborn, Hamburg, Braunschweig, Amsterdam, Almere); turing100.nl (Amsterdam); TiC II (Brussels); CML 2012 (Guangzhou).
• 2013. CiE 2013 (Milan); CMN 2013 (Hamburg); HiPhI (Cambridge, chair).
• 2014. Planning with epistemic goals (Schloß Dagstuhl).

• 1999. FotFS I (Berlin, chair).
• 2000. FotFS II (Bonn, chair).
• 2001. FotFS III (Vienna, chair).
• 2002. CL 2002 (Münster).
• 2003. FotFS IV (Bonn, chair).
• 2004. FotFS V (Bonn, chair).
• 2005. CiE 2005 (Amsterdam, chair).
• 2006. CiE 2006 (Swansea), LOFT 2006 (Liverpool), Logical Workshop 2006 Logic & Games (Kazimierz Dolny).
• 2007. International Conference on Logic, Navya-Nyaya & Applications (Calcutta), KNAW Academie Colloquium New perspectives on Games and Interaction (Amsterdam), PMP 2007 (Brussels), FotFS VI (Amsterdam, chair), CiE 2007 (Siena), 1st European Conference on Set Theory (Bedlewo), CSL 2007 (Lausanne), FAInt-07 (Osnabrück) , TbiLLC 2007 (Tbilisi).
• 2008. LSIR-1 (Aberdeen, chair), PhiMSAMP-3 (Vienna), CiE 2008 (Athens), LOFT 2008 (Amsterdam, chair), ESSLLI 2008 (Hamburg), FotFS VII (Brussels, chair).
• 2009. LSIR-2 (Pasadena, chair), CiE 2009 (Heidelberg), CSL 2009 (Coimbra), AGPC 2009 (Amsterdam).
• 2010. Logical Approaches to Barriers and Computing and Complexity (Greifswald), CiE 2010 (Ponta Delgada) LOFT 2010 (Toulouse), APMP 2010 (Brussels).
• 2011. ICLA 2011, Truth (Amsterdam), WoLLIC 2011 (Philadelphia), LATA 2011 (Tarragona), CiE 2011 (Sofia), CSL 2011 (Bergen), KI 2011 (Berlin), INT4 (Stanford), Mathematics as Culture and Practice II (Greifswald, chair).
• 2012. DCM 2012 (Cambridge, chair), CiE 2012 (Cambridge), MC1 (London), CL 2012 (Paderborn, chair), INT5 (Stanford), WoLLIC 2012 (Buenos Aires), KI 2012 (Saarbrücken), turing100.nl (Amsterdam), TiC II (Brussels), CML 2012 (Guangzhou).
• 2013. CiE 2013 (Milan), 4th European Conference on Set Theory (Barcelona), CMN 2013 (Hamburg), MC2 (London), HiPhI (Cambridge, chair).