Talk 26.02.18, 14:00 Type theory, programs-as-proofs and computer verification Tobias Fritz (MPI MiS, Leipzig) A3 02 (Seminar room)