LAMAS Final CFP

[Nils Bulling]

========================================================
7th Workshop on Logical Aspects of Multi-Agent Systems
*** LAMAS 2014 ***
(satellite workshop of AAMAS 2014)
May 5 or 6, 2014, Paris, France
http://lamas2014.in.tu-clausthal.de

Final Call for Papers
Submission deadline extended to February 9, 2014
========================================================


=================================
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, etc.
The LAMAS workshop serves the community as a platform for presentation, 
exchange, and publication of ideas.

The workshop is intended to cover 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, see 
http://www.springer.de/comp/lncs/authors.html.

=================================
PROCEEDINGS AND POST-PROCEEDINGS
=================================
Workshop notes including all accepted papers will be distributed to AAMAS-2014 
registrants in electronic form. Printed workshop notes will not be made available 
to workshop participants.

Workshop post-proceedings are planned as a journal special issue 
of STUDIA LOGICA. The submissions to that special issue will be subject  
to another reviewing and selection process. 


=================================
Keynote Speakers
=================================
Invited talk:
Prof. John-Jules Meyer, Utrecht University, the Netherlands 

Invited tutorial:
Prof. Thomas Agotnes, University of Bergen, Norway 

=================================
TUTORIAL SESSION
=================================
According to the rules of AAMAS workshops, the workshop will include a one 
hour tutorial session covering topics of: 

(i)   logic-based modeling of MAS, 
(ii)  deduction and meta-logical properties and techniques 
	  (satisfiability,  bounded  model property, etc.), and 
(iii) applications of logics in MAS (e.g. Verification).

=================================
IMPORTANT DATES
=================================
Paper submission: February 9, 2014 (extended deadline)
Author notification: February 19, 2014
Camera-ready deadline: March 19, 2014
Workshop: May 5 or 6, 2014

=================================
WORKSHOP and PC CHAIRS
=================================
Nils Bulling, Clausthal University of Technology, Germany
Wiebe van der Hoek, University of Liverpool, UK

=================================
PROGRAM COMMITTEE
=================================
Thomas Agotnes, University of Bergen, Norway
Natasha Alechina, University of Nottingham, UK
Thomas Bolander, Technical University of Denmark, Denmark
Jan Broersen, Utrecht University, the Netherlands
Juergen Dix, Clausthal University of Technology, Germany
Michael Fisher, University of Liverpool, UK
Pietro Galliani, Clausthal University of Technology, Germany
Valentin Goranko, Technical University of Denmark
Andreas Herzig, University of Toulouse, France
Wojciech Jamroga, University of Luxembourg, Luxembourg
Joao Leite, New University of Lisbon, Portugal
Emiliano Lorini, Universite Paul Sabatier, France
John-Jules Meyer, Utrecht University, the Netherlands
Aniello Murano, Universita di Napoli Federico II, Italy
Ram Ramanujam, Institute of Mathematical Sciences, Chennai, India
Pierre-Yves Schobbens, University of Namur, Belgium
Nicolas Troquard, Laboratory of Applied Ontology, Trento, Italy
Dirk Walther, Dresden University of Technology, Germany
Michael Wooldridge, University of Oxford, UK

=================================
ORGANIZATION AND CONTACT
=================================
The workshop is organized by Nils Bulling, Clausthal University of 
Technology and  Wiebe van der Hoek, University of Liverpool. In case of 
questions, do not hesitate to contact us at bulling at in.tu-clausthal.de and 
wiebe.van-der-hoek at liverpool.ac.uk, respectively.

--
Dr. Nils Bulling
Clausthal University of Technology, Germany
http://www.nilsbulling.com
phone: +49 5323 72 7182