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
(New) Postdoctoral researcher in Mathematical Logic and AIDeadline: Sunday 7 May 2017
The ILLC is looking for an exceptional postdoctoral researcher in the interface between Mathematical Logic and Artificial Intelligence, within the project 'The Logic of Conceivability [LoC]. Modelling Rational Imagination With Non- Normal Modal Logics' . This is a 5-year project (2017-2021) funded by the European Research Council, and led by Principal Investigator (PI) Prof. Franz Berto, Chair at the Department of Philosophy.For more information, see here or at www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/17-080-postdoctoral-researcher-in-mathematical-logic-and-ai.html or contact Prof. Dr. Franz Berto at f.berto at uva.nl.
(New) Postdoctoral researcher in the Psychology of ReasoningDeadline: Sunday 7 May 2017
The ILLC is looking for an exceptional postdoctoral researcher in the interface between Logic and Cognitive Science, ideally in the area of the Psychology of Reasoning, within the project 'The Logic of Conceivability [LoC]. Modelling Rational Imagination With Non- Normal Modal Logics' . This is a 5-year project (2017-2021) funded by the European Research Council, and led by Principal Investigator (PI) Prof. Franz Berto, Chair at the Department of Philosophy.For more information, see here or at www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/17-081-postdoctoral-researcher-in-the-psychology-of-reasoning.html or contact Prof. Dr. Franz Berto at f.berto at uva.nl.
PhD position in Homotopy Type TheoryDeadline: Wednesday 15 March 2017
The position is part of a research project, The Computational Content of Homotopy Type Theory. The project is funded by the Netherlands Organisation for Scientific Research (NWO) under the TOP2 scheme.
The aim of the project is to develop a computational understanding of Homotopy Type Theory by using concepts from category theory and realizability.For more information, see here or at www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/17-058-phd-position-in-homotopy-type-theory.html or contact Benno van den Berg at bennovdberg at gmail.com.
Harry Buhrman appointed as distinguished research professor
Professor H.M. Buhrman (ILLC) and Professor J.N. H. Reek (IBED) have been appointed as distinguished research professors at the Faculty of Science with effect from 1 January 2017. The professors will succeed the current distinguished research professors, Jos Engelen and Kareljan Schoutens. Harry Buhrman, professor of computing science at the Institute for Logic, Language and Computation, will serve as the figurehead for the quantum software consortium QuSoft and work to develop it further in his capacity as a distinguished research professor.
Benedikt Loewe appointed on joint Strategy Working Group of ICSU and ISSC
Benedikt Loewe has been appointed to serve on the joint Strategy Working Group of the International Council for Science (ICSU) and the International Social Science Council (ISSC).[b][b]ICSU and ISSC are the highest international bodies for the sciences and social sciences, respectively. The two councils consist of national members, represented by national research councils or national academies (e.g., the Netherlands are represented by the KNAW) and international scientific unions acting as the global representatives of individual scientific disciplines. The mandate of the Strategy Working Group is the development of the strategy of the new institution, taking into account the interdisciplinary connections between the natural and the social sciences. Benedikt Loewe represents the International Union for History and Philosophy of Science and Technology (IUHPST).
ILLC Events this week
17 February - 16 March 2017, ILLC MasterClass LogicDate: 17 February - 16 March 2017Location: Science Park 107, Amsterdam
The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017
Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.For more information, see events.illc.uva.nl/MasterClass/Logica2017.
2 March 2017, Master of Logic defense, Rana KleinTitle: The Logical Dynamics of Gossip: an analysis in Dynamic Epistemic LogicDate & Time: Thursday 2 March 2017, 15:00Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Sonja Smets, Fernando Velazquez-Quesada
3 March 2017, SMART Cognitive Science Lecture, Vincent F. HendricksSpeaker: Vincent F. Hendricks (University of Copenhagen)Title: Bubbles Go BustDate & Time: Friday 3 March 2017, 16:00-17:30Location: Room F0.01, Oudemanhuispoort, Oudemanhuispoort 4-6, AmsterdamFor more information, see smartcs.uva.nl.
6 March 2017, Logic and Interactive Rationality (LIRa), Greg RestallSpeaker: Greg Restall (Melbourne)Title: Proof Terms for Classical DerivationsDate & Time: Monday 6 March 2017, 16:00-18:00Location: KdVI Seminar Room F3.20, ILLC, Science Park 107, AmsterdamFor more information, see www.illc.uva.nl/lgc/seminar.