The 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013) is going to be held in Dunedin, New Zealand on December 3-6, 2013. It is co-located with Australasian Artificial Intelligence conference.
Submissions are cordially invited, and the deadline is July 1st, 2013.
The twenty-eighth ACM/IEEE Symposium on Logic In Computer Science (LICS 2013) will be held in New Orleans in colocation with MFPS (Mathematical Foundations of Programming Semantics) and CSF (IEEE Computer Security Foundations).
* DATES: MFPS (June 23-25), LICS (June 25-28), CSF (June 26-28).
* REGISTRATION is now open for all three conferences.
Please visit http://lii.rwth-aachen.de/lics/lics13/ and follow the link to Registration.
The early registration deadline is May 22, 2013.
A special session on argumentation technologies -- CLIMA XIV - 14th International Workshop on Computational Logic in Multi-Agent Systems -- will be held in Corunna, Spain on September 16-17, 2013. The event is co-located with LPNMR'13, and has submission deadline June 10th (abstracts June 6th) See the Call for Papers. Proceedings will be available at the workshop, in the form of a LNCS/LNAI volume. Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation.
Argumentation is an important and exciting topic in Artificial Intelligence, where uses of argumentation have increased in recent years, throughout a variety of subdisciplines. Research activities range from Continue reading
Seventh Workshop in Decisions, Games & Logic will be held on June 17 - June 19, 2013 in KTH Stockholm, Sweden.
Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy.
Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers. For DGL2013, these will be:
- Sven Ove Hansson on Theories of Belief Revision
- Annika Wallin on Dual Systems Theories
- Jörgen Weibull on Evolutionary Game Theory
For those who show intention to submit latest today April 30, the paper submission deadline of the ESSLLI Workshop on Logical Models of Group Decision Making has been extended to 5 May 2013 (for those who register their intention to submit by 30 April 2013).
Please also take note of the opportunity to apply for a travel grant to attend the workshop.
Full details: http://staff.science.uva.nl/~u
The deadline for extended abstracts for the "Finding Foundations for Bounded and Adaptive Rationality" special issue of Minds and Machines has deadline May 15, 2013.
Minds and Machines is pleased to invite extended abstracts for “Finding Foundations for Bounded and Adaptive Rationality,” a special issue edited by Ralph Hertwig and Arthur Paul Pedersen of the Center for Adaptive Rationality at the Max Planck Institute for Human Development.
The special issue shall focus on philosophical issues related to research on bounded and adaptive decision making, inference, and belief, broadly construed. The editors invite submissions addressing a wide range of issues which henceforth have received inadequate treatment or no treatment despite their significance for the foundations and methodology of research programs in normative and descriptive decision making, inference, and belief. The editors especially encourage submissions addressing issues arising for research programs which aim to rationalize decision strategies or inference patterns ostensibly violating putative norms of strategic or epistemic rationality.
For example, the editors encourage submissions concerned with whether and to what extent criteria can be delineated by which decisions, inferences, and beliefs are to be evaluated as rational in relation to an actor’s environment. More generally, Continue reading
ALI, the Association for Logic in India, announces the 5th Indian School on Logic and Applications at Tezpur University and invites proposals for workshops to be organized during the School.
Important dates
Workshop proposals: June 20, 2013
Notification: July 10, 2013
School: January 6--17, 2014
The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, University of Hyderabad, and Manipal University. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments.
The School is complemented by a biennial conference. The fifth conference was held at the Institute of Mathematical Sciences, Chennai, in January 2013, and the proceedings published as LNCS 7750 in the FoLLI series.
The workshop LENLS will be held on October 27-28, 2013, in Keio University Kanagawa, Japan.
LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the fifth JSAI International Symposia on AI (isAI2013) (http://www.ai-gakkai.or.jp/jsai-isai/2013/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/jsai/english.html).
Important dates:
Abstract submission deadline: July 31, 2013
Notification of acceptance: August 26, 2013
Deadline for camera-ready copy: September, 2013
LENLS10: October 27-28, 2013
Tutorial Lecture: October 29, 2013
Aims and Topics:
We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields, including but in no way limited to the following:
- Dynamic syntax/semantics/pragmatics of natural language
- Categorical/topological/coalgebraic approaches for natural language
syntax/semantics/pragmatics
- Logic and its relation to natural language and linguistic reasoning
(especially dynamic logics)
- Type-theoretic approaches to natural language
- Formal Philosophy of language
- Formal pragmatics (especially game-theoretic and utility-theoretic
approaches)
- Substructural expansion of Lambek Lambda Calculi
- Many-valued/Fuzzy and other non-classical logics and natural language
Submissions:
Abstracts (up to 4 pages, including figures and references) must be submitted electronically in PDF format at:
https://www.easychair.org/conferences/?conf=lenls10
When his/her abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The proceedings of the workshop will be available at the conference site for registered persons.
The 8th installment of the workshop series "Methods for Modalitites" (M4M-8) will be held in Lake Placid, New York, June 9, 2013.
The workshop ''Methods for Modalities'' (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term ''modal logics'' is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.
To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations.
We strongly encourage young researchers and students to submit papers and posters, especially for experimental and prototypical software tools which are related to modal logics.
More information about the previous editions can be found at
http://www.cs.famaf.unc.edu.