Invited lecturer at the School

Activity: Talk or presentation typesInvited talk


Responsibilities split in two:

# Giving introductory lectures

* A Quick Tour of Agda
* Syntaxes for Binding and their Semantics

# Helping attendees with their Agda questions
Period13 May 202417 May 2024
Event titleSchool on Formal Mathematics
Event typeCourse
LocationBonn, Germany, North Rhine-WestphaliaShow on map
Degree of RecognitionInternational