25 Aug 2017
Stockholm, Sweden
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, part of Logic in Stockholm 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@nottingham.ac.uk Mika Cohen Valentin Goranko -- [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