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) 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.
Open position at ILLC: Data research analystDeadline: Friday 24 February 2017
The ILLC is looking to fill a position for a Data research analyst within the project Golden Agents: Creative Industries and the Making of the Dutch Golden Age. This is a 5-year NWO Groot project (2017-2021) funded by the Netherlands Organisation for Scientific Research (NWO), and carried out by a consortium consisting of a large number of universities, research institutes and national cultural heritage institutions such as the Rijksmuseum, the National Library of the Netherlands and the Netherlands Institute for History of Art.For more information, see here or at www.uva.nl/over-de-uva/werken-bij-de-uva/vacatures/item/17-009-data-research-analyst-for-the-project-golden-agents.html or contact Prof. Charles van den Heuvel at C.M.J.M.vandenHeuvel at uva.nl.
Open position at ILLC: Ontology specialistDeadline: Friday 24 February 2017
The ILLC is looking to fill a position for an Ontology specialist (‘Semantic Lead’) within the project Golden Agents: Creative Industries and the Making of the Dutch Golden Age. This is a 5-year NWO Groot project (2017-2021) funded by the Netherlands Organisation for Scientific Research (NWO), and carried out by a consortium consisting of a large number of universities, research institutes and national cultural heritage institutions such as the Rijksmuseum, the National Library of the Netherlands and the Netherlands Institute for History of Art.For more information, see here or at www.uva.nl/over-de-uva/werken-bij-de-uva/vacatures/item/17-008-ontology-specialist-for-project-golden-agents.html or contact Prof. Arianna Betti at ariannabetti 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.
21 February 2017, PhD DayDate & Time: Tuesday 21 February 2017, 11:00-13:00Location: F1.15Target audience: ILLC PhD candidates
On February 21, the ILLC PhD Council is organizing the next PhD Day. This is an event for all PhD candidates at ILLC. The council present a number of issues that we have been working on and at the same time we will discuss any issues that the PhD candidates will raise. The meeting will be followed by a lunch at Maslow.
24 February 2017, Master of Logic defense, Nina DongenTitle: Analysis and prediction of Dutch-English code-switching in social media messagesDate & Time: Friday 24 February 2017, 11:00Location: Room F1.15, Science Park 107, AmsterdamSupervisor: Raquel Fernandez