Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminars Upcoming LFCS Seminars

Upcoming LFCS Seminars

Event LFCS seminar: Razvan Stanica: Spatio-temporal classification of mobile network traffic (IF 4.31/4.33, from Oct 23, 2017 02:00 PM to Oct 23, 2017 03:00 PM)
 
Event LFCS seminar: Claude Heiland-Allen: GULCII: Graphical Untyped Lambda Calculus Interactive Interpreter (G.07, from Oct 26, 2017 04:00 PM to Oct 26, 2017 05:00 PM)
 
Event LFCS seminar: Vaishak Belle: First-order probabilistic relational models (IF 4.31/4.33, from Oct 31, 2017 04:00 PM to Oct 31, 2017 05:00 PM)
 
Event LFCS seminar: Stuart Presnell: What is Homotopy Type Theory? (IF 4.31/4.33, from Nov 07, 2017 04:00 PM to Nov 07, 2017 05:00 PM)
 
Event LFCS seminar: Stefania Dumbrava: Certifying deductive database engines with Coq/SSReflect (IF 4.31/4.33, from Nov 14, 2017 04:00 PM to Nov 14, 2017 05:00 PM)
 
Event LFCS seminar: Alice Miller: Probabilistic model checking for UAV controller generation (IF 4.31/4.33, from Nov 21, 2017 02:30 PM to Nov 21, 2017 03:30 PM)
 
Event LFCS seminar: Noam Zeilberger (IF 4.31/4.33, from Nov 21, 2017 04:00 PM to Nov 21, 2017 05:00 PM)
 
Event LFCS seminar: Danel Ahman: A fibrational view on computational effects (IF 4.31/4.33, from Nov 28, 2017 04:00 PM to Nov 28, 2017 05:00 PM)
 
Event LFCS seminar: Chung-Kil Hur: A promising semantics for relaxed-memory concurrency (IF 4.31/4.33, from Dec 05, 2017 04:00 PM to Dec 05, 2017 05:00 PM)
 
Document Actions