Meeting
The event has passed

Agda Implementor's Meeting (AIM XXXIX)

The 39th Agda Implementors' Meeting will be hosted by the Computing Science Divison, Logic and Types Unit, Department of Computer Science and Engineering.

Add to OutlookAdd to Google Calendar

Overview

The event has passed

  • Date:

    Starts 25 November 2024, 09:30Ends 30 November 2024, 12:00

  • Location:

    OOTO, Room 4
    Link to event (Opens in new tab)

  • Language:

    English

  • Last sign up date:

    31 October 2024
Registration (Opens in new tab)