Personal tools
You are here: Home Events Previous

Previous

Past events

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)
 
Event LFCS 30th anniversary celebration - 13 April 2016, Edinburgh (Informatics Forum G.07, from Apr 13, 2016 09:00 AM to Apr 13, 2016 05:00 PM)
 
Event WadlerFest 2016 - in celebration of Philip Wadler's 60th birthday (from Apr 11, 2016 09:00 AM to Apr 12, 2016 05:00 PM)
 
Event LFCS seminar: Dalal Alrajeh: Repairing Software Requirements Models: A Declarative Learning-based Approach (4.31/4.33, from Mar 29, 2016 04:00 PM to Mar 29, 2016 05:00 PM)
 
Event Qualitative analysis of Vass-induced MDPs (from Mar 29, 2016 01:00 PM to Mar 29, 2016 02:00 PM)
 
Event LFCS seminar: Antoine Cailliau: Software Requirements Engineering: A risk-driven approach (IF 4.31/4.33, from Mar 22, 2016 04:00 PM to Mar 22, 2016 05:00 PM)
 
Event Composition in validated integration (from Mar 22, 2016 01:00 PM to Mar 22, 2016 02:00 PM)
 
Event LFCS seminar: Antonio Filieri: Probabilistic Symbolic Execution: Bringing quantitative analysis at code level (IF 4.31/4.33, from Mar 15, 2016 04:00 PM to Mar 15, 2016 05:00 PM)
 
Event Variations on Variants (from Mar 14, 2016 05:25 PM to Mar 14, 2016 05:25 PM)
 
Event LFCS seminar: Rasmus Ibsen-Jensen: Faster algorithms for program analysis (IF 4.31/4.33, from Mar 14, 2016 04:00 PM to Mar 14, 2016 05:00 PM)
 

Also in this section

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)
 
Event LFCS 30th anniversary celebration - 13 April 2016, Edinburgh (Informatics Forum G.07, from Apr 13, 2016 09:00 AM to Apr 13, 2016 05:00 PM)
 
Event WadlerFest 2016 - in celebration of Philip Wadler's 60th birthday (from Apr 11, 2016 09:00 AM to Apr 12, 2016 05:00 PM)
 
Event LFCS seminar: Dalal Alrajeh: Repairing Software Requirements Models: A Declarative Learning-based Approach (4.31/4.33, from Mar 29, 2016 04:00 PM to Mar 29, 2016 05:00 PM)
 
Event Qualitative analysis of Vass-induced MDPs (from Mar 29, 2016 01:00 PM to Mar 29, 2016 02:00 PM)
 
Event LFCS seminar: Antoine Cailliau: Software Requirements Engineering: A risk-driven approach (IF 4.31/4.33, from Mar 22, 2016 04:00 PM to Mar 22, 2016 05:00 PM)
 
Event Composition in validated integration (from Mar 22, 2016 01:00 PM to Mar 22, 2016 02:00 PM)
 
Event LFCS seminar: Antonio Filieri: Probabilistic Symbolic Execution: Bringing quantitative analysis at code level (IF 4.31/4.33, from Mar 15, 2016 04:00 PM to Mar 15, 2016 05:00 PM)
 
Event Variations on Variants (from Mar 14, 2016 05:25 PM to Mar 14, 2016 05:25 PM)
 
Event LFCS seminar: Rasmus Ibsen-Jensen: Faster algorithms for program analysis (IF 4.31/4.33, from Mar 14, 2016 04:00 PM to Mar 14, 2016 05:00 PM)
 
Document Actions