Invited Talks

Invited Talks

  • MachinaSummit.AI, (title tba), Munich 8/9 November 2017 (event cancelled)
  • BCS SIGiST – Summer 2017 Conference  – Keynote:  “Towards Verifiable and Ethical AI Systems”, London, 14 June 2017
  • AI Summit 2017 – The Future of Ethical AI – Beyond Big Data, London, 10 May 2017
  • AI – Artificial Intelligence in Reality  – Engineering Verifiable Agent Programs,  BCS North London Branch, 25 November 2015
  • Skyfall – How Agents Deal With Problems in and Around the Family Home, ICRC Research Seminar, 3 December 2012
  • Resource-Bounded Logics. Swansea University, Theory Seminar, 10 February 2011
  • Modern Applications of Agent Technology – Where Mobility and Resources Actually Matter.
    TU Clausthal, Kolloquium, 1 February 2011
  • Modelling and Verification of Resource-Bounded Multi-Agent Systems.
    Invited Keynote Lecture at MATES – MOCA’09, 11 September 2009.

 

Other Invitations

  • Dagstuhl Seminar: Engineering Multi-Agent Systems
    Leibniz-Zentrum für Informatik, Schloss Dachstuhl, 19-24 August 2012.
Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s