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: 24 November 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 Events this week

  • 24-26 November 2014, Workshop on Correlated Information Change

    Location: Doelenzaal, University Library, Singel 425, Amsterdam
    Costs: none (registration necessary!!)

    Via this workshop, we are creating a forum to present new developments, exchange ideas, explore and establish new connections between different areas that have already developed techniques to model correlated information change in a multi-agent context. The types of correlated information change that we are interested in, covers a list of phenomena studied in a number of areas such as: Game Theory, Logic, Belief Revision Theory, Formal Epistemology, Social Science, Formal Learning Theory, AI (Multi-agent Systems) and the Foundations of Quantum Physics.

    For more information, see

  • 26 November 2014, Algebra|Coalgebra Seminar, Dexter Kozen (Cornell University)

    Speaker: Dexter Kozen (Cornell University)
    Title: Completeness and Incompleteness in Nominal Kleene Algebra
    Date and time: Wednesday 26 November 2014, 16:30-17:30
    Location: ILLC Room F1.15, Science Park 107

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

  • (Updated) 28 November 2014, SMART Cognitive Science Lecture, Rineke Verbrugge

    Speaker: Rineke Verbrugge (Groningen)
    Title: Learning to apply theory of mind: from logic to the lab
    Date and time: Friday 28 November 2014, 16:00-17:00

    For abstracts and more information, see

  • 28 November 2014, Event organized on the occasion of the retirement of Krzysztof R. Apt

    Location: CWI, Turing room, Science Park 123, Amsterdam

    We cordially invite you to attend this event organized on the occasion of the retirement of Krzysztof R. Apt. All the speakers will be under the age of 30.

    The details can be found at To attend this event please register at in connection with reception planning.

  • (New) 28 November 2014, Cool Logic, Aybüke Özgün (LORIA, CNRS - Lorraine)

    Speaker: Aybüke Özgün (LORIA, CNRS - Lorraine)
    Title: Relational vs. Neighbourhood Semantics for Epistemic Logic
    Date and time: Friday 28 November 2014, 17:30-18:30
    Location: ILLC seminar room (F1.15), Science Park 107, Amsterdam
    Target group: MSc Logic and PhD students

    In this talk, we will focus on the topological interpretation of knowledge in comparison to the standard relational (Kripke) interpretation and argue in favour of the former.

    For more information, see or contact coollogic.uva at

        Back to top of page