[PlanetKR] Extended Deadline: Logical Aspects of Multi-Agent Systems (LAMAS at AAMAS 2016)

Nils Bulling - EWI N.Bulling at tudelft.nl
Thu Feb 4 17:49:18 EST 2016

9th Workshop on Logical Aspects of Multi-Agent Systems
*** LAMAS 2016 *** (Extended Deadline)
(satellite workshop of AAMAS 2016)
May 10, 2016, Singapore
Final Call for Papers and Extended Deadline

** Deadline Extended to February 15, 2016 **

Key features of LAMAS 2016:

* Publication of best paper and best visionary paper (of each AAMAS workshop)
* Post-proceedings in the form of a planned special issue of STUDIA LOGICA
* Extended abstracts of relevant work that has been published or has been 
  accepted for publications in the last 12 month are welcome (this includes 
  abstracts of full or short AAMAS papers!)

There is a growing interdisciplinary community of researchers and
research groups working on logical aspects of MAS from the perspectives
of logic, artificial intelligence, computer science, game theory, and related
The LAMAS workshop serves the community as a constructive platform for presentation
and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:

- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- 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

Authors are invited to submit papers in the following three categories:

- Regular papers up to 15 pages, describing original unpublished
  research. Position papers and visionary work in progress can also be
  submitted in this category. Simultaneous submission to another venue
  is not allowed.
- System descriptions of up to 12 pages, describing new systems or
  significant upgrades of existing ones.
- Extended abstracts of 2-5 pages reporting interesting and relevant 
  work that has been published (or accepted for publication) in the last 
  12 months.
Submissions should be anonymous, subject to double-blind reviewing 
procedure. Each submission will be reviewed by at least 2 PC members.

Papers must be in PDF format and prepared according to the Springer LNCS 
format. For templates and instructions for authors, please see 

Papers must be submitted via Easychair:

(Journal Special Issue of STUDIA LOGICA)

All accepted workshop papers will be made available to workshop registrants 
in electronic form. No formal publication of workshop papers is planned, 
besides the selected "visionary paper" and "best paper" as explained 

Workshop post-proceedings are planned as a journal special issue of STUDIA LOGICA. 
Authors of selected papers will be invited to submit to the special issue. All 
submissions will be subject to another reviewing and selection process according 
to the standards of STUDIA LOGICA. 


The most “visionary paper” will be published by Springer in a book under the Lecture 
Notes in Artificial Intelligence (LNAI) - Hot Topics series. The book will be a 
compilation of the most visionary papers of the AAMAS-2016 Workshops, where one paper 
will be selected from each AAMAS-2016 workshop.

Additionally, the “best paper” will be published by Springer in a book under the 
Communications in Computer and Information Science (CCIS) series. The book will be a 
compilation of the best papers of the AAMAS-2016 Workshops, where one paper will be 
selected from each AAMAS-2016 workshop.

Authors of the selected most visionary paper and the best paper are expected to provide 
their latex files promptly upon request. 

Keynote Speaker
To be announced

Paper submission: February 15, 2016 *** Extended Deadline ***
Author notification: March 2, 2016
Camera-ready deadline: March 10, 2016
Workshop: May 10, 2016

Nils Bulling, TU Delft, NL
Davide Grossi, University of Liverpool, UK

Thomas Ågotnes, University of Bergen
Natasha Alechina, University of Nottingham
Thomas Bolander, DTU
Mehdi Dastani, Utrecht University
Michael Fisher, University of Liverpool
Nina Gierasimczuk, ILLC, University of Amsterdam
Valentin Goranko, Stockholm University
Andreas Herzig, IRIT-CNRS
Koen Hindriks, Delft University of Technology
Wiebe van der Hoek, University of Liverpool
Wojtek Jamroga, Polish Academy of Sciences
Joao Leite, NOVA LINCS, Universidade NOVA de Lisboa
Brian Logan, University of Nottingham
Alessio Lomuscio, Imperial College London
Emiliano Lorini, IRIT
John-Jules Meyer, Utrecht University
Aniello Murano, Universita’ di Napoli "Federico II"
Alessandra Palmigiano, Technical University of Delft
Wojciech Penczek, ICS PAS and Siedlce University
Daniele Porello, ISTC, CNR
R. Ramanujam, Institute of Mathematical Sciences, Chennai
Pierre-Yves Schobbens, University of Namur
Sonja Smets, University of Amsterdam
Nicolas Troquard, LACL, Univ. Paris Est-Créteil

The workshop is organized by Nils Bulling, TU Delft, and  Davide Grossi, 
University of Liverpool. In case of questions, do not hesitate to contact 
us at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk, respectively.

Priv.-Doz. Dr. rer. nat. habil. 
Nils Bulling
Interactive Intelligence Group
Delft University of Technology
The Netherlands

More information about the PlanetKR mailing list