Personal tools
You are here: Home Events Previous

Previous

Past events

Event LFCS Seminar: Jari Stenman (IF 2.33, from Jan 29, 2013 04:00 PM to Jan 29, 2013 05:00 PM)
Timed Pushdown Automata
Event Lab Lunch talk by Vashti Galpin (MF2, from Jan 29, 2013 01:05 PM to Jan 29, 2013 02:00 PM)
Hybridising PEPA and beyond
Event Lab Lunch talk by Dimitrios Milios (MF2, from Jan 22, 2013 01:05 PM to Jan 22, 2013 02:00 PM)
Markov Chain Simulation with Fewer Random Samples
Event Lab Lunch talk by Brian Campbell (MF2, from Jan 15, 2013 01:05 PM to Jan 15, 2013 02:00 PM)
Trip report: Certified Programs and Proofs 2012
Event Lab Lunch: Stuart Anderson - SFC Innovation Centres, a Digital Health Institute and some of the problems it faces (MF2, from Jan 08, 2013 01:00 PM to Jan 08, 2013 02:00 PM)
 
Event The LFCS End-of-Year Quiz (MF2, from Dec 18, 2012 01:00 PM to Dec 18, 2012 02:00 PM)
 
Event Lab Lunch: Fabian Nagel - Recycling in Pipelined Query Evaluation (MF2, from Dec 11, 2012 01:00 PM to Dec 11, 2012 02:00 PM)
 
Event LFCS Seminar: Neel Krishnaswami (from Dec 07, 2012 10:00 AM to Dec 07, 2012 11:00 AM)
Simple and Efficient Higher-Order Reactive Programming
Event Lab Lunch: Ilias Diakonikolas - Inverse Problems for Power Indices in Weighted Voting Games (MF2, from Dec 04, 2012 01:00 PM to Dec 04, 2012 02:00 PM)
 
Event Alex Simpson: T with Turing and Euclid (from Nov 27, 2012 01:00 PM to Nov 27, 2012 02:00 PM)
 
Event LFCS Seminar: Edwin Brady (from Nov 20, 2012 04:00 PM to Nov 20, 2012 05:00 PM)
Idris: General Purpose Programming with Dependent Types
Event Rik Sarkar: Ricci Flow in Sensor Networks - Applications in Routing and Distributed Storage (MF2, from Nov 20, 2012 01:00 PM to Nov 20, 2012 02:00 PM)
 
Event Allan Clark: The economics of well-being (MF2, from Nov 13, 2012 01:00 PM to Nov 13, 2012 02:00 PM)
 
Event LFCS Seminar: Luca Cardelli (IF 4.31-4.33, from Nov 06, 2012 04:00 PM to Nov 06, 2012 05:00 PM)
The Cell Cycle Switch Computes Approximate Majority
Event Elham Kashefi: The experimental verification of a quantum computer (still with 4 qubits) (MF2, from Nov 06, 2012 01:00 PM to Nov 06, 2012 02:00 PM)
 
Event James Cheney: How not to prove termination (MF2, from Oct 30, 2012 01:00 PM to Oct 30, 2012 02:00 PM)
 
Event LFCS Seminar: Vashti Galpin (IF 4.31-4.33, from Oct 23, 2012 04:00 PM to Oct 23, 2012 05:00 PM)
Stochastic HYPE: a stochastic hybrid process algebra
Event Perdita Stevens: Musings and rants on modern educational trends (MF2, from Oct 23, 2012 01:00 PM to Oct 23, 2012 02:00 PM)
 
Event John Longley: Automarker Theory (MF2, from Oct 16, 2012 01:00 PM to Oct 16, 2012 02:00 PM)
 
Event LFCS Seminar: Richard Hayden (IF 4.31-4.33, from Oct 09, 2012 03:00 PM to Oct 09, 2012 04:00 PM)
Scalable Performance Analysis of Massively Parallel Stochastic Systems

Also in this section

Event LFCS Seminar: Jari Stenman (IF 2.33, from Jan 29, 2013 04:00 PM to Jan 29, 2013 05:00 PM)
Timed Pushdown Automata
Event Lab Lunch talk by Vashti Galpin (MF2, from Jan 29, 2013 01:05 PM to Jan 29, 2013 02:00 PM)
Hybridising PEPA and beyond
Event Lab Lunch talk by Dimitrios Milios (MF2, from Jan 22, 2013 01:05 PM to Jan 22, 2013 02:00 PM)
Markov Chain Simulation with Fewer Random Samples
Event Lab Lunch talk by Brian Campbell (MF2, from Jan 15, 2013 01:05 PM to Jan 15, 2013 02:00 PM)
Trip report: Certified Programs and Proofs 2012
Event Lab Lunch: Stuart Anderson - SFC Innovation Centres, a Digital Health Institute and some of the problems it faces (MF2, from Jan 08, 2013 01:00 PM to Jan 08, 2013 02:00 PM)
 
Event The LFCS End-of-Year Quiz (MF2, from Dec 18, 2012 01:00 PM to Dec 18, 2012 02:00 PM)
 
Event Lab Lunch: Fabian Nagel - Recycling in Pipelined Query Evaluation (MF2, from Dec 11, 2012 01:00 PM to Dec 11, 2012 02:00 PM)
 
Event LFCS Seminar: Neel Krishnaswami (from Dec 07, 2012 10:00 AM to Dec 07, 2012 11:00 AM)
Simple and Efficient Higher-Order Reactive Programming
Event Lab Lunch: Ilias Diakonikolas - Inverse Problems for Power Indices in Weighted Voting Games (MF2, from Dec 04, 2012 01:00 PM to Dec 04, 2012 02:00 PM)
 
Event Alex Simpson: T with Turing and Euclid (from Nov 27, 2012 01:00 PM to Nov 27, 2012 02:00 PM)
 
Event LFCS Seminar: Edwin Brady (from Nov 20, 2012 04:00 PM to Nov 20, 2012 05:00 PM)
Idris: General Purpose Programming with Dependent Types
Event Rik Sarkar: Ricci Flow in Sensor Networks - Applications in Routing and Distributed Storage (MF2, from Nov 20, 2012 01:00 PM to Nov 20, 2012 02:00 PM)
 
Event Allan Clark: The economics of well-being (MF2, from Nov 13, 2012 01:00 PM to Nov 13, 2012 02:00 PM)
 
Event LFCS Seminar: Luca Cardelli (IF 4.31-4.33, from Nov 06, 2012 04:00 PM to Nov 06, 2012 05:00 PM)
The Cell Cycle Switch Computes Approximate Majority
Event Elham Kashefi: The experimental verification of a quantum computer (still with 4 qubits) (MF2, from Nov 06, 2012 01:00 PM to Nov 06, 2012 02:00 PM)
 
Event James Cheney: How not to prove termination (MF2, from Oct 30, 2012 01:00 PM to Oct 30, 2012 02:00 PM)
 
Event LFCS Seminar: Vashti Galpin (IF 4.31-4.33, from Oct 23, 2012 04:00 PM to Oct 23, 2012 05:00 PM)
Stochastic HYPE: a stochastic hybrid process algebra
Event Perdita Stevens: Musings and rants on modern educational trends (MF2, from Oct 23, 2012 01:00 PM to Oct 23, 2012 02:00 PM)
 
Event John Longley: Automarker Theory (MF2, from Oct 16, 2012 01:00 PM to Oct 16, 2012 02:00 PM)
 
Event LFCS Seminar: Richard Hayden (IF 4.31-4.33, from Oct 09, 2012 03:00 PM to Oct 09, 2012 04:00 PM)
Scalable Performance Analysis of Massively Parallel Stochastic Systems
Document Actions