Personal tools
You are here: Home Events Previous

Previous

Past events

Event LFCS seminar: KC Sivaramakrishnan: Practical Algebraic Effect Handlers in Multicore OCaml (IF 4.31/4.33, from Nov 22, 2016 04:00 PM to Nov 22, 2016 05:00 PM)
 
Event LFCS seminar: Zachary N. J. Peterson: Can games fix what's wrong with computer security education? (IF 4.31/4.33, from Nov 18, 2016 04:00 PM to Nov 18, 2016 05:00 PM)
 
Event LFCS seminar: Anastasis Georgoulas: Probabilistic programming process algebra (IF 4.31/4.33, from Nov 15, 2016 04:00 PM to Nov 15, 2016 05:00 PM)
 
Event LFCS seminar: Stephen Dolan: Polymorphism, subtyping and type inference in MLsub (IF 4.31/4.33, from Nov 08, 2016 04:00 PM to Nov 08, 2016 05:00 PM)
 
Event LFCS seminar: Martin Hofmann: Higher-order Buchi types (IF 4.31/4.33, from Nov 01, 2016 04:00 PM to Nov 01, 2016 05:00 PM)
 
Event LFCS seminar: Philip Scott: An introduction to many-valued logics and effect algebras (IF 4.31/4.33 , from Oct 18, 2016 04:00 PM to Oct 18, 2016 05:00 PM)
 
Event LFCS seminar: Sebastian Maneth: A survey of equivalence problems for tree transducers (IF 1.15, from Oct 06, 2016 01:00 PM to Oct 06, 2016 02:00 PM)
 
Event Welcome for new PhD students (IF 4.31/4.33 / MF2, from Sep 16, 2016 11:30 AM to Sep 16, 2016 03:00 PM)
Events to welcome doctoral students starting in the LFCS
Event LFCS seminar: Mihai Budiu: Visualizing billion-row datasets (IF 4.31/4.33, from Sep 13, 2016 04:00 PM to Sep 13, 2016 05:00 PM)
 
Event LFCS seminar: Gunnar Wilken: Combining Howard’s ordinal assignment and Weiermann’s collapsing technique to analyse Gödel’s T (from Sep 13, 2016 02:00 PM to Sep 13, 2016 03:00 PM)
 
Event LFCS seminar: Verena Wolf: Generalized method of moments for estimating parameters of stochastic reaction networks (from Sep 12, 2016 03:00 PM to Sep 12, 2016 04:00 PM)
 
Event Lab Lunch with Nicolas Behr (MF2, from Jul 19, 2016 02:10 PM to Jul 19, 2016 02:50 PM)
Physicist-friendly computer science: nondeterminism via associative algebras
Event LFCS seminar: Sanjay Jha: A Changing Landscape: Securing The Internet Of Things (IoT) (IF 4.31/4.33, from Jul 14, 2016 11:00 AM to Jul 14, 2016 12:00 PM)
 
Event Lab Lunch with Aggelos Kiayias (MF2, from Jul 05, 2016 01:10 PM to Jul 05, 2016 01:50 PM)
Blockchain Protocols
Event LFCS seminar: Alexander C. Russell: Cliptography: Clipping the Power of Kleptographic Attacks (IF 4.31/4.33, from Jun 28, 2016 04:00 PM to Jun 28, 2016 05:00 PM)
Speaker: Alexander C. Russell, University of Connecticut Title: Cliptography: Clipping the Power of Kleptographic Attacks
Event Moment-based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems (Mini Forum 2, from Jun 21, 2016 01:00 PM to Jun 21, 2016 02:00 PM)
Speaker: Cheng Feng. See abstract below.
Event More Semantics More Robust: Improving Android Malware Classifiers (Mini Forum 2, from Jun 14, 2016 01:00 PM to Jun 14, 2016 02:00 PM)
Speaker: Wei Chen. See abstract below.
Event LFCS seminar: Murdoch Gabbay: Nominal techniques and the consistency of Quine's NF (IF 4.31/4.33, from May 31, 2016 04:00 PM to May 31, 2016 05:00 PM)
 
Event LFCS seminar: Tarmo Uustalu: Dynamic programming and coalgebras with sharing (IF 2.33, from May 12, 2016 04:00 PM to May 12, 2016 05:00 PM)
 
Event LFCS seminar: Mirco Musolesi: Spatio-temporal Networks: Reachability, Centrality, and Robustness (IF G.07, from Apr 20, 2016 04:00 PM to Apr 20, 2016 05:00 PM)
 

Also in this section

Event LFCS seminar: KC Sivaramakrishnan: Practical Algebraic Effect Handlers in Multicore OCaml (IF 4.31/4.33, from Nov 22, 2016 04:00 PM to Nov 22, 2016 05:00 PM)
 
Event LFCS seminar: Zachary N. J. Peterson: Can games fix what's wrong with computer security education? (IF 4.31/4.33, from Nov 18, 2016 04:00 PM to Nov 18, 2016 05:00 PM)
 
Event LFCS seminar: Anastasis Georgoulas: Probabilistic programming process algebra (IF 4.31/4.33, from Nov 15, 2016 04:00 PM to Nov 15, 2016 05:00 PM)
 
Event LFCS seminar: Stephen Dolan: Polymorphism, subtyping and type inference in MLsub (IF 4.31/4.33, from Nov 08, 2016 04:00 PM to Nov 08, 2016 05:00 PM)
 
Event LFCS seminar: Martin Hofmann: Higher-order Buchi types (IF 4.31/4.33, from Nov 01, 2016 04:00 PM to Nov 01, 2016 05:00 PM)
 
Event LFCS seminar: Philip Scott: An introduction to many-valued logics and effect algebras (IF 4.31/4.33 , from Oct 18, 2016 04:00 PM to Oct 18, 2016 05:00 PM)
 
Event LFCS seminar: Sebastian Maneth: A survey of equivalence problems for tree transducers (IF 1.15, from Oct 06, 2016 01:00 PM to Oct 06, 2016 02:00 PM)
 
Event Welcome for new PhD students (IF 4.31/4.33 / MF2, from Sep 16, 2016 11:30 AM to Sep 16, 2016 03:00 PM)
Events to welcome doctoral students starting in the LFCS
Event LFCS seminar: Mihai Budiu: Visualizing billion-row datasets (IF 4.31/4.33, from Sep 13, 2016 04:00 PM to Sep 13, 2016 05:00 PM)
 
Event LFCS seminar: Gunnar Wilken: Combining Howard’s ordinal assignment and Weiermann’s collapsing technique to analyse Gödel’s T (from Sep 13, 2016 02:00 PM to Sep 13, 2016 03:00 PM)
 
Event LFCS seminar: Verena Wolf: Generalized method of moments for estimating parameters of stochastic reaction networks (from Sep 12, 2016 03:00 PM to Sep 12, 2016 04:00 PM)
 
Event Lab Lunch with Nicolas Behr (MF2, from Jul 19, 2016 02:10 PM to Jul 19, 2016 02:50 PM)
Physicist-friendly computer science: nondeterminism via associative algebras
Event LFCS seminar: Sanjay Jha: A Changing Landscape: Securing The Internet Of Things (IoT) (IF 4.31/4.33, from Jul 14, 2016 11:00 AM to Jul 14, 2016 12:00 PM)
 
Event Lab Lunch with Aggelos Kiayias (MF2, from Jul 05, 2016 01:10 PM to Jul 05, 2016 01:50 PM)
Blockchain Protocols
Event LFCS seminar: Alexander C. Russell: Cliptography: Clipping the Power of Kleptographic Attacks (IF 4.31/4.33, from Jun 28, 2016 04:00 PM to Jun 28, 2016 05:00 PM)
Speaker: Alexander C. Russell, University of Connecticut Title: Cliptography: Clipping the Power of Kleptographic Attacks
Event Moment-based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems (Mini Forum 2, from Jun 21, 2016 01:00 PM to Jun 21, 2016 02:00 PM)
Speaker: Cheng Feng. See abstract below.
Event More Semantics More Robust: Improving Android Malware Classifiers (Mini Forum 2, from Jun 14, 2016 01:00 PM to Jun 14, 2016 02:00 PM)
Speaker: Wei Chen. See abstract below.
Event LFCS seminar: Murdoch Gabbay: Nominal techniques and the consistency of Quine's NF (IF 4.31/4.33, from May 31, 2016 04:00 PM to May 31, 2016 05:00 PM)
 
Event LFCS seminar: Tarmo Uustalu: Dynamic programming and coalgebras with sharing (IF 2.33, from May 12, 2016 04:00 PM to May 12, 2016 05:00 PM)
 
Event LFCS seminar: Mirco Musolesi: Spatio-temporal Networks: Reachability, Centrality, and Robustness (IF G.07, from Apr 20, 2016 04:00 PM to Apr 20, 2016 05:00 PM)
 
Document Actions