Academic Service of Hans van Ditmarsch

Editorships

• editor: Journal of Philosophical Logic (2008-)
• editorial board: Australasian Journal of Logic (2003-)
• editorial board: Knowledge, Rationality & Action (Synthese) (2007-)

Review for journals

• International Journal of Game Theory (2011)
• Journal of the IGPL (2011)
• Theoretical Computer Science (2010)
• Chicago Journal of Theoretical Computer Science (2009)
• Crítica, Revista Hispanoamericana de Filosofía (2009)
• The Journal of Logic and Algebraic Programming (2009)
• Journal of Combinatorial Optimization (2009)
• The Polish Journal of Philosophy (2009)
• Zentralblatt MATH (2009)
• Artificial Intelligence Journal (2008)
• Review of Symbolic Logic (2008)
• International Journal of Computer Games Technology (2008)
• Journal of Applied Non-Classical Logics (2008)
• Information and Computation (2008)
• AMS Mathematical Reviews (2007)
• Journal of Philosophical Logic (2007)
• IEEE Transactions on Computers (2007)
• Journal of Autonomous Agents and Multi-Agent Systems (2007)
• Linguistics and Philosophy (2006)
• Studia Logica (2006)
• Journal of Artificial Intelligence Research (2006)
• Australasian Journal of Logic (2005)
• Australasian Journal of Combinatorics (2005)
• Discrete Mathematics (2005)
• Synthese (2005)
• Journal of Applied Logic (2004)
• Annals of Mathematics and Artificial Intelligence (2004)
• Journal of Cryptology (2004)
• Knowledge, Rationality, and Action (2004)
• Journal of Logic and Computation (2004)
• Journal of Logic, Language and Information (2003)
• ACM Transactions on Computational Logic (2002)

Conference and workshop organization (chair / local or main organizer)

• 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), Sevilla, 18-20 June 2012
• The Third International Workshop on Logic, Rationality and Interaction (LORI-III), Guangzhou, 10-13 October 2011.
• Seventh Workshop Methods for Modalities (M4M 7), Osuna, 10-12 November 2011
• Third international congress on Tools for Teaching Logic (TICTTL), Salamanca, 1-4 June 2011
• NASSLLI workshop New Directions in Dynamic Epistemic Logic, Bloomington, 26 June 2010
• workshop Logic for Information Security, during ISLA 2010, 19-22 January 2010, Hyderabad.
• workshop Logic and Information Security, Lorentz Center, Leiden University, Leiden, Netherlands, 22-26 September 2008.
• ESSLLI 2008 (co-chair organizing committee), Hamburg, Germany, 4-15 August 2008
• (Second) Workshop on Logic and Multi-Agent Systems (LAMAS), University of Otago, Dunedin, New Zealand, 15/16 February 2007
• workshop Belief Revision and Dynamic Logic, European Summerschool on Logic, Language, and Information (ESSLLI 05), Heriot-Watt University, Edinburgh, August 2005
• Australasian Association of Logic Annual Meeting (AAL 2004), University of Otago, Dunedin, New Zealand, January 2004
• Australasian Computer Science Week (ACSW 2004), University of Otago, Dunedin, New Zealand, January 2004
• Eighth Workshop on Games in Logic, Languages & Computation (GLLC 8), University of Groningen, Netherlands, 5 September 2003
• Workshop on Logic and Multi-Agent Systems (LAMAS), University of Otago, Dunedin, New Zealand, 29/30 October 2002
• Fourth Workshop on Games in Logic, Languages & Computation (GLLC 4), University of Groningen, Netherlands, 21 November 2000
• Symposium Logic, Computers and Education, European Summerschool on Logic, Language, and Information (ESSLLI 96), Prague, Czech Republic, August 1996

Programme committees

Selection. Year of first time on that particular programme committee (or related, PC, SPC, ...). Conferences where I was reviewer but not PC member are not listed.

• JELIA (European Conference on Logics in Artificial Intelligence), 2012
• TARK (Theoretical Aspects of Reasoning about Knowledge), 2011
• ICLA (Indian Conference on Logic and its Applications), 2011
• CLIMA (Computational Logic in Multi-Agent Systems), 2010
• AAAI (American Association of Artificial Intelligence), 2010
• KR (Knowledge Representation), 2010
• LORI (Logic of Rational Interaction), 2009
• M4M (Methods for Modalities), 2009
• IJCAI (International Joint Conference on Artificial Intelligence), 2009
• ECAI (European Conference on Artificial Intelligence), 2008
• CATS (Computing: The Australasian Theory Symposium), 2008
• PRIMA (International Conference on Principles of Practice in Multi-Agent Systems), 2007
• MFI (Journées Francophones MODÈLES FORMELS de l'INTERACTION), 2007
• LOFT (Logic and the foundations of game and decision theory), 2006
• AI (Joint Australian AI Conference), 2006
• FAMAS (Formal aspects of multiagent systems), 2006
• AAMAS (International Joint Conference on Autonomous Agents and Multi-Agent Systems), 2003

Grants and honours

Research grants (travel grants are not listed)

• KNAW (Royal Netherlands Academy of Arts and Sciences), 2008, towards Logic and Information Security workshop at Lorentz Center
• AOARD (Asian Organization for Airforce Research and Development) Research Grant, 2004/2005, Cryptology for Ideal Agents, principal investigator
• Otago Research Grant, 2003, Multi-Agent Frame Characterization
• Studeerbaarheidsfondsproject Brede Onderwijsinnovatie Kennistechnologie (Dutch National Study Fund project Knowledge Technology Innovation), 1996-1999

Honours

• chair, ASL committee on logic education, 2012-
  (member, ASL committee on logic education, 2006-2011)
• Investigador de Reconocida Valía en Proyecto de Excelencia, Universidad de Sevilla & Junta de Andalucia, 2009-2014
• professeur invité, Université de Rennes / ISTIC, August 2011, host: Sophie Pinchinat
• professeur invité, Université Paris Dauphine, Sept 2010, host: Jérôme Lang
• Lorentz Fellow, Netherlands Institute of Advanced Study in the Humanities and Social Sciences & Lorentz Center Leiden University, February 2008 - June 2008, host: Wim Blockmans
• invited lecturer, IRIT, Toulouse, France, June 2007, host: Luis Farinas
• visitor, Netherlands Institute of Advanced Study in the Humanities and Social Sciences, Dec 2006 / January 2007, hosts: Rineke Verbrugge and Jan van Eijck
• president, AAL (Australasian Association of Logic), 2004

Invited talks