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/
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
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.
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
- …
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