## Schedule of the Fall 2016/17 Semester

### November 17-19, 2016

- Bartek Wilczyński: Crash course on Computational Biology for Computer Scientists

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

- Marc Bezem: The Univalence Axiom in Dependent Type Theory

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

- Paweł Sobociński Graphical Linear Algebra

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) |