SCQ1098250 - TYPE THEORY 2023-2024

INTRODUCTION:

You will find a short presentation of the course TYPE THEORY
in


====================================================
HOMEPAGE OF THE THEORY PART :

https://www.math.unipd.it/~maietti/typ24.html

====================================================
INFORMATION ABOUT THE FINAL EXAMINATIONS:

oral examinations: more information in
https://www.math.unipd.it/~maietti/typ24.html

==========================================================
TIME AND ROOM of the lectures

The lectures will be given physically in the room (unless agreed otherwise for some of you abroad)

on Thursday: from 16.30 up to 18 in 1BC50
on Friday: from 16.30 up to 18 in 1BC50

The first 24 hours are about the "theory" part and are delivered by Prof. Maria Emilia Maietti.

The latter 24 hours are about the "practice" part and are delivered by Prof. Ingo Blechschmidt on how to use the proof-assistant Agda.

You can find videos of lectures delivered on the theory part in 2022 at
https://elearning.unipd.it/math/course/view.php?id=894

More information on videos is available on the homepage of the theory part.