Fall Semester

Schedule of the Fall 2016/17 Semester

November 17-19, 2016

Thursday, November 17, room 5440 (note the unusual time!)
15:45 - 17:15 Bartek Wilczyński: Crash course on Computational Biology for Computer Scientists (lecture)
17:15 - 17:45 coffee break
17:45 - 18:45 Bartek Wilczyński: Crash course on Computational Biology for Computer Scientists (class)
Friday, November 18, room 5440
14:15 - 15:45 Bartek Wilczyński: Crash course on Computational Biology for Computer Scientists (lecture)
15:45 - 16:15 coffee break
16:15 - 17:15 Bartek Wilczyński: Crash course on Computational Biology for Computer Scientists (class)
Saturday, November 19, room 5440
10:00 - 11:30 Bartek Wilczyński: Crash course on Computational Biology for Computer Scientists (lecture)
11:30 - 12:00 coffee break
12:00 - 13:30 Bartek Wilczyński: Crash course on Computational Biology for Computer Scientists (lecture)

December 15-17, 2016

Thursday, December 15, room 5440 (note the unusual time!)
17:00 - 18:30 Marc Bezem: The Univalence Axiom in Dependent Type Theory (lecture)
Friday, December 16, room 5440
14:15 - 15:45 Marc Bezem: The Univalence Axiom in Dependent Type Theory (lecture)
15:45 - 16:15 coffee break
16:15 - 17:45 Marc Bezem: The Univalence Axiom in Dependent Type Theory (lecture)
Saturday, December 17, room 5440
10:00 - 11:30 Marc Bezem: The Univalence Axiom in Dependent Type Theory (lecture)
11:30 - 12:00 coffee break
12:00 - 13:30 Marc Bezem: The Univalence Axiom in Dependent Type Theory (lecture)

January 12-14, 2017

Thursday, January 12, room 5440 (note the unusual time!)
16:00 - 17:30 Paweł Sobociński: Graphical Linear Algebra (lecture)
17:30 - 18:00 coffee break
18:00 - 19:00 Paweł Sobociński: Graphical Linear Algebra (class)
Friday, January 13, room 5440
14:15 - 15:45 Paweł Sobociński: Graphical Linear Algebra (lecture)
15:45 - 16:15 coffee break
16:15 - 17:15 Paweł Sobociński: Graphical Linear Algebra (class)
Saturday, January 14, room 5440
10:00 - 11:30 Paweł Sobociński: Graphical Linear Algebra (lecture)
11:30 - 12:00 coffee break
12:00 - 13:30 Paweł Sobociński: Graphical Linear Algebra (lecture)