Program for Thursday, June 15th: Session View

TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS

PROGRAM AUTHORS KEYWORDS SLIDES

PROGRAM FOR THURSDAY, JUNE 15TH: SESSION VIEW

Days:

View: with abstracts talk overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

09:00-10:00

Invited Talk. On Isomorphism Invariance and Isomorphism Reflection in Type Theory. Andrej Bauer (University of Ljubljana, Slovenia)

10:00-11:00

Proof assistants and proof technology

11:30-12:30

Dependently typed programming

12:30-13:30

Foundations of type theory and constructive mathematics

15:00-16:20

Links between type theory and functional programming

11:00-11:30 Coffee Break

13:30-15:00 Lunch Break

Disclaimer | Powered by EasyChair Smart Program