Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2020)

9 or 10 May 2020 (exact date TBA)

Welcome

Welcome to the website of the 10th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2020). LAMAS 2020 will be a satellite workshop of AAMAS 2020, which will take place May 9-13, 2020 in Auckland, New Zealand. More information on the conference website: https://aamas2020.conference.auckland.ac.nz/

LAMAS 2020 will be the main event of the LAMAS research network and will continue the successful series of LAMAS workshops which includes:

Call for Papers

LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, game theory, and more.

LAMAS2020 will be the next annual event of the LAMAS research network and will continue the series of LAMAS workshops (previous editions were 2002, 2007, 2010, 2011, 2012, 2013, 2014, 2015, 2017). The LAMAS workshop is the pivotal event of the network and it provides a platform for presentation, exchange, and publication of ideas in all these areas, including:

  • Logical systems for modeling, specification, analysis and synthesis of MAS
  • Deductive systems and decision procedures for logics for MAS
  • Algorithmic methods for formal verification of MAS
  • Logic-based tools for MAS
  • Applications of logics in MAS

Submissions

Authors are invited to submit extended abstracts of 2 pages plus 1 page for references in the AAMAS format, reporting their work in one of two categories: either original and unpublished, or published (or accepted for publication) in the last 12 months. Submissions are subject to a single-blind review process (submissions should not be anonymous).

All the accepted papers will appear in the informal workshop proceedings produced together with the AAMAS proceedings. We envisage that extensions of selected papers will be invited to a journal post-proceedings.

Submission webpage: https://easychair.org/conferences/?conf=lamas2020

Invited Speakers

Giuseppe De Giacomo

Accepted Papers

TBC

Program

TBC

Program Committee

  • Bastien Maubert, University of Naples (PC Chair)
  • Aniello Murano, University of Naples (PC Chair)
  • Sasha Rubin, University of Sydney (PC Chair)
  • Thomas Agotnes, University of Bergen, Norway
  • Francesco Belardinelli, Imperial College London, UK
  • Tim French, University of Western Australia, Australia
  • Guido Governatori, Data61, CSIRO, Australia
  • Wojtek Jamroga, University of Luxembourg and Polish Academy of Sciences
  • Ron van der Meyden, University of New South Wales, Australia
  • Jorge A. PĂ©rez, University of Groningen, Netherlands
  • Sophie Pinchinat, UniversitĂ© de Rennes, France
  • Abdallah Saffidine, University of New South Wales, Australia
  • Hans van Ditmarsch, CNRS, France
  • Michael Winikoff, Victoria University of Wellington, New Zealand

Important Dates

Paper submission: Extended to February 24, 2020
Authors notification: March 10, 2020
Camera-ready deadline: March 24, 2020
Workshop: (date yet to be fixed by the AAMAS organizers)