Personal tools
You are here: Home Events Previous

Previous

Past events

Event LFCS Seminar: Paolo Zuliani (IF 4.31-33, from Mar 12, 2013 04:00 PM to Mar 12, 2013 05:00 PM)
Verification of Stochastic Systems by Statistical Model Checking
Event LFCS Seminar: Julian Gutierrez (IF 2.33, from Mar 12, 2013 10:00 AM to Mar 12, 2013 11:00 AM)
Determinacy for concurrent games on event structures
Event LFCS Seminar: Julian Gutierrez (IF 2.33, from Mar 12, 2013 10:00 AM to Mar 12, 2013 11:00 AM)
Determinacy for concurrent games on event structures
Event Lab Lunch by Kyriakos Kalorkoti (MF2, from Mar 11, 2013 01:00 PM to Mar 11, 2013 02:00 PM)
Making Photographs in the Highlands in the Shadow of History
Event Lab Lunch talk by Ilias Garnier (MF2, from Mar 05, 2013 01:05 PM to Mar 05, 2013 02:00 PM)
Application of space-partitioning techniques to ray-tracing.
Event LFCS Seminar: Conor McBride (IF 4.31-4.33, from Feb 26, 2013 04:00 PM to Feb 26, 2013 05:00 PM)
Do Be Do Be Do (Smooth Effect and Value Polymorphism with Frank)
Event Lab Lunch talk by Diego Figueira (G.03, from Feb 26, 2013 01:05 PM to Feb 26, 2013 02:00 PM)
50 shades of bread
Event LFCS Seminar: Andrei Sabelfeld (IF 4.31-33, from Feb 19, 2013 04:00 PM to Feb 19, 2013 05:00 PM)
Tracking information flow in web applications
Event Lab Lunch talk by Wenyuan Yu (G.03, from Feb 19, 2013 01:05 PM to Feb 19, 2013 02:05 PM)
Incremental Detection of Inconsistencies in Distributed Data
Event Lab Lunch talk by James McKinna (G.03, from Feb 12, 2013 01:05 PM to Feb 12, 2013 02:05 PM)
Provisionally entitled: 'provisionality'; cognitive dimensions of programming-as-proof-search
Event LFCS Seminar: Richard Mayr (from Feb 05, 2013 04:00 PM to Feb 05, 2013 05:00 PM)
Automata Minimization and Language Inclusion Checking
Event Lab Lunch talk by Liz Elliot (MF2, from Feb 05, 2013 01:05 PM to Feb 05, 2013 02:00 PM)
Institutes and money
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

Also in this section

Event LFCS Seminar: Paolo Zuliani (IF 4.31-33, from Mar 12, 2013 04:00 PM to Mar 12, 2013 05:00 PM)
Verification of Stochastic Systems by Statistical Model Checking
Event LFCS Seminar: Julian Gutierrez (IF 2.33, from Mar 12, 2013 10:00 AM to Mar 12, 2013 11:00 AM)
Determinacy for concurrent games on event structures
Event LFCS Seminar: Julian Gutierrez (IF 2.33, from Mar 12, 2013 10:00 AM to Mar 12, 2013 11:00 AM)
Determinacy for concurrent games on event structures
Event Lab Lunch by Kyriakos Kalorkoti (MF2, from Mar 11, 2013 01:00 PM to Mar 11, 2013 02:00 PM)
Making Photographs in the Highlands in the Shadow of History
Event Lab Lunch talk by Ilias Garnier (MF2, from Mar 05, 2013 01:05 PM to Mar 05, 2013 02:00 PM)
Application of space-partitioning techniques to ray-tracing.
Event LFCS Seminar: Conor McBride (IF 4.31-4.33, from Feb 26, 2013 04:00 PM to Feb 26, 2013 05:00 PM)
Do Be Do Be Do (Smooth Effect and Value Polymorphism with Frank)
Event Lab Lunch talk by Diego Figueira (G.03, from Feb 26, 2013 01:05 PM to Feb 26, 2013 02:00 PM)
50 shades of bread
Event LFCS Seminar: Andrei Sabelfeld (IF 4.31-33, from Feb 19, 2013 04:00 PM to Feb 19, 2013 05:00 PM)
Tracking information flow in web applications
Event Lab Lunch talk by Wenyuan Yu (G.03, from Feb 19, 2013 01:05 PM to Feb 19, 2013 02:05 PM)
Incremental Detection of Inconsistencies in Distributed Data
Event Lab Lunch talk by James McKinna (G.03, from Feb 12, 2013 01:05 PM to Feb 12, 2013 02:05 PM)
Provisionally entitled: 'provisionality'; cognitive dimensions of programming-as-proof-search
Event LFCS Seminar: Richard Mayr (from Feb 05, 2013 04:00 PM to Feb 05, 2013 05:00 PM)
Automata Minimization and Language Inclusion Checking
Event Lab Lunch talk by Liz Elliot (MF2, from Feb 05, 2013 01:05 PM to Feb 05, 2013 02:00 PM)
Institutes and money
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
Document Actions