ILLC News & Events

Sadly, we have to inform you that Anne Troelstra, after a short illness, suddenly died on March 7th, aged 79. A world-renowned eminent researcher, a supportive colleague, a teacher who trained many students to become important scholars, is no longer with us.

The chair is part of the capacity group Philosophical Tradition in Context (PTC). This capacity group covers metaphysics broadly conceived, history of philosophy, non-western philosophy, and philosophy of science with an emphasis on the humanities and the social sciences, and/or on formal approaches. The successful candidate will be a specialist of international standing in metaphysics broadly conceived and with a perspective beyond the boundaries between the continental and analytic tradition. Furthermore the faculty is interested in a candidate who has competence in history of philosophy and/or philosophy of science, and/or non-western philosophy. As to other academic disciplines, the successful candidate easily crosses borders between various disciplines.

The position is part of the research project Proof Systems for Modal Fixpoint Logics, to be directed by Dr Bahareh Afshari and Prof. Yde Venema. This project, which also involves three PhD positions, is a merger of two research projects.

The positions are part of the research project Proof Systems for Modal Fixpoint Logics, to be directed by Dr Bahareh Afshari and Prof. Yde Venema.

We are pleased to announce that Iacer Calixto has been awarded a Marie Skłodowska-Curie Individual Fellowship for his project entitled Informing multi-modal language generation with world knowledge. The project will be carried out in collaboration with New York University (US) en Facebook Artificial Intelligence Research (France).

The ILLC's Causal Inference Lab will host its bi-weekly reading group, where we will discuss temporal logics and neural networks for causal inference. In particular, we will discuss the following two (short!) papers:

Kleinberg, Antoniotti, Ramakrishnan & Mishra (2007). Modal logic, temporal models and neural circuits: what connects them. http://www.skleinberg.org/papers/TR07.pdfKleinberg & Mishra (2009). The temporal logic of causal structures. http://www.skleinberg.org/papers/uai09.pdf

All who are interested in discussing causality are very welcome to attend!