Personal tools
You are here: Home Events Forthcoming events

Forthcoming events

 
 
Start Date Location Description Title
Oct 03, 2017 04:00 PM IF 4.31/4.33 Event LFCS seminar: Kitty Meeks: Solving hard stable matching problems involving groups of similar agents
Oct 23, 2017 02:00 PM IF 4.31/4.33 Event LFCS seminar: Razvan Stanica
Oct 26, 2017 04:00 PM G.07 Event LFCS seminar: Claude Heiland-Allen
Oct 31, 2017 04:00 PM IF 4.31/4.33 Event LFCS seminar: Vaishak Belle: Weighted model counting with unbounded domains and function symbols
Nov 07, 2017 04:00 PM IF 4.31/4.33 Event LFCS seminar: Stuart Presnell: What is Homotopy Type Theory?
Nov 21, 2017 02:30 PM IF 4.31/4.33 Event LFCS seminar: Alice Miller
Nov 21, 2017 04:00 PM IF 4.31/4.33 Event LFCS seminar: Noam Zeilberger
Nov 28, 2017 04:00 PM IF 4.31/4.33 Event LFCS seminar: Danel Ahman: A fibrational view on computational effects
Dec 05, 2017 04:00 PM IF 4.31/4.33 Event LFCS seminar: Chung-Kil Hur
Document Actions