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: 20 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.


ILLC News

  • 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 http://www.uva.nl/en/news-events/news/uva-news/item/

  • 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.

ILLC Events this week

  • 22 October 2014, PIIA Seminar, Fan Yang

    Speaker: Fan Yang
    Title: Propositional dependence logic
    Location: Stijlkamer 0.06, Janskerkhof 13, Utrecht

    For more information, see http://jeroengoudsmit.com/piia/.

  • 23 October 2014, Valedictory lecture, Prof. Andy Tanenbaum

    Speaker: Prof. Andy Tanenbaum
    Date and time: Thursday 23 October 2014, 11:45
    Location: the Aula of the Vrije Universiteit, Amsterdam, The Netherlands

    Prof. Andy Tanenbaum is finally retiring. He has been at the Vrije Universiteit for 43 years, but everything must eventually end. To say goodbye to everyone, he will give a final lecture at the VU, to which everyone is invited.

    Register for his farewell lecture ("afscheidscollege"). For more information, see http://www.cs.vu.nl/tanenbaum/

  • 24 October 2014, DIP Colloquium, Mark van Atten

    Speaker: Mark van Atten (CNRS, Paris)
    Title: Dummett vs. Brouwer
    Date and time: Friday 24 October 2014, 16:00-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

    For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

  • 24 October 2014, SMART Cognitive Science Lecture, William Foley

    Speaker: William Foley (Sydney)
    Date and time: Friday 24 October 2014, 16:00-18:00

    For abstracts and more information, see http://smartcognitivescience.wordpress.com/

  • (New) 24 October 2014, Cool Logic, Konstantin Genin (Carnegie Mellon University)

    Speaker: Konstantin Genin (Carnegie Mellon University)
    Title: Learning with Ockham: Simplicity in Inductive Inference
    Date and time: Friday 24 October 2014, 18:00-19:00
    Location: ILLC seminar room (F1.15), Science Park 107, Amsterdam
    Target group: MSc Logic and PhD students

    Is it possible to give a non-circular justification for the systematic scientific bias in favor of simpler theories? Combining ideas from belief revision, learning theory and topology, we give a justification for Ockham's razor grounded in truth-finding efficiency. Connections are demonstrated between monotonicity principles in belief revision, Popperian falsificationism and simplicity.

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

  • (New) 24 October 2014, Logic and Interactive Rationality (LIRa), Jan van Eijck

    Speaker: Jan van Eijck (UvA)
    Title: Selected Topics in Communication and Action
    Date and time: Friday 24 October 2014, 14:30-16:00
    Location: Room F1.15, Science Park 107, Amsterdam

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

        Back to top of page