Main Index

name:	Seidl: Functional Programming and Verification (26.10.2018)
recorded:	Fri Oct 26 08:22:10 CEST 2018
length:	85:19 min.

#1: 00:00 min.

#2: 01:22 min.

#3: 04:57 min.

#4: 17:00 min.

#5: 21:45 min.

#6: 22:22 min.

#7: 24:07 min.

#8: 25:09 min.

#9: 25:20 min.

#10: 50:09 min.

#11: 53:02 min.

#12: 55:07 min.

#13: 72:44 min.

#14: 80:28 min.