Logic and Rational Interaction

SOCREAL 2013 will be held on 25 - 27 October 201 3 in Hokkaido University, Sapporo, Japan.

In the past two and a half decades, a number of attempts have been made in order to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results.

SOCREAL 2013 will consist of lectures by invited speakers and presentations of submitted papers. Researchers from various fields, including logic, philosophy, ethics, computer science, cognitive science are hereby invited to submit an extended abstract (up to two thousand words) by 24 June 2013 both to CAEP (caep@let.hokudai.ac.jp) and to yamada@let.hokudai.ac.jp. Each abstract will be peer-reviewed by the program committee.

The abstract should be written in English and sent as an attachment in pdf format. Each abstract should include a title, names and contact details of all the authors. It is requisite for at least one of the author(s) of each accepted paper to attend the workshop and present the paper. The working language of SOCREAL Workshop is English.

IMPORTANT DATES [Updated]

Deadline for Submission of Abstracts (Extended):   24  June  2013
Notification of Acceptance:                                      22  July   2013
Deadline for Grant Application:                      10  September  2013
Workshop:                                                      25-27 October  2013

Topics of interest include, but are not limited to

* language (or communication) as part of social reality,
* speech acts (or communicative acts) as what shape social reality,
* (moral) commitments (and conflicts) in social interaction,
* logic and game theory as tools for studying social reality,
* (organized) collective agency,
* norms and normative systems,
* social institutional facts and their dynamics,
* social choice,
* rationality in social interaction.

Further information will be made available shortly at the workshop website at:

 http://www.hucc.hokudai.ac.jp/~k15696/home/sr13/ .

Continue reading →

A one day workshop on `Logics for Resources, Processes, and Programs' (LRPP 2013) will be held the 16th September 2013 in conjunction with the Tableaux Conference in Nancy, France, with D. Galmiche and D. Pym as co-chairs.

Topics of interest include, but are not restricted to,
the following:

- Logics for resources: semantics, model theory and proof theory;
- Process calculi, concurrency, and resource-distribution;
- Reasoning about programs and systems;
- Extensions of logics; e.g., with modalities;
- Languages of assertions, languages based on resource logics (query
languages, pointers, trees, and graphs);
- Theorem proving and model checking in resource logics:
decision procedures, strategies, complexity results.

SUBMISSIONS

Researchers interested in presenting their works are invited to send an extended abstract (up to 10 pages) by e-mail submissions of PDF files to D. Galmiche (Didier.Galmiche@loria.fr) and D. Pym (d.j.pym@abdn.ac.uk) by June 24, 2013.

Papers will be reviewed by peers, typically members of the Programme Committee.

Additional information will be available through WWW address:
http://www.loria.fr/~galmiche/LRPP2013.html.

Continue reading →

The fourth international workshop on logic, rationality and interaction will take place in a beautiful city--Hangzhou, China on  October 9 - 12, 2013.

The LORI workshop series aims at bringing together researchers working on a wide variety of logic-related fields concerned with the understanding of rationality and interaction. These include Game Theory and Decision Theory, Philosophy and Epistemology, Linguistics, Computer Science and Artificial Intelligence. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of a Chinese community of interdisciplinary researchers.

Submissions of contributed papers bearing on any of the broad themes of the LORI workshop series are invited.

Submissions: papers can be submitted via Easychair (https://www.easychair.org/account/signin.cgi?conf=lori4)

*Important dates*:
• Paper submission: Submission deadline is extended to June 7th, 2013.
• Notification of acceptance: July 1, 2013
• Camera ready version: August 1, 2013
• Conference dates: October 9 - 12, 2013

Continue reading →