Important Dates

Abstracts due: April 22, 2013

Submission Deadline (Extended): April 25, 2013

Acceptance Notifications:
May 22, 2013

Camera-ready: May 29, 2013

Conference: August 1-2, 2013

Latest News

31 Jul 2013 - Registration open from Aug 1, 8 am at BICC, 3rd floor

09 Jul 2013 - New sponsor: Artificial Intelligence Journal

02 Jul 2013 - Scientific and Social programme published 

05 Jun 2013 - Online registration is now open

29 May 2013 - Keynote talks published

27 May 2013 - List of accepted papers published

18 April 2013 - Submission deadline extended

03 April 2013 - Paper submission is now open

02 April 2013 - Proceedings will be published as Springer LNCS volume

11 March 2013 - AT-2013 flyer and poster available.

28 January 2013 - Call for papers published.

07 January 2013 - Sponsorship opportunities published.

20 December 2012 - AT-2013 web site online.

Co-located with


Proceedings in



Logo AT

AIJ logo web


Past Conferences

AT 2012 - Dubrovnik, Croatia

Keynote Talks

Professor Munindar Singh

Munindar Singh

North Carolina State University


Can't We All Just Get Along?
Agreement Technologies and the Science of Security

Abstract: The science of security has been garnering much attention among researchers and practitioners tired of the ad hoc nature of much of existing work on cybersecurity. I motivate the science of security as an application area for agreement technologies, surveying some key challenges and foundational agreement technologies that provide the relevant representations and reasoning techniques.

Professor Michael Wooldridge

Michael Wooldridge

University of Oxford

United Kingdom

Reasoning about Choice

Abstract: We present a logic for reasoning about choice. Choice CTL (C-CTL) extends the well-known branching-time temporal logic CTL with choice modalities. C-CTL is related to both STIT logics and temporal cooperation logics such as ATL, but has a much simpler and (we argue) more intuitive syntax and semantics. After presenting the logic, we investigate the properties of the language. We characterise the complexity of the C-CTL model checking problem, investigate some validities, and propose multiagent extensions to the logic.

University Rey Juan Carlos | © 2013 Centre for Intelligent Information Technologies (CETINIA)
Powered by CMSimple | Template: | (X)html | css | Login