Sixteenth International Conference on Principles and Practice of Multi-Agent Systems

When:
Monday, July 1, 2013 all-day
Categories:

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.

Continue reading

Twenty-Eighth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE(LICS 2013)

When:
Tuesday, June 25, 2013 – Friday, June 28, 2013 all-day

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.

Continue reading

Talk at IHPST - Paris: "The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence"

When:
Thursday, May 16, 2013 @ 14:00 – 16:00
Where:
IHPST - Paris, 13 Rue du Four, 75006 Paris, France

Talk at IHPST - Paris:
The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence
Bryan Renne
ILLC Amsterdam
I will describe recent work joint with Alexandru Baltag and Sonja Smets (both ILLC Amsterdam) on a logic for reasoning about evidence and its relation to justifiable "implicit" belief and knowledge and their explicit counterparts.  The logic makes use of a number of evidence-related notions such as availability and admissibility of evidence and is based on an innovative modification of Melvin Fitting's semantics for Sergei Artemov's Justification Logic.  In this framework, one may preempt Gettier-type counterexamples.  Also, since the logic incorporates ideas from belief revision and awareness logics, the approach provides an account of evidence-based, explicitly justified defeasible knowledge that can address a variety of notions of (logical) omniscience.

CLIMA XIV - 14th International Workshop on Computational Logic in Multi-Agent Systems

When:
Monday, September 16, 2013 – Wednesday, September 18, 2013 all-day

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.

About

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

When:
Sunday, June 16, 2013 – Wednesday, June 19, 2013 all-day

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

Continue reading

Shortlink

Deadline Extension & Travel Grants: ESSLLI Workshop on Logical Models of Group Decision Making

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/~ulle/esslli-workshop-2013/

Finding Foundations for Bounded and Adaptive Rationality, Minds and Machines

When:
Wednesday, May 15, 2013 all-day
Categories:

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.

Call for Extended Abstracts

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

ISLA 2014 (Indian School on Logic and its Applications)

When:
Thursday, June 20, 2013 all-day

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.

Continue reading

Logic and Engineering of Natural Language Semantics 10

When:
Wednesday, July 31, 2013 all-day
Where:
Raiousha Building , Keio University Shonan Fujisawa Campus, 5322 Endo,Fujisawa,Kanagawa Prefecture 252-0882, Japan
Categories:

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.

Continue reading

8th Worskhop on "Methods for Modalities" (M4M-8)

When:
Friday, June 7, 2013 – Saturday, June 8, 2013 all-day

The 8th installment of the workshop series "Methods for Modalitites" (M4M-8) will be held in Lake Placid, New York, June 9, 2013.

Scope

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.ar/~careces/M4M/M4M8/ Continue reading