Universiteit van Amsterdam

ILLC News & Events

Institute for Logic, Language and Computation

ILLC News & Events

These pages provide information about recent developments at or relevant to the ILLC. 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.

Sections

No ILLC News

Headlines ILLC Events this week

ILLC Events this week

  • 22 June 2018, Dutch Social Choice Colloquium

    Date & Time: Friday 22 June 2018, 13:30-17:40
    Location: Doelenzaal, University Library, Singel 425, Amsterdam

    Speakers: Nicolas Maudet (Paris), Daniele Porello (Bolzano), Baharak Rastegari (Bristol), and Zoi Terzopoulou (Amsterdam).

  • (Updated) 22 June 2018, DIP Colloquium, Henk Zeevat

    Speaker: Henk Zeevat (UvA, retirement)
    Title: Interpreting Dependent NPs
    Date & Time: Friday 22 June 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

  • (New) 25 June 2018, Colloquium on Mathematical Logic, Menno de Boer

    Speaker: Menno de Boer
    Title: The Gluing Construction for Path Categories
    Date & Time: Monday 25 June 2018, 15:00-16:00
    Location: Room BBG 065, Buys Ballot Building, Uithof, Utrecht

  • (Updated) 27 June 2018, Algebra|Coalgebra Seminar, Cancelled

    Speaker: Cancelled
    Date & Time: Wednesday 27 June 2018, 16:00-17:00
    For more information, see http://events.illc.uva.nl/alg-coalg or contact Frederik Lauridsen at .

  • 28 June 2018, Master of Logic defense, Matteo Nizzardo

    Title: Leibniz's Principle and the Problem of Nonindividuality
    Date & Time: Thursday 28 June 2018, 11:00
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Prof. Dr F.Berto

  • (New) 28 June 2018, Colloquium on Mathematical Logic, Kazuhiko Sakaguchi

    Speaker: Kazuhiko Sakaguchi (University of Tsukuba)
    Title: Bootstrapping Fast Reflective Tactics for Reasoning Modulo AC with a Verified and Optimized Sorting Function in Coq
    Date & Time: Thursday 28 June 2018, 13:00-14:00
    Location: Room F2.19, Science Park 107, Amsterdam
    For more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg at .

  • 28 June 2018, Computation with Infinite Programs, Ethan S. Lewis

    Date & Time: Thursday 28 June 2018, 14:00
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam
    Supervisor: Prof. Dr B. Löwe and L. Galeotti M.Sc.

  • 28 June 2018, Master of Logic defense, Robert Passmann

    Title: Loyalty and Faithfulness of Model Constructions for Constructive Set Theory
    Date & Time: Thursday 28 June 2018, 16:00
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
    Supervisor: Prof. Dr. B. Löwe