Personal tools
You are here: Home Events Previous

Previous

Past events

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)
 
Event LFCS seminar: Mark de Berg: Fine-grained complexity analysis of two classic TSP variants (IF 4.31/4.33, from Mar 08, 2016 04:00 PM to Mar 08, 2016 05:00 PM)
 
Event Teaming with Estonia (from Mar 08, 2016 01:00 PM to Mar 08, 2016 02:00 PM)
 
Event An Automatic Approach for Security Policies Generation (MF2, from Mar 01, 2016 01:00 PM to Mar 01, 2016 02:00 PM)
 
Event Lab Lunch - Paul Jackson (from Feb 23, 2016 01:00 PM to Feb 23, 2016 02:00 PM)
Creating finite-state abstractions of continuous systems
Event Lab Lunch - Michael Fourman (from Feb 16, 2016 01:00 PM to Feb 16, 2016 02:00 PM)
Quantifying inequality in the distribution of a binary advantage.

Also in this section

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)
 
Event LFCS seminar: Mark de Berg: Fine-grained complexity analysis of two classic TSP variants (IF 4.31/4.33, from Mar 08, 2016 04:00 PM to Mar 08, 2016 05:00 PM)
 
Event Teaming with Estonia (from Mar 08, 2016 01:00 PM to Mar 08, 2016 02:00 PM)
 
Event An Automatic Approach for Security Policies Generation (MF2, from Mar 01, 2016 01:00 PM to Mar 01, 2016 02:00 PM)
 
Event Lab Lunch - Paul Jackson (from Feb 23, 2016 01:00 PM to Feb 23, 2016 02:00 PM)
Creating finite-state abstractions of continuous systems
Event Lab Lunch - Michael Fourman (from Feb 16, 2016 01:00 PM to Feb 16, 2016 02:00 PM)
Quantifying inequality in the distribution of a binary advantage.
Document Actions