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: 30 October 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.


  • (New) Ciyang Qing wins Unilever Research Prize 2014

    MSc Logic graduate Ciyang Qing will receive the Unilever Research Prize 2014. This award, which comes with an associated sum of 2,500 euros, recognises significant research carried out by students in the natural and social sciences at Dutch universities.

    Ciyang, who is now a PhD student at Stanford University, worked on a number of research projects during his time as an MSc Logic student at the ILLC, leading to several publications in a diverse range of fields, including cognitive science, formal semantics, computational linguistics and multiagent systems. His Master's thesis on Quantitative Social-Cognitive Experimental Pragmatics was supervised by Michael Franke.

    The award will be presented on 27 November 2014 at Unilever's R&D Centre in Vlaardingen, in the presence of Jet Bussemaker, Minister for Education, Culture and Science.

    See also<
    Unilever Research Prize:
    MSc Logic:

    For further information, please contact Ulle Endriss <ulle.endriss at>.

  • Royal honour for University Professor Johan van Benthem

    Prof. Johan van Benthem was named Knight in the Order of the Netherlands Lion upon his retirement as University Professor of Pure and Applied Logic at the University of Amsterdam (UvA) on Friday, 26 September. Van Benthem received the royal honour in recognition of his myriad research accomplishments and the leading and inspirational role he has played in the academic community.

    For more information, see

  • 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

ILLC Events this week

  • 31 October 2014, ILLC Current Affairs Meeting

    Date and time: Friday 31 October 2014, 16:00-17.30
    Location: F1.21, ILLC Common room, Science Park 107, Amsterdam

    As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards in the ILLC Common Room.

    For more information, contact illc at

  • (Updated) 31 October 2014, Logic and Interactive Rationality (LIRa), Enkhbold Nyamsuren

    Speaker: Enkhbold Nyamsuren (UvA)
    Title: Are you smarter than your inner child?
    Date and time: Friday 31 October 2014, 14:30-16:00
    Location: Room F1.15, Science Park 107, Amsterdam

    For more information, see

  • 3-4 November 2014, Amsterdam Workshop on Set Theory: Generalized Baire Space (AST 2014), Amsterdam, The Netherlands

    The Amsterdam Set Theory Workshop 2014 is organized by the Institute for Logic, Language and Computation (ILLC) and the logic group of the University of Hamburg with the aim to provide the platform for exchange for the researchers active in the field of the set theory of the generalized Baire space. The two days of the workshop will consist of three tutorials, several contributed talks and discussion sessions. One of the outputs of this meeting is a planned paper consisting of the open problems in the generalized Baire space.

    The workshop includes tutorals by Jouko Väänänen (Helsinki & Amsterdam), Philipp Schlicht (Bonn) and Andrew Brooke-Taylor (Bristol).

    For more information, see

  • (New) 5 November 2014, Colloquium on Mathematical Logic, Dorottya Sziraki

    Speaker: Dorottya Sziraki
    Title: Algebraic Logic and Vaught's Conjecture
    Date and time: Wednesday 5 November 2014, 16:00-17:00
    Location: Room D1.112, Science Park 904, Amsterdam

    For abstracts and more information, see or contact Benno van den Berg (bennovdberg at

  • (New) 5 November 2014, Algebra|Coalgebra Seminar, Andrea Pedrini (University of Milan)

    Speaker: Andrea Pedrini (University of Milan)
    Title: Polyhedra: from geometry to logic
    Date and time: Wednesday 5 November 2014, 14:00
    Location: Room D1.112, Science Park 904, Amsterdam

    For more information, see or contact Sumit Sourabh (S.Sourabh at

        Back to top of page