Institute for Logic, Language and Computation

News and Events

News and Events:
ILLC News and Events

These pages provide information about recent developments at or relevant to the ILLC (last update: 22 September 2014). 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.

Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".

Headlines ILLC News

Headlines ILLC Events this week

General events may be found in the Upcoming Events section.


ILLC News

  • PhD candidate in Theoretical Computer Science

    The Institute for Logic, Language & Computation (ILLC) at the University of Amsterdam, and the Centrum Wiskunde & Informatica (CWI) are looking for a PhD candidate in the area of quantum cryptography.

    The aim of the PhD project is to develop new quantum-cryptographic protocols (beyond the task of key distribution) and explore their limitations. An example of an active research is position-based quantum cryptography. Another aspect is to investigate the security of classical cryptographic schemes against quantum adversaries (post-quantum cryptography). The successful applicant will work under the supervision of Christian Schaffner.

    Application deadline: 31 October 2014. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-295.html.

  • Excellent Accreditation Result for Master of Logic

    After having been visited by an international evaluation committee in June 2013, this summer we received the great news that the ILLC's interdisciplinary Master's programme, the Master of Logic, is now officially accredited by the NVAO as an excellent programme for the period of 2014-2020.

    For more information, see http://www.illc.uva.nl/MScLogic/programme/accreditation.html or contact Ulle Endriss (ulle.endriss at uva.nl).

  • Tenure Track Researcher Language in Interaction

    The successful candidate will be at the heart of a new research group whose aim is to promote the interaction between formal, logical, semantic, or/and computational modelling of language and cognition within the ILLC. To match these research tasks, the successful candidate will also be given a light teaching load in the MSc Logic, the MSc Brain and cognitive science, and/or the BSc/MSc Artificial Intelligence.

    This position is part of the larger Dutch research consortium "Language in Interaction" (lead-organisation Radboud University, Nijmegen), which brings together researchers from nine different research institutions in the Netherlands, with complementary expertise in a highly interdisciplinary area of research. The position will be embedded within the ILLC within the Faculty of Science (FNWI) of the University of Amsterdam. The researcher will be appointed either in the Language & Computation or in the Logic & Language programme at ILLC, and will form a new interface between these. The position comes with a PhD fellowship.

    Application deadline: 15 October 2014. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-220.html.

  • PhD candidate in Semantics, Pragmatics and Cognition

    The PhD position is part of the larger Dutch research consortium "Language in Interaction". This research consortium brings together researchers from nine different research institutions in the Netherlands, with complementary expertise in a highly interdisciplinary area of research. This PhD project will be supervised by Prof. Dr. Johan van Benthem (ILLC) and Prof. Dr. Ivan Toni (Donders Institute, Radboud University Nijmegen).

    For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-247.html and http://www.languageininteraction.nl/jobs/id-2nd-phd-call-general.html

ILLC Events this week

  • 22 September 2014, Master of Logic defense, Simon Docherty

    Title: A model of type theory in cubical sets with connections
    Date and time: Monday 22 September 2014, 15:30
    Location: Room F1.15, Science Park 105/107, Amsterdam
    Supervisor: Benno van den Berg

    For more information, please contact G.Beekelaar at uva.nl

  • (New) 22 September 2014, The State of Science, Johan van Benthem / Fenroing Liu

    Speaker: Johan van Benthem / Fenroing Liu
    Title: Where is Logic Going, and Why?
    Date and time: Monday 22 September 2014, 20:00-22:00
    Location: Spui 25, Amsterdam

    For more information, see http://www.spui25.nl/programma/item/

  • 24 September 2014, Master of Logic defense, Michele Herbstritt

    Title: Why can't we be surprised whether it rains in Amsterdam? A semantics for factive verbs and embedded questions.
    Date and time: Wednesday 24 September 2014, 10:30
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisors: M.D. Aloni and F. Roelofsen

    For more information, please contact G.Beekelaar at uva.nl

  • 25 September 2014, LogiCIC/LIRa Seminar, Thomas Icard

    Speaker: Thomas Icard (Stanford University)
    Title: Comparative Probability in Language and Action
    Date and time: Thursday 25 September 2014, 15:30-17:00
    Location: Room F1.15, Science Park 107, Amsterdam

    For more information, see http://www.illc.uva.nl/lgc/seminar and http://www.illc.uva.nl/LoLa/LogiCIC-Seminar/.

  • (New) 25 September 2014, Cool Logic, Ana Lucia Vargas Sandoval

    Speaker: Ana Lucia Vargas Sandoval
    Title: Has Vaught's Conjecture been solved?
    Date and time: Thursday 25 September 2014, 17:30-18:30
    Location: ILLC Seminar Room (F1.15), Science Park 107, Amsterdam
    Target group: MSc Logic and PhD students

    Vaught's Conjecture states that the collection of countable models of a first-order complete theory in a countable language is either countable, or has the cardinality of the continuum. This talk provides an approach to Vaught's Conjecture, its importance in the mathematical logic field and some of the current developments around it. I will also discuss the controversy lead by Professor Knight from Oxford University when he claimed had a “counterexample” for Vaught's Conjecture in 2002.

    For more information, contact coollogic.uva at gmail.com

  • 26-27 September 2014, Celebration event in honour of Johan van Benthem, University of Amsterdam, Amsterdam, The Netherlands

    On 26 and 27 September 2014 the Institute for Logic, Language and Computation (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 on the areas where Johan was or is active.

    For more information, see http://www.illc.uva.nl/J65/

  • 26-27 September 2014, Celebration event in honour of Johan van Benthem

    On 26 and 27 September 2014 the Institute for Logic, Language and Computation (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 on the areas where Johan was or is active.

    For more information, see http://www.illc.uva.nl/J65/. Please take a moment to register if you plan to attend.

        Back to top of page