Wiebe van der Hoek - Professional Activities

General
Invited Talks
Projects
Invited Lectures
Seminars Other

General

I am a fellow of the British Computer Society
Member of the PhD Thesis External Review Committee, International Graduate School in Information and Communication Technology, Trento, Italy.
I am Conference Chair of JELIA'06
I was Program Chair of EUMAS'05
Member of a panel to rank grant applications of the Dutch Research Organisation, Spring 2005.
I was a panelist for the NSF, Arlington, VA, USA, summer 2003.
I was granted a William Evans Award Fellowship, giving a grant for an extended visit at the University of Otago, New Zealand, October 2002.
Coordinator of the AgentLink workpackage `Education and Training', from February 2001.
Board member of the Dutch Association for Logic (2000 -- 2002).
Board member of the foundation of `Autonomous Intelligent Robots' (2000 -- 2002).
Vice-president of the Dutch Association for RoboCup (1999 -- 2002).
Board-member of the LOFT-conference (Logic and the Foundations of Game and Decision Theory), an international conference on Logic and Game-theory (from 1998).
Board-member of the BNVKI, the Belgium-Dutch Association for Artificial Intelligence (1998 -- 2002).
I am a member of the board of the network of excellence AgentLink (from 1998).
I am `Collaborateur Scientifique' of the Notre Dame de la Paix University, Leuven, Belgium (from 1997).

Invited Talks

Invited talk at Methods for Modalities (M4M), November 29 - 30, 2007, Cachan, France.
Invited talk at Multi-Agent Logics, Languages, and Organisations - Federated Workshops (MALLOW), Spetember 3 - 7, 2007, Durham, UK.
Invited talk at Logics for Rationality and Interaction (LORI), August 6 - 9, 2007, Beijing, China.
Invited talk at International Conference On Conceptual Structures (ICCS), July 22 - 27 2007, Sheffield, UK.
Invited talk at Modèles Formels de l'Interaction}, May 30 - June 1, 2007, Paris, France.
Invited talk at Workshop on Logics and Collective Decision Making (LCD), March 12 -- 13, 2007, Lille, France.
Invited talk at the Dutch Assocation for Logic (Vereniging voor Logica), 19 January 2007, Utrecht, the Netherlands.
Invited talk at the workshop Games, Action, and Social Software, October 30 - November 3, 2006, Leiden, The Netherlands.
Invited talk at the Studia Logica Conference, September 1 - 4, 2006, Turin, Poland.
Workshop Understanding the Dynamics of Knowledge, Siena, Italy, 17 -- 19 November, 2005.
The 7th Augustus de Morgan Workshop Interactive Logic: Games and Social Software, London, 4 - 7 November, 2005.
Invited talk in the Computer Science Logic session of the Logic Colloquium, Athens, Greece, 28 July - 3 August 2005.
The Fourth Workshop on Computational Models of Scientific Reasoning (CMSRA-IV) Lisbon, 21-23 September, 2005.
Invited talk at Changing Minds: Cognitive, computational and logical approaches to belief change 29 October 2004, Amsterdam.
Invited talk at Advances in Modal Logic (AiML), 2004, Manchester, 9 - 11 September, 2004.
Invited talk at the BCS SGAI Symposium on Mobile and Complex Agent Systems, Edinburgh, 3 September, 2004.
Talk at Symposium Agents Everywhere, 1 July 2004, University of Twente, the Netherlands.
Invited talk at the conference Social Software, organised by The Danish Network for Philosophical Logic and Its Applications, Copenhagen, 27 - 29 May, 2004.
Key-note speaker at Autonomous Agents and Multi Agent Systems (AAMAS), 2004, New York, USA.
Invited talk at the celebration of the reaccreditation at the Royal Academy of Science, of the School on Information and Knowledge Systems (SIKS), Amsterdam, March 2004.
Keynote speaker at the first European workshop on Multi- Agent Systems (EUMAS), 18-19 December 2003, Oxford, UK.
Invited talk at the Fifth De Morgan Conference, London, 3 - 5 November 2003.
Invited talk (`Agents that Know How to Play'), workshop on Games, Logic, Language and Computation (GLLC8), Groningen, 5 September 2003.
Invited talk (`On Goals in Agent Programming Languages') at the AgentLink/CologNet Symposium on Logic-Based Agent Implementation, Barelona, February 2nd, 2003.
Invited talk at the workshop `Logics for Agents and Multi Agent Systems' (LAMAS), Dunedin, University of Otago, New Zealand, October 29, 2002.
Invited presentation (`Characterizing Knowledge States') at the workshop Games, Logic, Language and Computation, Utrecht, June 21, 2002.
Invited talk (`the Dynamics of Epistemics') at the international conference Dimensions of Epistemic Logic, Roskilde, Denmark, May 2 -- 4, 2002.
Invited talk (`Game Theory') at a workshop Designing Behaviour, April 18, Mediamatic, 2002, Amsterdam.
Invited talk at workschop on actions, Uppsula, Sweden, November 10 -- 11, 2001.
Invited participant and speaker (`A Modal Logic with Bounded Quantification') at the 3rd.\ workshop on Hybrid Logics (HyLo3), Saarbr\"ucken, Germany, February 17, 2001.
Invited talk `Intelligent Agents', symposium on robotics, Utrecht, February 8 2001.
Invited Speaker of `Conference on Information and Computation' (SIC 2000), the national conference on computer science, Mexico city, November 2000.
Invited participant and speaker of a workshop Practical Reasoning Agents, organised jointly with Formal and Applied Practical Reasoning (FAPR2000), London, September 19, 2000.
Invited speaker on the conference Loft, the conference on `Foundations of Game and Decision Theory, June 1996, Marseilles, France.
Invited speaker at workshop `Partial, Epistemic and Dynamic Logic', Montreal, Canada, June 1995.

Projects

I was co-proposer or participater in following projects:

Co-author of a proposal for a national project on agent approaches to security (ANITA), granted in Februari 2002, the Netherlands.
Co-author of a proposal for a national project `A methodology for the Design of Multi-Agent Systems' (1999), granted in 2000 by NWO, the Netherlands.
Co-author of a proposal for a national continuation-project Landelijke Onderwijsinnovatie Kennissystemen to develop teaching material on Knowledge Based Systems (1999), granted 2000.
The Dutch project AIR, on Autonomous Intelligent Systems (1999 -)
The Dutch project CABS, on Collective Agent-Based Systems (1999-).
The ESPRIT-network of Excellence Agent-Link.
A grant by both the Dutch Organisation of Scientific Research (NWO) and the British Council, for a joint project with the University of Manchester (UK) on model checking for agent logics (1998).
A grant by both the Dutch Organisation of Scientific Research (NWO) and the British Council, for a joint project with the University of Warwick (UK) on belief revision (1996 and 1997).
A grant for the development of teaching material for Knowledge Based Systems ( BOK: Brede Onderwijsinnovatie Kennissystemen), 1996 - 1999.
Feature Integration in Requirements Engineering (FIREworks), Esprit Working Group 23531 (1997 - 1999).
ModelAge, Esprit Working Group 8319 (1995 -1996).
Defeasible Reasoning and Uncertainty Management Systems (DRUMS II), Esprit BRA 6156, 1991 - 1996.

Invited Lectures

European Summer School on Logic, Language and Information (ESSLLI)
- 2003: Lecturer (with Hans van Ditmarsch and Barteld Kooi) of a course on Dynamic Epistemic Logic, Vienna, Austria, August 25 - 29.
- 2002: Lecturer (with Alessio Lomuscio) on Modal and Epistemic Logic, Trento, Italy, August 12 - 16.
- 1998: Lecturer (with Andre Bos and Cees Witteveen) of a course Abduction and Diagnosis (Saarbr\"ucken), Germany.
- 1996: Lecturer (With Cees Witteveen) of a course Principles of Nonmonotonic Reasoning, Prague, Tsjechie.
European Agent Systems Summers School (EASSS)
- 2003: Lecturer (With Marc Pauly) on Agents and Rational Decision Making, Barcelona, Spain (February).
- 2001: Lecturer on Logics for Agent-based Computing, Prague, Tsjech Republic.
- 2000: Lecturer (with John-Jules Meyer) on Logics for Specifying Agent Systems, Saarbrucken, Germany.
European Conference on AI (ECAI)
2004, Valencia, Spain: lecturer (with Alessio Lomuscio) of a course on modal and epistemic logic.
Amaricas School on Agents and Multi Agent Systems (ASAM)
2003, Acapulco: invited lecturer (Logical Foundations for Agent Systems).
Invited lecture `Intelligent Agents and RoboCup', 29 February 2000, at the Hogeschool of Arnhem and Nijmegen, in Arnhem.
1999: Lecturer (with John-Jules Meyer) on Logics for Specifying Agent Systems, Utrecht, The Netherlands.

Seminars

Department of Philosophy, University of Bristol, UK, 13 February, 2007.
Department of Computer Science, CUNY Graduate Center, New York, 22 July, 2004.
The University of Twente (NL), Department of Computer Science, 2 July 2004.
The University of Southampton (UK), Department of Computer Science and Electrial Engineering, 2004.
University of Birmingham (UK), Department of Computer Science, 4 December, 2003.
University of Liverpool (UK), Applied Mathematics, 8 October 2003.
University of Otago (New Zealand), Department of Computer Science, July 2003.
King's College, London (UK), Department of Computer Science, 28 May, 2003.
University of Oxford (UK), Computing Laboratory, 4 March, 2003.
Philips Research Lab, Eindhoven (the Netherlands), 24 February 2003.
University of Essex (UK), Department of Computer Science, 24 January, 2003.
University of Otago (New Zealand), Department of Computer Science, October 2002.
University of Otago (New Zealand), Department of Philosophy, October 2002.
University of Uppsala (Sweden), Department of Philosophy, December 10 2000.
Instituto Politecnico Nacional (Mexico city), Department of Computer Science, November 2000.
University of Groningen (the Netherlands), Department of Philosophy, May 2000.
Universitaire Notre-Dame de la Paix, Namur (Belgium), Department of Computer Science, May 1999.
Applied Logic Lab of the university of Sofia (Bulgaria), summer 1993.