The René Descartes Lectures 2014 + Workshop "Full and Partial Belief" (2nd cfp)

Thursday, May 15, 2014 all-day
Tilburg Center for Logic, General Ethics and Philosophy of Science (TiLPS)

20 - 22 October 2014
Hannes Leitgeb, Ludwig-Maximilians-University Munich
"Rational Belief. Stability, Reasoning, and Action."


Alexandru Baltag (ILLC/University of Amsterdam)
Nina Gierasimczuk (ILLC/University of Amsterdam)
Colin Howson (London School of Economics and University of Toronto)
Richard Pettigrew (Bristol University)
Jan-Willem Romeijn (RU Groningen)
Gerhard Schurz (DCLPS/University of Düsseldorf) Continue reading

"Abstractionism and Neologicism" workshop at UConn

Saturday, April 26, 2014 – Sunday, April 27, 2014 all-day
University of Connecticut, Storrs, CT 06269, USA

The UConn Logic Group is proud to announce the first of its annual workshops. The workshops are organized around a researcher whose work has had a significant and lasting influence on a field of logic, broadly construed. The remaining talks, invited and selected, will be given by critics as well as contributors to the field who were influenced by the keynote speaker's work.

Logic Group<> – University of Connecticut

Abstractionism / Neologicism
Continue reading

International Conference of the Italian Society for Logic and Philosophy of Sciences

Wednesday, June 18, 2014 – Friday, June 20, 2014 all-day

On June 18-20 2014, SILFS, the Italian Society of Logic and Philosophy of Science ( will hold its triennial conference at the University of Rome "Roma TRE". The website is

Continue reading


PhD + Postdoc position: Epistemic protocol synthesis

In the logic of information change it is common to have an input state
of information and a well-described action, and then to compute the
resulting new state of information. In epistemic protocol synthesis
the focus is different: given an input state of information and an
output state of information, and some 'rules for engagement' (allowed
protocol), find (synthesize) the epistemic protocol transforming the
input into the output. Areas of specific interest are protocols for
secure communication, protocol languages, and agency. The project goal
is epistemic protocol synthesis for synchronous and asynchronous
multi-agent systems, by way of using and developing dynamic epistemic
logics, i.e., logics of change of knowledge.

available positions: 1 PhD and 1 Postdoc Continue reading

8th Int'l Workshop on Modular Ontologies (WoMo)

Friday, May 23, 2014 all-day
Rio - Rio de Janeiro, Brazil

8th Int'l Workshop on Modular Ontologies (WoMO)
Rio de Janeiro, Brazil, September 22, 2013
held in conjunction with FOIS 2014

MODULARITY as studied for years in software engineering, is also central to formal and applied ontologies. Modularity supports reducing the complexity of ontologies and thereby easing the development, use and reuse, verification, maintenance, and integration of ontologies by humans and machines.

The WoMO workshop series, now in its 8th edition, has helped to advance the understanding of modularity as it applies to ontologies. This year's workshop aims to go beyond ontologies and focuses on fostering knowledge exchange between other communities where modularity is or may become a critical factor, such as Big Data and Context. Continue reading

G.I.R.L.S. 2014

Monday, April 28, 2014 – Wednesday, April 30, 2014 all-day
Lund, Sweden

Visit the webpage of the event at

CICM 2014 - workshop "The Notion of Proof"

Tuesday, May 20, 2014 all-day
Coimbra, Portugal

Date: July 7-11, 2014 (one day within that range; precise date to be determined later)
Part of the Conference on Intelligent Mathematics (CICM) 2014:


We have already witnessed the moment where chess-playing computers
have surpassed humans. It might seem to be only a matter of time that
computers will also surpass humans in mathematical theorem proving. In
fact, the traditional notion of mathematical proof faces in the 21st
century what we will call "the computer challenge". Three different
aspects are worth separating: Continue reading

Modality and Modalities (M&M) 2014

Thursday, May 22, 2014 – Saturday, May 24, 2014 all-day
Department of Philosophy, Kungshuset, Lundagård, room 203, Lund, Sweden

“Modality and Modalities” will be a three day event on all things Modal Logical. This event will be held on Thursday, 22th May - Saturday, 24th May at the Philosophy Department, Lund University, Sweden.

For more info please check our website at

This event is financed by the LUIQ research group at Lund University, Velux Fonden, Mathnet (Danish Network for the History and Philosophy of Mathematics) and the Institut for Kultur og Identitet (CUID) - Roskilde University

Keynote speakers:

• Melvin Fitting
• Jerry Seligman
• Sonja Smets
• Sara Uckelman
• Timothy Williamson Continue reading

ROBO-PHILOSOPHY 2014 - second cfp

Tuesday, April 15, 2014 all-day
Aarhus University, Universitets Parken, Aarhus, Denmark

August 20-23, 2014
Aarhus University, Denmark


It is increasingly more likely that sociable robots will play a significant
role in future everyday life.  Sociable robots are designed to "enable
people to interact with them as if they were a person, and ultimately as a
friend" (C. Breazeal)--they are expected to replace humans in many
interaction contexts, as caretakers for the elderly, tutors for children,
receptionists, or household assistants.  If robots enter the space of human
social interation, how will this affect human social interaction, as notion
and as practice?  Are there limits to the functional similation of social
interaction?  How much of a 'theory of mind' do robots need to be
'sociable'? If we engage with robots as if they were persons, how will this
affect how we understand ourselves? Continue reading


Interdisciplinary PhD scholarship - Roskilde

Roskilde University (RUC) invites applications for a 3 year PhD scholarship
jointly financed by RUC and the research project Hybrid-Logical Proofs at
Work in Cognitive Psychology, which is funded by the Velux Foundation ( The goal of this project is to use formal logic to
investigate psychological reasoning tests, in particular what are called
False-Belief tests. The project is interdisciplinary and combines
competences from philosophy, psychology, and logic. Continue reading