ILLC News & Events
These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines ILLC News
Headlines ILLC Events this week
Anne Troelstra (1939-2019)
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.For more information, see https://www.illc.uva.nl/NewsandEvents/News/Obituaries/Anne-Troelstra-1939-2019-/ or contact illc at uva.nl.
Professor of Philosophy (Metaphysics)Deadline: Wednesday 1 May 2019The 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.For more information, see here or at https://www.uva.nl/en/content/vacancies/2019/03/19-148-professor-of-philosophy-metaphysics.html or contact Hotze Mulder at H.A.Mulder at uva.nl.
Postdoctoral researcher in Proof Systems for Modal Fixpoint LogicsDeadline: Sunday 28 April 2019The 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.For more information, see here or at http://www.uva.nl/shared-content/uva/en/vacancies/2019/03/19-155-postdoctoral-researcher-in-proof-systems-for-modal-fixpoint-logics.html or contact Yde Venema at y.venema at uva.nl.
2 PhD candidates in Proof Systems for Modal Fixpoint LogicsDeadline: Sunday 14 April 2019
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.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2019/03/19-156-2-phd-candidates-in-proof-systems-for-modal-fixpoint-logics.html or contact Bahareh Afshari at b.afshari at uva.nl.
Iacer Calixto receives Marie Skłodowska-Curie Individual Fellowship
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).For more information, see https://ec.europa.eu/research/mariecurieactions/actions/individual-fellowships_en or contact Iacer Calixto at calixto.iacer at gmail.com.
ILLC Events this week
25 March 2019, Causal Inference Lab reading groupTitle: Causal Inference Lab reading groupLocation: ILLC PostDoc Meeting Room F2.02, Science Park 107, Amsterdam
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!For more information, see http://projects.illc.uva.nl/cil/page_Reading-Group/ or contact Dean McHugh at d.m.mchugh at uva.nl.
(Updated) 27 March 2019, Algebra|Coalgebra Seminar, Graham LeighSpeaker: Graham Leigh (University of Gothenburg)Title: Cyclic proofs for circular reasoningLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://events.illc.uva.nl/alg-coalg/.
(Updated) 27 March 2019, Computational Social Choice Seminar, Dominik PetersSpeaker: Dominik Peters (Oxford)Title: Truthful Aggregation of Budget ProposalsLocation: Room F3.20, Science Park 107, Amsterdam
(New) 27 March 2019, EXPRESS seminar, Sebastian SpeitelSpeaker: Sebastian Speitel (San Diego)Title: Combined Criteria of LogicalityLocation: Room F2.19, ILLC, Science Park 107, Amsterdam
28 March 2019, Logic and Interactive Rationality (LIRa), Peter HawkeSpeaker: Peter Hawke (ILLC)Location: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/02/lira-session-peter-hawke-2/.
29 March 2019, LUNCH Seminar, Arianna BettiSpeaker: Arianna BettiLocation: ILLC Common Room (F1.21), Science Park 107, Amsterdam