Logic and Rational Interaction

8February2010

The Future of Logic, Language and Computation at KCL

Posted by Olivier Roy under: People & Places; Places (Universities and Institutes).

The Group of Logic, Language and Computation (GLLC), spanning the departments of Computer Science and Philosophy at King’s College London, is disintegrating due to budget cuts that have targeted several academics for redundancy, including Dr. Anatoli Degtyarev, Dr. Jonathan Ginzburg, and Dr. Odinaldo Rodrigues at Computer Science, and Prof. Shalom Lappin and Dr. Wilfried Meyer-Viol at Philosophy—all of them highly respected researchers and successful teachers.

An open letter, signed by 243 ... (Read the rest of the entry >>)

8February2010

CfP: AISC 2010 – 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION

Posted by Rasmus Rendsvig under: Activities; Artificial Intelligence; Call for papers; Conference and workshop announcements; Uncategorized.

AISC 2010 – 10th International Conference on
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
Theory, Implementations and Applications
http://www.informatik.uni-bremen.de/~autexier/aisc2010

CNAM, Paris, France, July 5th – July 6th, 2010

CALL FOR PAPERS

Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving, in particular mathematical ... (Read the rest of the entry >>)

5February2010

Logic and Language Conference

Posted by Vincent Hendricks under: Activities; Call for papers; Conference and workshop announcements; Uncategorized.

Logic and Language Conference

Friday 24th September – Sunday 26th September, 2010

University of Aberdeen, Northern Institute of Philosophy

 The 2010 Logic and Language Conference is the first of a series of conferences co-organized by the Northern Institute of Philosophy at the University of Aberdeen, and by the Centre for Logic and Language of the Institute of Philosophy at the School ... (Read the rest of the entry >>)

4February2010

Registration / Synthese Conference / 2010

Posted by Vincent Hendricks under: Conference and workshop announcements.

The Synthese Conference in 2010 will take place at  Columbia University in New York City, April 15-16, 2010. The topic of the conference is epistemology and economics with invited speakers including Alexandru Baltag, Adam Brandenburger, Cristina Biccieri, Christian List and Wlodek Rabinowicz. If you plan to attend the conference, please register (registration is free) by sending an mail to synthese.conference.2010@gmail.com with (1) Name, (2) Affiliation, (3) Country, (4) Email ... (Read the rest of the entry >>)

4February2010

CfP: 30 Years of Nonmonotonic Logic

Posted by Olivier Roy under: Activities; Belief revision, conditioning, imaging and other belief; Call for papers; Programming Theory.

The publication of the seminal issue on Nonmonotonic Logics by the
Artificial Intelligence Journal in 1980 resulted in the new area of
research in Knowledge Representation. This development changed the
paradigm of logic originated in antiquity, created an important area of
mathematical logic, and resulted in exciting discoveries of logical
techniques creating new bridges between logic, ... (Read the rest of the entry >>)

3February2010

CfP: The Epistemology of Liberal Democracy – 2nd Copenhagen Epistemology Conference

Posted by Olivier Roy under: Activities; Call for papers; Formal Epistemology; Social Epistemology.

We tend to think of liberal democracy as providing the most ethically
defensible way to set up a modern society. A separate yet highly
relevant issue is whether liberal democracies also are preferable from
an epistemological perspective, i.e., from the point of view of
promoting true over false belief, knowledge over ignorance, and so on.
The ... (Read the rest of the entry >>)