Community Events

12th International Workshop on Computational Logic in Multi-Agent Systems


Preliminary Call for Papers

CLIMA XII

12th International Workshop on

Computational Logic in Multi-Agent Systems

with special sessions on:

  • Norms and Normative Multi-Agent Systems.

  • Logics for Games and Social Choice.

http://centria.di.fct.unl.pt/events/climaXII/

Barcelona, Spain, July 17-18, 2011.

Affiliated with IJCAI‘11.

Submission deadline: April 4/8th.

Proceedings: LNCS/LNAI volume (available at the workshop).

JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation.

++++++++++++++++++++++++++++++++++++++++++++++++++++

The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.

Following the previous ten, very successful, editions, the 12th CLIMA will be affiliated with IJCAI‘11 and will take place in Barcelona, Spain, on the 17th and 18th of July 2011.

In addition to CLIMA’s regular topics and sessions, this edition will feature two special sessions:

  • Norms and Normative Multi-Agent Systems

  • Logics for Games and Social Choice

We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference.

LNCS Proceedings: CLIMA’s Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop.

JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation.

Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXII/

Important dates:

  • Submission: April 4th (Abstracts) / April 8th (Papers)

  • Notification: May 4th

  • Camera Ready: May 16th

CLIMA XII Chairs:

  • João Leite, New University of Lisbon, Portugal

  • Paolo Torroni, University of Bologna, Italy

Special Session Organisers:

Norms and Normative Multi-Agent Systems:

  • Guido Boella, University of Turin, Italy

  • Leon van der Torre, Univ. of Luxembourg, Luxembourg

Logics for Games and Social Choice:

  • Thomas Ågotnes, University of Bergen, Norway

Please send all enquiries about CLIMA XII to [email protected].

Discussion

This website uses cookies and Google Analytics to help us track user engagement and improve our site. If you'd like to know more information about what data we collect and why, please see our data privacy policy. If you continue to use this site, you consent to our use of cookies.
Accept