Plain text version | Style: Default, Black and White, Bath

University of Bath Logo
Dr Marina De Vos
Department of Computer Science
Tuesday, 25-Apr-2017 03:48:46 BST

Professional Activities

Visiting Positions

  1. Visiting Professor (15 April - 15 May 2006), National Institute of Informatics, Artificial Intelligence Group, Japan
  2. Visiting Professor (1 Oct 2002 - 30 September 2006), Vrije Universiteit Brussel, Computer Science, Belgium

Chair Activities

  1. COIN@AAMAS: Coordination, Organisation, Institutions and Norms @ Autonomous Agents and Multi-Agent Systems: Workshop Chair, Torronto, Canada (May 2010:)<\li>
  2. DP@NMR08: Declarative Programming @ Non-Monotonic Reseasoning 08: DWorkshop Chair, Toronto, Canada May 2010:)<\li>
  3. SEA09: Software Engineering for Answer Set Programming 09: Workshop Chair, Potsdam, Germany (September 2009:) <\li>
  4. EUMAS08: European Multi-Agents Systems Workshop 08: Local Co-organiser, Bath, UK (December 2008:)<\li>
  5. SEA07: Software Engineering for Answer Set Programming 07, Workshop Chair, Phoenix, US (April 2007:)<\li>
  6. ASP05: Answer Set Programming: From Theorey to Implementation 07: Workshop Chair and Local Organiser, Bath, UK (September 2006:)<\li>
  7. ASP03: Answer Set Programming: From Theorey to Implementation 05: Workshop Chair, Messina, Italy (September 2003:)<\li>

Invited Talks

  1. Invited Workshop/Conference Talks
    1. Dagstuhl seminar on " Normative Systems "(Normas) (March 2012)
    2. Datalog 2.0. Oxford, UK -
      A by-invitation-only workshop on the resurgence of Datalog in many different areas of computer science. (April 2010)
    3. Logic Programming and Non-monotonic Reasoning. Potsdam, Germany. -
      Researchers known for the application research in ASP were invited to submit a position paper and present their ideas in the closing session of the conference. (September 2009)
    4. ICR International Symposium on Games, Argumentation, and Logic Programming. Luxembourg City, Luxembourg (April 2009)
    5. Dagstuhl seminar on " Nonmonotonic Reasoning, Answer Set Programming and Constraints " (April 2005)
    6. Dagstuhl seminar on " Logic Based Information Agents " (April 2004)
    7. Dagstuhl seminar on " Nonmonotonic Reasoning, Answer Set Programming and Constraints "
  2. Invited Research Talks
    1. Technical University of Vienna, Austria (May 2011)
    2. Technical University of Dresden, Germany (March 2011)
    3. University of Bayreuth, Germany (January 2011)
    4. National Institute of Informatics, Japan (May 2010)
    5. Imperial College London, UK. (September 2009)
    6. National Institute of Informatics, Japan (September 2008)
    7. University of Leipzig, Germany (January 2007)
    8. Technical University of Clausthal, Germany (January 2007)
    9. University of Potsdam, Germany (December 2006)
    10. National Institute of Informatics, Japan (May 2006)
    11. National Institute of Informatics, Japan (April 2006)
    12. Universidad Rey Juan Carlos, Spain (November 2005)
    13. Vrije Universiteit Brussel, Belgium (March 2005)
    14. Texas Tech, US (departmental) (December 2004)
    15. Texas Tech, US (specialist group) (December 2004)
    16. Universite Libre de Bruxelles, Belgium (December 2001)
    17. Katholieke Universiteit Leuven, Belgium (November 2001)