Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation


News and Events: MoL and PhD defenses

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.

You can also view this information as a calendar or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

Headlines MoL and PhD defenses

MoL and PhD defenses

  • 22 May 2018, Master of Logic defense, Jana Haenen

    Title: A Gödel-like translation from positive calculus into strict implication logic
    Date & Time: Tuesday 22 May 2018, 11:00
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Dr. N. Bezhanishvili and Dr. F.M. Lauridsen
  • 13 June 2018, PhD Defense, Malvin Gattinger

    Title: New Directions in Model Checking Dynamic Epistemic Logic
    Date & Time: Wednesday 13 June 2018, 11:00
    Location: UvA Aula, Singel 411, Amsterdam
    Promotor: Prof.dr. D.J.N. van Eijck
    Copromotor: Prof.dr. K. Su and Dr. Alexandru Baltag
    For more information, see https://malv.in/phdthesis/ or contact Malvin Gattinger at .
  • 13 June 2018, PhD Defense, Chenwei Shi

    Title: Reason to Believe
    Date & Time: Wednesday 13 June 2018, 13:00
    Location: UvA Aula, Singel 411, Amsterdam
  • (New) 15 June 2018, PhD defense, Julia Ilin

    Title: Filtration Revisited: Lattices of Stable Non-Classical Logics
    Date & Time: Friday 15 June 2018, 12:00
    Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
    Supervisor: Nick Bezhanishvili
    Promotor: Yde Venema
    For more information, contact Julia Ilin at .
  • (New) 3 July 2018, PhD Defense (TU Delft), Apostolos Tzimoulis

    Title: Algebraic and Proof-Theoretic Foundations of the Logics for Social Behaviour
    Date & Time: Tuesday 3 July 2018, 12:00
    Location: Senaatszaal of the Auditorium, Mekelweg 5, Delft
    Supervisor: Giuseppe Greco
    Promotor: Alessandra Palmigiano
    For more information, see http://www.appliedlogictudelft.nl/apostolos-tzimoulis/ or contact Apostolos Tzimoulis at .
  • (New) 3 July 2018, PhD Defense (TU Delft), Fei Liang

    Title: Multi-type Algebraic Proof Theory
    Date & Time: Tuesday 3 July 2018, 17:00
    Location: Senaatszaal of the Auditorium, Mekelweg 5 in Delft
    Supervisor: Giuseppe Greco
    Promotor: Alessandra Palmigiano, Minghui Ma
    For more information, see http://www.appliedlogictudelft.nl/fei-liang/ or contact Fei Liang at .

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X