Call for Papers: Workshop on Logical Aspects of Multi-Agent Systems (LAMAS at AAMAS)

[Nils Bulling - EWI]

========================================================
9th Workshop on Logical Aspects of Multi-Agent Systems
*** LAMAS 2016 ***
(satellite workshop of AAMAS 2016)
May 9 or 10, 2016, Singapore
http://ii.tudelft.nl/~nils/lamas2016/

1st Call for Papers
========================================================


=================================
INTRODUCTION
=================================
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
disciplines.
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

=================================
SUBMISSION
=================================
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
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

Papers must be submitted via Easychair:
https://easychair.org/conferences/?conf=lamas2016


=================================
PROCEEDINGS AND POST-PROCEEDINGS
(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
below.

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.

=================================
VISIONARY PAPER AND BEST PAPER
=================================

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

=================================
IMPORTANT DATES
=================================
Paper submission: February 1, 2016
Author notification: March 2, 2016
Camera-ready deadline: March 10, 2016
Workshop: May 9 or 10, 2016

=================================
WORKSHOP and PC CHAIRS
=================================
Nils Bulling, TU Delft, NL
Davide Grossi, University of Liverpool, UK

=================================
PROGRAM COMMITTEE (confirmed members)
=================================
Thomas Ågotnes, University of Bergen
Natasha Alechina, University of Nottingham
Thomas Bolander, DTU
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

=================================
ORGANIZATION AND CONTACT
=================================
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<mailto:n.bulling at tudelft.nl> and d.grossi at liverpool.ac.uk<mailto:d.grossi at liverpool.ac.uk>, respectively.


—
Priv.-Doz. Dr. rer. nat. habil.
Nils Bulling
Interactive Intelligence Group
Delft University of Technology
The Netherlands
http://www.nilsbulling.com

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20151202/db005e23/attachment.html>