Personal tools
You are here: Home Events Previous

Previous

Past events

Event Lab Lunch by Ian Stark (from Mar 31, 2015 01:30 PM to Mar 31, 2015 02:30 PM)
REMS: Rigorous Engineering for Mainstream Systems
Event Lab Lunch by Shayan Najd (from Mar 24, 2015 01:00 PM to Mar 24, 2015 02:00 PM)
Everything old is new again: Quoted Domain Specific Languages
Event LFCS seminar: Dr. Chris Heunen: Approximating transition systems (4.31/4.33, from Mar 19, 2015 11:00 AM to Mar 19, 2015 12:00 PM)
Dr. Chris Heunen, Oxford University. Approximating transition systems
Event LFCS Seminar: Andrew Drucker: Confident predictions against an adversary (IF 4.31/4.33, from Mar 17, 2015 04:00 PM to Mar 17, 2015 05:00 PM)
Andy Drucker, University of Edinburgh. Confident predictions against an adversary.
Event Lab Lunch by Mary Cryan (from Mar 17, 2015 01:00 PM to Mar 17, 2015 02:00 PM)
the Hirsch conjecture
Event Lab lunch by Adel Noureddine (from Mar 10, 2015 01:00 PM to Mar 10, 2015 02:00 PM)
Why algorithms should manage energy, not humans.
Event Lab lunch by Stephen Gilmore (from Mar 03, 2015 01:00 PM to Mar 03, 2015 02:00 PM)
Robin Milner: Private Communication
Event LFCS & Security seminar: Vincent Cheval: Timing attacks in security protocols: symbolic framework and proof techniques (IF 4.31/4.33, from Feb 26, 2015 02:00 PM to Feb 26, 2015 03:00 PM)
 
Event Lab lunch by Vashti Galpin (from Feb 24, 2015 01:00 PM to Feb 24, 2015 02:00 PM)
Modelling residential smart grids
Event Lab lunch by Alex Simpson (from Feb 17, 2015 01:00 PM to Feb 17, 2015 02:00 PM)
Twenty-five years in LFCS
Event LFCS & security seminar: Changyu Dong: Towards Practical Data-intensive Secure Computation (IF 4.31/4.33, from Feb 12, 2015 02:00 PM to Feb 12, 2015 03:00 PM)
 
Event Lab Lunch by James McKinna (from Feb 10, 2015 01:00 PM to Feb 10, 2015 02:00 PM)
Bidirectional transformations, from a dependently-typed perspective
Event Lab Lunch by Andrew Drucker (from Feb 03, 2015 01:00 PM to Feb 03, 2015 02:00 PM)
Limits to Efficient Preprocessing
Event Lab Lunch by Daniël Reijsbergen (from Jan 27, 2015 01:00 PM to Jan 27, 2015 02:00 PM)
Recomputability of scientific experiments
Event Lab Lunch by Kousha Etessami (from Jan 20, 2015 01:00 PM to Jan 20, 2015 02:00 PM)
The complexity of computing a (quasi-)perfect equilibrium for an n-player extensive form game of perfect recall.
Event Lab Lunch by Wei Chen (from Jan 16, 2015 03:30 PM to Jan 16, 2015 03:30 PM)
Towards Understanding Behaviours of Android Applications
Event LFCS seminar by Bart Jansen (TU Eindhoven) : Characterizing the Easy-to-Find Subgraphs from the Viewpoint of Polynomial-Time Algorithms, Kernels, and Turing Kernels (IF 1.16, from Jan 16, 2015 11:00 AM to Jan 16, 2015 11:45 AM)
 
Event LFCS Seminar by Prof. James Worrell (Oxford) (IF 4.31/4.33, from Dec 02, 2014 04:00 PM to Dec 02, 2014 05:00 PM)
Positivity Problems for Linear Recurrence Sequences
Event Lab Lunch Talk by Andreas Chatzistergiou (MF2, from Nov 25, 2014 01:00 PM to Nov 25, 2014 02:00 PM)
Andreas Chatzistergiou will be our speaker. Biscuits will be provided as usual.
Event Lab Lunch Talk by Stratis Viglas (MF2, from Nov 18, 2014 01:00 PM to Nov 18, 2014 02:00 PM)
Write-limited sorts and joins for persistent memory

Also in this section

Event Lab Lunch by Ian Stark (from Mar 31, 2015 01:30 PM to Mar 31, 2015 02:30 PM)
REMS: Rigorous Engineering for Mainstream Systems
Event Lab Lunch by Shayan Najd (from Mar 24, 2015 01:00 PM to Mar 24, 2015 02:00 PM)
Everything old is new again: Quoted Domain Specific Languages
Event LFCS seminar: Dr. Chris Heunen: Approximating transition systems (4.31/4.33, from Mar 19, 2015 11:00 AM to Mar 19, 2015 12:00 PM)
Dr. Chris Heunen, Oxford University. Approximating transition systems
Event LFCS Seminar: Andrew Drucker: Confident predictions against an adversary (IF 4.31/4.33, from Mar 17, 2015 04:00 PM to Mar 17, 2015 05:00 PM)
Andy Drucker, University of Edinburgh. Confident predictions against an adversary.
Event Lab Lunch by Mary Cryan (from Mar 17, 2015 01:00 PM to Mar 17, 2015 02:00 PM)
the Hirsch conjecture
Event Lab lunch by Adel Noureddine (from Mar 10, 2015 01:00 PM to Mar 10, 2015 02:00 PM)
Why algorithms should manage energy, not humans.
Event Lab lunch by Stephen Gilmore (from Mar 03, 2015 01:00 PM to Mar 03, 2015 02:00 PM)
Robin Milner: Private Communication
Event LFCS & Security seminar: Vincent Cheval: Timing attacks in security protocols: symbolic framework and proof techniques (IF 4.31/4.33, from Feb 26, 2015 02:00 PM to Feb 26, 2015 03:00 PM)
 
Event Lab lunch by Vashti Galpin (from Feb 24, 2015 01:00 PM to Feb 24, 2015 02:00 PM)
Modelling residential smart grids
Event Lab lunch by Alex Simpson (from Feb 17, 2015 01:00 PM to Feb 17, 2015 02:00 PM)
Twenty-five years in LFCS
Event LFCS & security seminar: Changyu Dong: Towards Practical Data-intensive Secure Computation (IF 4.31/4.33, from Feb 12, 2015 02:00 PM to Feb 12, 2015 03:00 PM)
 
Event Lab Lunch by James McKinna (from Feb 10, 2015 01:00 PM to Feb 10, 2015 02:00 PM)
Bidirectional transformations, from a dependently-typed perspective
Event Lab Lunch by Andrew Drucker (from Feb 03, 2015 01:00 PM to Feb 03, 2015 02:00 PM)
Limits to Efficient Preprocessing
Event Lab Lunch by Daniël Reijsbergen (from Jan 27, 2015 01:00 PM to Jan 27, 2015 02:00 PM)
Recomputability of scientific experiments
Event Lab Lunch by Kousha Etessami (from Jan 20, 2015 01:00 PM to Jan 20, 2015 02:00 PM)
The complexity of computing a (quasi-)perfect equilibrium for an n-player extensive form game of perfect recall.
Event Lab Lunch by Wei Chen (from Jan 16, 2015 03:30 PM to Jan 16, 2015 03:30 PM)
Towards Understanding Behaviours of Android Applications
Event LFCS seminar by Bart Jansen (TU Eindhoven) : Characterizing the Easy-to-Find Subgraphs from the Viewpoint of Polynomial-Time Algorithms, Kernels, and Turing Kernels (IF 1.16, from Jan 16, 2015 11:00 AM to Jan 16, 2015 11:45 AM)
 
Event LFCS Seminar by Prof. James Worrell (Oxford) (IF 4.31/4.33, from Dec 02, 2014 04:00 PM to Dec 02, 2014 05:00 PM)
Positivity Problems for Linear Recurrence Sequences
Event Lab Lunch Talk by Andreas Chatzistergiou (MF2, from Nov 25, 2014 01:00 PM to Nov 25, 2014 02:00 PM)
Andreas Chatzistergiou will be our speaker. Biscuits will be provided as usual.
Event Lab Lunch Talk by Stratis Viglas (MF2, from Nov 18, 2014 01:00 PM to Nov 18, 2014 02:00 PM)
Write-limited sorts and joins for persistent memory
Document Actions