Personal tools
You are here: Home Events Previous

Previous

Past events

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?
Event Lab Lunch by Matteo Cavaliere (MF2, from Dec 01, 2015 01:00 PM to Dec 01, 2015 02:00 PM)
Computing by Observing
Event Lab Lunch by Malcolm Atkinson (MF2, from Nov 24, 2015 01:00 PM to Nov 24, 2015 02:00 PM)
How should we think about data-intensive federation
Event LFCS seminar: Paul Levy — Transition Systems over Games (IF 4.31/4.33, from Nov 17, 2015 04:00 PM to Nov 17, 2015 05:00 PM)
Paul Levy (University of Birmingham)
Event Lab Lunch by Vladimir Nikishkin (MF2, from Nov 17, 2015 01:00 PM to Nov 17, 2015 02:00 PM)
Recent advancements in property testing. Data mining and analysis in extreme conditions.
Event LFCS seminar: Earl Barr: Automated Software Transplantation (IF 4.31/4.33, from Nov 13, 2015 02:00 PM to Nov 13, 2015 03:00 PM)
 
Event Lab Lunch by David Aspinall (MF2, from Nov 10, 2015 01:00 PM to Nov 10, 2015 02:00 PM)
Investigatory Powers and Responsibilities
Event Lab Lunch by Anna Pappa (MF2, from Nov 03, 2015 01:00 PM to Nov 03, 2015 02:00 PM)
Nonlocality and conflicting interests
Event Lab Lunch by Chris Heunen (MF2, from Oct 27, 2015 01:00 PM to Oct 27, 2015 02:00 PM)
The child's play of quantum informatics
Event SICSA workshop on Computational Ecology (IF 4.31/33, from Oct 21, 2015 09:00 AM to Oct 21, 2015 05:00 PM)
The objective of this workshop is to bring together SICSA researchers who are currently actively working on, or interested in, developing dynamic models of ecological systems using formal modelling techniques from computer science. The workshop should also be of interest to SICSA researchers who are working on formal modelling techniques and might see this as an opportunity to learn more about potential applications in ecology, and colleagues from other disciplines (ecology, mathematical biology or bio-statistics) who might be intrigued to see what formal computational models have to offer.

Also in this section

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?
Event Lab Lunch by Matteo Cavaliere (MF2, from Dec 01, 2015 01:00 PM to Dec 01, 2015 02:00 PM)
Computing by Observing
Event Lab Lunch by Malcolm Atkinson (MF2, from Nov 24, 2015 01:00 PM to Nov 24, 2015 02:00 PM)
How should we think about data-intensive federation
Event LFCS seminar: Paul Levy — Transition Systems over Games (IF 4.31/4.33, from Nov 17, 2015 04:00 PM to Nov 17, 2015 05:00 PM)
Paul Levy (University of Birmingham)
Event Lab Lunch by Vladimir Nikishkin (MF2, from Nov 17, 2015 01:00 PM to Nov 17, 2015 02:00 PM)
Recent advancements in property testing. Data mining and analysis in extreme conditions.
Event LFCS seminar: Earl Barr: Automated Software Transplantation (IF 4.31/4.33, from Nov 13, 2015 02:00 PM to Nov 13, 2015 03:00 PM)
 
Event Lab Lunch by David Aspinall (MF2, from Nov 10, 2015 01:00 PM to Nov 10, 2015 02:00 PM)
Investigatory Powers and Responsibilities
Event Lab Lunch by Anna Pappa (MF2, from Nov 03, 2015 01:00 PM to Nov 03, 2015 02:00 PM)
Nonlocality and conflicting interests
Event Lab Lunch by Chris Heunen (MF2, from Oct 27, 2015 01:00 PM to Oct 27, 2015 02:00 PM)
The child's play of quantum informatics
Event SICSA workshop on Computational Ecology (IF 4.31/33, from Oct 21, 2015 09:00 AM to Oct 21, 2015 05:00 PM)
The objective of this workshop is to bring together SICSA researchers who are currently actively working on, or interested in, developing dynamic models of ecological systems using formal modelling techniques from computer science. The workshop should also be of interest to SICSA researchers who are working on formal modelling techniques and might see this as an opportunity to learn more about potential applications in ecology, and colleagues from other disciplines (ecology, mathematical biology or bio-statistics) who might be intrigued to see what formal computational models have to offer.
Document Actions