CfP: Special issue of JANCL on Logical Aspects of MAS

[Wojtek Jamroga]

[With apologies for multiple copies]


SPECIAL ISSUE OF THE JOURNAL OF APPLIED NON-CLASSICAL LOGICS
ON LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS

CALL FOR SUBMISSIONS

The Journal of Applied Non-classical Logics (JANCL) invites high quality
submissions of original research or survey papers to the special issue
on Logical Aspects of Multi-Agent Systems, to be published in early 2011.


TOPICS
The following is a non-exclusive list of specific topics in the focus of
the special issue:
- Logical modeling of MAS
- Logical systems for specification, analysis, and reasoning about MAS
- Deductive systems and decision procedures for logics for MAS
- Algorithmic methods for formal verification of MAS
- Applications of logics in MAS.


SUBMISSION INSTRUCTIONS
The papers should be typeset in LATEX, using the JANCL style, obtainable
from http://www.irit.fr/JANCL/. By default, each submission is limited
to 25 pages. Should you need more space, please contact the guest
editors of the special issue.

The submissions must be sent electronically, as PDF files, to
lamas at uni.lu . They should contain affiliations and contact details of
the authors, and an abstract of up to 1 page.

All submissions will be subjected to a standard refereeing procedure for
JANCL.


GUEST EDITORS OF THE SPECIAL ISSUE
Valentin Goranko, Technical University of Denmark
Wojciech Jamroga, University of Luxembourg


DEADLINES
Paper submission:    September 15, 2010
Notification:        November 30, 2010
Final version:       January 15, 2011


ENQUIRIES

For any questions regarding the special issue please contact the guest
editors by sending email to lamas at uni.lu .


-- 
Dr. habil. Wojciech Jamroga
Faculty of Science, Technology and Communication
University of Luxembourg
http://www2.in.tu-clausthal.de/~wjamroga/