Celebration event in honour of Johan van Benthem

When:
Friday, September 26, 2014 – Saturday, September 27, 2014 all-day
Where:
ILLC - UvA, Amsterdam, The Netherlands

On 26 and 27 September 2014 ILLC and the University of Amsterdam organize a Celebration Event for Johan van Benthem, on the occasion of his official retirement from the University of Amsterdam. The first day will have lectures for the general public, Johan’s valedictory lecture, and a reception. The second day is a scientific workshop devoted to current trends in logic, with emphasis to the areas where Johan was or is active.

Friday September 26: The Impact of Logic
Venue: Aula Oude Lutherse kerk, Singel 411, Amsterdam. Continue reading

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

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

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

INVITED COMMENTATORS:

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

When:
Saturday, April 26, 2014 – Sunday, April 27, 2014 all-day
Where:
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<http://logic.uconn.edu/> – University of Connecticut

Abstractionism / Neologicism
Continue reading

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

When:
Wednesday, June 18, 2014 – Friday, June 20, 2014 all-day
Where:
Rome

On June 18-20 2014, SILFS, the Italian Society of Logic and Philosophy of Science (www.silfs.net) will hold its triennial conference at the University of Rome “Roma TRE”. The website is http://www.silfs.net/#442-2.

Continue reading

Shortlink

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)

When:
Friday, May 23, 2014 all-day
Where:
Rio - Rio de Janeiro, Brazil
Categories:

8th Int’l Workshop on Modular Ontologies (WoMO)
Rio de Janeiro, Brazil, September 22, 2013
held in conjunction with FOIS 2014
http://womo2014.bio-lark.org

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

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

Visit the webpage of the event at http://girls.loriweb.org/

CICM 2014 – workshop “The Notion of Proof”

When:
Tuesday, May 20, 2014 all-day
Where:
Coimbra, Portugal
Categories:

Date: July 7-11, 2014 (one day within that range; precise date to be determined later)
Homepage: http://cicm-conference.org/2014/cicm.php?event=nop&menu=general
Part of the Conference on Intelligent Mathematics (CICM) 2014: http://cicm-conference.org/2014/cicm.php

Description

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

When:
Thursday, May 22, 2014 – Saturday, May 24, 2014 all-day
Where:
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 http://modalityandmodalities.weebly.com/mm2014.html

This event is financed by the LUIQ research group at Lund University http://www.luiq.lu.se/, 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

When:
Tuesday, April 15, 2014 all-day
Where:
Aarhus University, Universitets Parken, Aarhus, Denmark
Categories:

INTERNATIONAL RESEARCH CONFERENCE
ROBO-PHILOSOPHY 2014—SOCIABLE ROBOTS AND THE FUTURE OF SOCIAL RELATIONS
www.robo-philosophy.org
August 20-23, 2014
Aarhus University, Denmark

CONFERENCE THEME

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