second call for papers, LAMAS 2017

[Natasha Alechina]

Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017) 

25 August 2017, Stockholm  

Webpage: http://www.cs.nott.ac.uk/~psznza/lamas17/

Affiliated with the 26th EACSL Annual Conference on Computer Science Logic CSL'2017

Call for Papers

The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools. 

The topics of the workshop include, but are not limited to:

- Logical systems for specification, analysis, and reasoning about MAS

- Logic-based modeling of MAS

- Dynamical MAS 

- Deductive systems and decision procedures for logics for MAS

- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS

- Logic-based tools for MAS

- Applications of logics in MAS


Submissions for workshop presentations

Extended abstracts of 2-5 pages reporting either original, ongoing, or recently published work in the area of the workshop. Submissions are not anonymous and will be subjected to light reviewing. 

Abstracts have to be submitted via Easychair: https://easychair.org/conferences/?conf=lamas2017. 

Invited speakers:

Hans van Ditmarsch, LORIA, Nancy 

Wojtek Jamroga, Polish Academy of Sciences


Important dates

submission: June 4 2017

notification: June 15 2017

early registration: June 20 2017

late registration: August 8 2017

workshop: August 25 2017


Workshop proceedings and post-proceedings

Accepted abstracts of presentations will be made available on the workshop website.  Depending on the number and quality of the submissions, we also intend to organise workshop post-proceedings as a journal special issue. The submissions to that special issue will be subject to a proper reviewing process.


Organisers and contacts

Natasha Alechina natasha.alechina at nottingham.ac.uk

Mika Cohen

Valentin Goranko







This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please send it back to me, and immediately delete it. 

Please do not use, copy or disclose the information contained in this
message or in any attachment.  Any views or opinions expressed by the
author of this email do not necessarily reflect the views of the
University of Nottingham.

This message has been checked for viruses but the contents of an
attachment may still contain software viruses which could damage your
computer system, you are advised to perform your own checks. Email
communications with the University of Nottingham may be monitored as
permitted by UK legislation.