Logical Aspects of Multi-Agent Systems: Call for participation

[Van der Hoek, Wiebe]

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

CALL FOR PARTICIPATION

Deadline for early registration: March 25!
========================================================

=================================
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

=================================
KEYNOTE SPEAKERS
=================================
Invited talk
----------------
The Logic of Emotion
by Prof. John-Jules Meyer 
(Utrecht University, the Netherlands)


Invited tutorial
-----------------
The Social Laws Paradigm for Coordinating Multi-Agent Systems
by Prof. Thomas Agotnes 
(University of Bergen, Norway) 

=================================
ACCEPTED PAPERS AND PROGRAM
=================================
The workshop program consists of

- an invited talk,
- an invited tutorial,
- 5 short presentations,
- 5 long presentations, and
- a panel discussion.

The list of accepted papers and the program can be found at: http://lamas2014.in.tu-clausthal.de/program.html

=================================
REGISTRATION
=================================
The registration is done via the AAMAS main conference. The deadline for early registration is March 25!

Details for Registration can be found at: http://aamas2014.lip6.fr/registration.php

=================================
IMPORTANT LINKS
=================================
Workshop web page: http://lamas2014.in.tu-clausthal.de 
Workshop program at a glance: http://lamas2014.in.tu-clausthal.de/program.pdf
AAMAS 2014 page: http://aamas2014.lip6.fr

=================================
WORKSHOP ORGANIZERS 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.




------------------------------------------------------------------------------------------------------
Prof. Wiebe van der Hoek
Department of Computer Science                      
University of Liverpool  
http://www.csc.liv.ac.uk/~wiebe/     
tel (+44 151) 7954292, (+44) 7970247480
fax             (+44 151) 79 54235
Liverpool L69 3BX, United Kingdom   
Wiebe.Van-Der-Hoek at liverpool.ac.uk