Personal tools
You are here: Home Events Previous

Previous

Past events

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
Event Jane Hillston: Athena SWAN: why it matters to you! (MF2, from Oct 09, 2012 01:00 PM to Oct 09, 2012 02:00 PM)
 
Event Mary Cryan: The number of Acyclic Orientations (MF2, from Oct 02, 2012 01:00 PM to Oct 02, 2012 02:00 PM)
 
Event Andrew D. Gordon: Probabilistic Functional Programming as a Platform for Machine Learning (G.03, from Sep 25, 2012 01:00 PM to Sep 25, 2012 02:00 PM)
 
Event LFCS Seminar: Marta Kwiatkowska (IF 4.31-33, from Sep 24, 2012 02:00 PM to Sep 24, 2012 03:00 PM)
Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking
Event Paul Jackson: Better real arithmetic provers for hybrid systems verification (from Sep 18, 2012 01:00 PM to Sep 18, 2012 02:00 PM)
 
Event LFCS Seminar: Barnaby Martin (IF 2.33 (TBC), from Sep 11, 2012 04:00 PM to Sep 11, 2012 05:00 PM)
A tetrachotomy for positive equality-free logic
Event Subramanian Ramamoorthy: In search of structure (MF 1 on Level 2, from Sep 11, 2012 01:00 PM to Sep 11, 2012 02:00 PM)
 
Event LFCS Seminar: Anindya Banerjee (IF 3.02, from Sep 05, 2012 11:00 AM to Sep 05, 2012 12:00 PM)
Modular Reasoning about Object-based Programs
Event Kyriakos Kalorkoti: The Higman Embedding Theorem (MF2, from Sep 04, 2012 01:00 PM to Sep 04, 2012 02:00 PM)
 
Event LFCS Seminar: Jean-Raymond Abrial (IF 4.31-33, from Aug 21, 2012 04:00 PM to Aug 21, 2012 05:00 PM)
Formalizing Hybrid Systems with Event-B
Event Kousha Etessami: On the complexity of comparing succinctly represented numbers (MF2, from Aug 21, 2012 01:00 PM to Aug 21, 2012 02:00 PM)
 

Also in this section

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
Event Jane Hillston: Athena SWAN: why it matters to you! (MF2, from Oct 09, 2012 01:00 PM to Oct 09, 2012 02:00 PM)
 
Event Mary Cryan: The number of Acyclic Orientations (MF2, from Oct 02, 2012 01:00 PM to Oct 02, 2012 02:00 PM)
 
Event Andrew D. Gordon: Probabilistic Functional Programming as a Platform for Machine Learning (G.03, from Sep 25, 2012 01:00 PM to Sep 25, 2012 02:00 PM)
 
Event LFCS Seminar: Marta Kwiatkowska (IF 4.31-33, from Sep 24, 2012 02:00 PM to Sep 24, 2012 03:00 PM)
Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking
Event Paul Jackson: Better real arithmetic provers for hybrid systems verification (from Sep 18, 2012 01:00 PM to Sep 18, 2012 02:00 PM)
 
Event LFCS Seminar: Barnaby Martin (IF 2.33 (TBC), from Sep 11, 2012 04:00 PM to Sep 11, 2012 05:00 PM)
A tetrachotomy for positive equality-free logic
Event Subramanian Ramamoorthy: In search of structure (MF 1 on Level 2, from Sep 11, 2012 01:00 PM to Sep 11, 2012 02:00 PM)
 
Event LFCS Seminar: Anindya Banerjee (IF 3.02, from Sep 05, 2012 11:00 AM to Sep 05, 2012 12:00 PM)
Modular Reasoning about Object-based Programs
Event Kyriakos Kalorkoti: The Higman Embedding Theorem (MF2, from Sep 04, 2012 01:00 PM to Sep 04, 2012 02:00 PM)
 
Event LFCS Seminar: Jean-Raymond Abrial (IF 4.31-33, from Aug 21, 2012 04:00 PM to Aug 21, 2012 05:00 PM)
Formalizing Hybrid Systems with Event-B
Event Kousha Etessami: On the complexity of comparing succinctly represented numbers (MF2, from Aug 21, 2012 01:00 PM to Aug 21, 2012 02:00 PM)
 
Document Actions