Logic List Mailing Archive

LAMAS 2020: Logical aspects of multi-agent systems

9-13 May 2020
Auckland, New Zealand

FIRST CALL FOR PAPERS

10TH INTERNATIONAL WORKSHOP ON LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS (LAMAS 
2020)
Satellite workshop of AAMAS 2020, Auckland, New Zealand, May 9-13, 2020

OBJECTIVES AND TOPICS OF THE WORKSHOP:

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. Also, provided we receive
enough quality submissions, we will invite the authors of selected papers to
submit extended versions to a special issue of the journal Annals of
Mathematics and Artificial Intelligence (AMAI).

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

INVITED SPEAKERS: TBC

IMPORTANT DATES:

Paper submission:             February 10, 2020
Authors notification:          March 10, 2020
Camera-ready deadline:   March 24, 2020
Workshop:                         (date yet to be fixed by the AAMAS 
organizers; the dates of the main conference are May 9-13)

PROGRAM COMMITTEE: (not final)
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, Luxembourg, and Polish Academy of 
Sciences, Poland
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


ORGANIZERS:

Bastien Maubert, University of Naples "Federico II"
(bastien.maubert@gmail.com)

Aniello Murano, University of Naples "Federico II"
(murano@unina.it)

Sasha Rubin, University of Sydney
(sasha.rubin@sydney.edu.au)

WEBSITE:

lamas20.ipipan.waw.pl

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam