9-13 May 2020
Auckland, New Zealand
SECOND 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 SPEAKER: Giuseppe de Giacomo, Sapienza Università di Roma, Italy IMPORTANT DATES: Paper submission: February 10, 2020 Authors notification: March 10, 2020 Camera-ready deadline: March 24, 2020 Workshop: May 9 or 10 (exact date TBC by AAMAS) PROGRAM COMMITTEE: 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