In the “Events” category, you will find information about activities in the “Logic and Rational Interaction” area.

TARK 2013: 14th Conference on Theoretical Aspects of Rationality and Knowledge, Chennai, Jan 7-9, 2013: Call for papers

*Call for Papers*
TARK 2013
14th Conference on Theoretical Aspects of Rationality and Knowledge
January 7-9, 2013
Institute of Mathematics, Chennai, India
Conference website:
About the Conference
The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems.
Submissions are now invited to TARK 2013. Extended Abstracts can be submitted here:
Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Papers will be held to the usual high standards of research publications. In particular, they should 1) contain enough information to enable the program committee to identify the main contribution of the work; 2) explain the significance of the work -- its novelty and its practical or theoretical implications; and 3) include comparisons with and references to relevant literature.
Abstracts should be no longer than ten double-spaced pages (4,000 words). Optional technical details such as proofs may be included in an appendix. An email address of the contact author should be included. Papers arriving late or departing significantly from these guidelines risk immediate rejection.  One author of each accepted paper will be expected to present the paper at the conference.
Economists should be aware that special arrangements have been made with certain economics journals (in particular, with International Journal of Game Theory, Games and Economic Behavior, Journal of Economic Theory, and Mathematical Social Sciences, so that publication of an extended abstract in TARK will not prejudice publication of a
full journal version.
TARK 2013 will precede the Indian Conference on Logics and Applications (ICLA) held from January 10 - 12, 2013, also at the Institute for Mathematical Sciences in Chennai, India.
TARK 2013 is the 14th conference of the TARK conference series. Previous conferences have been held bi-annually around the world. The most recent conference was held 2011 at the University of Groningen, Netherlands, see The proceedings of all previous TARK conferences can be accessed here
TARK 2013 is the first TARK conference to be held in India. It is also the first TARK conference to be held in January.
Key Dates for TARK 2013
Submission of abstracts: September 3, 2012
Notification of authors: October 29, 2012
Camera ready copy of accepted papers: November 30, 2012
Conference: January 7 - 9, 2013, Institute of Mathematical Sciences,
Chennai, India
Program Committee
Samson Abramsky, Oxford University
Thomas Agotnes, Universitetet i Bergen
Hans van Ditmarsch, Universidad de Sevilla
Amanda Friedenberg, Arizona State University
Aviad Heifetz, The Open University of Israel
Jerome Lang, Université Paris-Dauphine and Université Paul Sabatier
Fenrong Liu, Tsinghua University
Larry Moss, Indiana University, Bloomington
Antonio Penta, University of Wisconsin-Madison
Andres Perea, Maastricht University
Ramaswamy Ramanujam, Institute for Mathematical Sciences, Chennai
Olivier Roy, Ludwig-Maximilians-Universität München
Burkhard C. Schipper, University of California, Davis
Marciano Siniscalchi, Northwestern University
Giacomo Sillari, Luiss Guido Carli, Roma
Nobuyuki Suzuki,Shizuoka University
Jonathan Zvesper, London
Program Chair
Burkhard C. Schipper
University of California, Davis
Department of Economics
One Shields Avenue
Davis, CA 95616, USA
Email: bcschipper-at-ucdavis-dot-edu 
Local Organizing Chair
R. Ramanujam
Institute for Mathematical Sciences
CIT Campus, Taramani
Chennai 600 113, India.
Email: tark2013org at gmail dot com
Chair of the TARK Conference Series
Joe Halpern
Cornell University
Computer Science Department more

CLIMA XIII: Computational Logic in Multi-Agent Systens, Montpellier (France), 27-28 Aug 2012

 13th International Workshop on Computational
     Logic in Multi-Agent Systems [CLIMA XIII]

Affiliated with ECAI 2012
Montpellier, France, August 27-28, 2012
Submission deadline: 28th May

with special sessions on:
*  Logics for Multi-Agent Programming
*  Logics for Agreement Technologies

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, very successful, editions, the 13th CLIMA will be affiliated with ECAI 2012 and will take place in Montpellier, France, on the 27th and 28th of August 2012.

In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions:
*  Logics for Multi-Agent Programming
*  Logics for Agreement Technologies

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

Important dates:
* Submission:   28th May
* Notification: 16th June
* Camera Ready: 23rd June

* Michael Fisher, University of Liverpool, UK
* Leon van der Torre, University of Luxembourg, Luxembourg

Special Session Organisers:

Logics for Multi-Agent Programming
* Mehdi Dastani, University of Utrecht, Netherlands

Logics for Agreement Technologies
* Guido Governatori, NICTA, Australia

Please send all enquiries about CLIMA XIII more