Personal tools
You are here: Home Events Previous

Previous

Past events

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
Event LFCS Staff-Students Networking Event (P*A*R*T*Y) (Mini Forum 2, from Dec 15, 2015 04:00 AM to Dec 20, 2015 12:00 AM)
 
Event LFCS Christmas Quiz (MF2, from Dec 15, 2015 01:00 PM to Dec 15, 2015 02:00 PM)
 
Event Lab Lunch by Perdita Stevens (MF2, from Dec 08, 2015 01:00 PM to Dec 08, 2015 02:00 PM)
What happens at an EPSRC prioritisation panel?

Also in this section

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
Event LFCS Staff-Students Networking Event (P*A*R*T*Y) (Mini Forum 2, from Dec 15, 2015 04:00 AM to Dec 20, 2015 12:00 AM)
 
Event LFCS Christmas Quiz (MF2, from Dec 15, 2015 01:00 PM to Dec 15, 2015 02:00 PM)
 
Event Lab Lunch by Perdita Stevens (MF2, from Dec 08, 2015 01:00 PM to Dec 08, 2015 02:00 PM)
What happens at an EPSRC prioritisation panel?
Document Actions