Program for Wednesday, June 14th: Session View

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

PROGRAM AUTHORS KEYWORDS SLIDES

PROGRAM FOR WEDNESDAY, JUNE 14TH: 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

16:30

09:00-10:00

Invited Talk. Intersection and Simple types. Simona Ronchi Della Rocca (Università di Torino, Italy)

10:00-11:00

Foundations of type theory and constructive mathematics

11:30-12:30

Links between type theory and functional programming

12:30-13:30

Meta-theoretic studies of type systems

15:00-16:20

Applications of type theory

11:00-11:30 Coffee Break

13:30-15:00 Lunch Break

16:20-16:50 Coffee Break

Disclaimer | Powered by EasyChair Smart Program