Third International Workshop on Philosophy and Ethics of Social Reality

When:
Monday, June 24, 2013 all-day
Categories:

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

Postdoctoral researcher in logic

When:
Thursday, June 20, 2013 all-day
Categories:

The University of Luxembourg seeks to hire an outstanding postdoctoral researcher at its Interdisciplinary Centre for Security, Reliability and Trust (SnT, www.securityandtrust.lu <http://www.securityandtrust.lu>), who will be embedded in the Individual and Collective Reasoning Group of Prof. Leon van der Torre.

Deadline for applications: June 20th, 2013

 Your Role

This position is part of the FWO-FNR research project on "Specification logics and Inference tools for verification and Enforcement of Policies (SIEP)", which is done in cooperation with the group of Prof. Marc Denecker in Leuven. It is situated at the crossing of knowledge representation (in first order and modal logic), constraint solving, datalog, and answer set programming. The goal is to develop extensions of FO logics and corresponding inference tools with an eye on applications in the area of access and privacy policies.

The Research Associate will lead the work on extensions of FO logics suitable for handling certain aspects of policies (e.g. epistemic aspects in the context of uncertainty), and produce inference algorithms paving the way to applications.

REF : SnT-RA-SIEP-0513 3-year project: fixed-term contract for 2 years, possible prolongation by 1 year. Full-time (40 hrs/week)

Continue reading

Workshop on Logics for Resources, Processes and Programs

When:
Monday, June 24, 2013 all-day
Categories:

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

Investigating Semantics: Empirical and Philosophical Approaches

When:
Thursday, October 10, 2013 – Saturday, October 12, 2013 all-day
Where:
Ruhr-University-Bochum

The workshop  “Investigating semantics: Empirical and philosophical approaches” will be held on October 10-12, 2013 in Bochum.  http://www.rub.de/phil-lang/investigating/

Natural language semantics is today a wide-ranging and methodologically diverse discipline. One can distinguish broadly between those who use experimental methods from those who don't. Mostly, semanticists in psychology or neuro-science work experimentally, while philosophers, logicians and linguists work non-experimentally. However, the variety of approaches and methods among both groups is huge. Even within the camp of theoretical semantics there are numerous communities: formal semantics,  possible world semantics, discourse representation theory, etc. The same heterogeneity is present in the camp of empirical researchers: psycho- and  neuro-linguistics, corpus linguistics, etc. The aim of the workshop is to bring together these different branches which are often working on very  related topics. The workshop will not only present the variety of empirical and theoretical approaches to semantics, but also invites explicit discussions of the neurobiological and psychological basis of semantics as well as its methods, and epistemology.

INVITED SPEAKERS
Giosue Baggio (SISSA, Triest)
Derek Ball (U St. Andrews)
Emma Borg (U Reading)
Anna Borghi (U Bologna)
Manfred Krifka (ZAS, Berlin)
Gina Kuperberg (MGH, Tufts U)
Ira Noveck (CNRS, Lyon)
Paul Pietroski (U Maryland)
Michiel van Lambalgen (U Amsterdam)

ORGANIZATION

Erica Cosentino, Dirk Kindermann, Max Kölbel, Maria Spychalska, Markus Werning.

CONTACT: insemp@rub.de.

Extended Deadline: LORI-4: Logic Rationality and Interaction

When:
Friday, June 7, 2013 all-day
Categories:

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

Twentieth Workshop on Logic, Language, Information and Computation

When:
Tuesday, August 20, 2013 – Friday, August 23, 2013 all-day

The twentieth Workshop on Logic, Language, Information and Computation (WoLLIC2013) will be held at the Fachbereich Mathematik, Technische Universität Darmstadt, Darmstadt, Germany, from August 20th to 23rd, 2013.

Participation is cordially invited!
Continue reading

Twenty-sixth European Summer School in Logic, Language and Information

When:
Saturday, June 15, 2013 all-day
Categories:

The 26th European Summer School in Logic, Language and Information (ESSLLI 2014) is going to take place in Tuebingen, Germany on August 11-22, 2014.

Course and workshop proposals are cordially invited, and the deadline is June 15th, 2013.

Continue reading

The Fourteenth International Workshop on Logic and Computational Complexity

When:
Thursday, June 20, 2013 all-day
Categories:

The Fourteenth International Workshop on Logic and Computational Complexity (LCC'11,http://www.cs.swansea.ac.uk/lcc2013/) will be held in Torino on September 6, 2013 in Torino (Italy),  as an affiliated meeting of CSL'13 (http://csl13.di.unito.it/).

LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example,  in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity.

The LCC'13 program will consist of invited lectures as well as selected contributed papers. We welcome informal presentations about work in progress, survey papers, as well as work submitted or published elsewhere, provided all pertinent information is disclosed at submission time.  Submissions in the form of an extended abstract of approx. 5 pages are welcome. If full papers are submitted, they should not exceed 15 pages.  Proposed papers should be sent to the program chairs.

IMPORTANT DATES

Paper submission deadline:       20 June
Authors' notification:            8 July
LCC'13 workshop:                  6 September

Continue reading

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