Logic List Mailing Archive

FMLAMAS 2018: Formal Methods & Logical Aspects of Multi-Agent Systems

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