Personal tools
You are here: Home Events Previous

Previous

Past events

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.
Event Lab Lunch - Petros Wallden (from Feb 09, 2016 01:00 PM to Feb 09, 2016 02:00 PM)
What is quantum non-locality and how to use it to maintain privacy when you don't trust your own devices.
Event LFCS seminar: Ross Duncan: Interacting Frobenius Algebras are Hopf but Quantum Theory is not Petri-nets (IF 4.31/4.33, from Feb 02, 2016 04:00 PM to Feb 02, 2016 05:00 PM)
 
Event Lab Lunch by James Cheney (Miniforum 2, from Feb 02, 2016 01:00 PM to Feb 02, 2016 02:00 PM)
Monads and lenses
Event Lab Lunch by Tomasz Gogacz (Miniforum 2, from Jan 26, 2016 01:00 PM to Jan 26, 2016 02:00 PM)
Determination of queries by views
Event Lab Lunch by Peter Buneman (Miniforum 2, from Jan 19, 2016 01:00 PM to Jan 19, 2016 02:00 PM)
Four years of elation and frustration with rural internet

Also in this section

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.
Event Lab Lunch - Petros Wallden (from Feb 09, 2016 01:00 PM to Feb 09, 2016 02:00 PM)
What is quantum non-locality and how to use it to maintain privacy when you don't trust your own devices.
Event LFCS seminar: Ross Duncan: Interacting Frobenius Algebras are Hopf but Quantum Theory is not Petri-nets (IF 4.31/4.33, from Feb 02, 2016 04:00 PM to Feb 02, 2016 05:00 PM)
 
Event Lab Lunch by James Cheney (Miniforum 2, from Feb 02, 2016 01:00 PM to Feb 02, 2016 02:00 PM)
Monads and lenses
Event Lab Lunch by Tomasz Gogacz (Miniforum 2, from Jan 26, 2016 01:00 PM to Jan 26, 2016 02:00 PM)
Determination of queries by views
Event Lab Lunch by Peter Buneman (Miniforum 2, from Jan 19, 2016 01:00 PM to Jan 19, 2016 02:00 PM)
Four years of elation and frustration with rural internet
Document Actions