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: 29 January 2015). 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.


  • Harry Buhrman gives serie of online lectures on quantum computers at UvNL

    (Dutch only)
    Elke werkdag zet de Universiteit van Nederland we een nieuw, gratis college online. Afgelopen week was het de beurt aan prof. dr. Harry Buhrman van Universiteit van Amsterdam die college gaf over Kwantumcomputers.

    Het eerste college is getiteld "Waarom is een computer soms zo traag?":
    "Computers kunnen alles. ERROR! Niet dus. Prof. dr. Harry Buhrman, computerwetenschapper aan de Universiteit van Amsterdam en onderzoeker aan het Centrum van Wiskunde & Informatica, legt uit dat er nog steeds fundamentele wiskundige problemen zijn waar onze huidige computers nog niet tegen kunnen opboksen."

    Voor meer informatie, zie

  • PhD candidate in Semantics, Pragmatics and Cognition

    The Institute for Logic, Language & Computation (ILLC) at the University of Amsterdam is looking for a highly motivated, creative and talented PhD candidate to enrich a unique consortium of researchers that aims to unravel the neurocognitive mechanisms of language at multiple levels. The goal is to understand both the universality and the variability of the human language faculty from genes to behaviour.

    The PhD position is part of the larger Dutch NWO Gravitation 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 project will involve collaborative work to be carried out at the Institute of Logic, Language, and Computation (ILLC) at the University of Amsterdam (Prof. Van Rooij) and the Donders Institute for Brain, Cognition and Behaviour at Radboud University (Prof. H. Schriefers). The position will be embedded in the ILLC. Both involved institutes offer an international research.

    Application deadline: 1 February 2015. For more information, see

  • Heb je uitzonderlijk muzikaal gehoor? Doe de test!

    Ben jij een beetje muzikaal? Kun jij een liedje op de perfecte toonhoogte meezingen? Hoor jij meteen of er een valse snaar op een gitaar zit? Sommigen mensen zijn volledig toondoof. Maar mensen met absoluut gehoor kunnen (zonder te kijken!) aan een pianotoets al horen welke noot het is. Een heel zeldzame gave! Maar is deze luistereigenschap wel zo bijzonder? Hoogleraar Muziekcognitie prof. dr. Henkjan Honing (UvA) legt je uit wat nog veel opmerkelijker is aan gehoor.

    For more information, see

ILLC Events this week

  • 30 January 2015, Master of Logic defense, Ignas Vysniauskas

    Title: Pi-dist: Towards a Typed Pi-calculus for Distributed Programming
    Date and time: Friday 30 January 2015, 11:00-12:30.
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisors: Dr. Benno van den Berg (University of Amsterdam) and Dr Wouter Swierstra (Utrecht University)
    For more information, please contact G.Beekelaar at
  • 30 January 2015, Master of Logic defense, Johannes Emerich

    Title: Applying Types as Abstract Interpretation to a Language with Dynamic Dispatch
    Date and time: Friday 30 January 2015, 09:30 - 11:00
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisors: Dr. Benno van den Berg (University of Amsterdam) and Dr. Tijs van der Storm (CWI, Amsterdam)
    For more information, please contact G.Beekelaar at
  • (New) 30 January 2015, Cool Logic, Stephen Pastan

    Speaker: Stephen Pastan
    Title: On the Puzzle of Change
    Date and time: Friday 30 January 2015, 17:30-18:30
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    Target group: MSc Logic and PhD students

    The puzzle of change goes like so. A candle changes from straight to bent; the candle was straight, the candle is bent. But nothing can be both straight and bent. Contradiction! I will discuss the puzzle, its possible solutions, and the consequences it has for objects, properties, and time.

    For more information, see or contact coollogic.uva at

  • 3 February 2015, LoLa Day II

    Speaker: Maria Aloni, Franz Berto, Elbert Booij, Jelle Bruineberg, Ricardo Pinosio, Soroush Rafiee Rad, Raquel Fernandez Rovira
    Date and time: Tuesday 3 February 2015, 9:45 - 15:55
    Location: Doelenzaal, Singel 425, Amsterdam (morning session) and Bungehuis 0.04, Spuistraat 210, Amsterdam (afternoon session)

    Everyone is welcome to attend the next LoLa day, which takes place on February 3, 2015 in the city center of Amsterdam.

    At this second edition of the LoLa day, we create a platform for the Lola members to present their new results and ongoing work.

    For more information, including the scientific programme, see

  • (New) 4 February 2015, Algebra|Coalgebra Seminar, Minghui Ma (Southwest University)

    Speaker: Minghui Ma (Southwest University)
    Title: Residuated Basic Algebras
    Date and time: Wednesday 4 February 2015, 16:00-17:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

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

        Back to top of page