9-10 Jul 2018
Stockholm, Sweden
Pre-AAMAS2018 Workshop on Formal Methods and Logical Aspects of Multi-Agent Systems (FMLAMAS 2018) 9-10 July 2018, Stockholm University Webpage: https://sites.google.com/view/fmlamas18/ <https://sites.google.com/view/fmlamas18/> The FMLAMAS 2018 workshop will provide a working meeting and discussion forum for researchers working on various formal methods and logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It will address a wide range of issues that arise in these contexts, from theoretical foundations to algorithmic methods, implemented tools, and applications. The topics of the workshop include, but are not limited to: Modelling of MAS Dynamical aspects of MAS Formal/logic-based methods for specification, analysis, reasoning, verification and synthesis of MAS Development, complexity analysis, implementation and tools for formal/logic-based methods for MAS Applications and use cases of formal/logic-based methods and tools for MAS Submission for workshop presentations Submissions are invited of short abstracts (preferably up to 2 pages) reporting either original, ongoing, or recently published good quality work in the area of the workshop. Published work can be submitted for presentation in full, though an extended abstract would be preferable. Submissions for relevant talks presented elsewhere are welcome, too. The submissions are not anonymous and will be subjected to light reviewing and selection. Due to the time constraints, submissions are restricted to one abstract per proposer. The abstracts must be submitted via Easychair: https://easychair.org/conferences/?conf=fmlamas18 <https://easychair.org/conferences/?conf=fmlamas18> Important dates: Submission: April 15, 2018 Notification: April 30, 2018 Registration: June 9, 2018 Workshop: July 9-10, 2018 No registration fee will be charged for this workshop, but the participation may be limited in case of too many prospective participants. Participants with accepted talks will have a priority for registration. No workshop proceedings will be published, but the accepted abstracts of presentations will be made available on the workshop website. Depending on the number and quality of the original submissions, we may consider organising a workshop post-proceedings as a journal special issue. Committees Program Committee Alessio Lomuscio, Imperial College, London Natasha Alechina, University of Nottingham Pavel Naumov, Vassar College, NY Riccardo De Masellis, Stockholm University Vaishak Belle, University of Edinburgh Valentin Goranko, Stockholm University (chair) Wojciech Penczek, PAS, Warsaw [More members may join later] Organizing committee Karl Nygren, Stockholm University Riccardo De Masellis, Stockholm University (co-chair) Valentin Goranko, Stockholm University (co-chair) Contacts For enquiries, send email to: fmlamas18 [at] easychair [dot] org -- [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