Personal tools
You are here: Home Events Previous

Previous

Past events

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
Event LFCS Seminar by Prof. Josef Svenningsson (Chalmers) (IF 4.31/4.33, from Nov 18, 2014 04:00 AM to Nov 18, 2014 05:00 AM)
 
Event LFCS Seminar by Alex Labrinidis (University of Pittsburgh) (IF 4.31/4.33, from Nov 13, 2014 04:00 PM to Nov 13, 2014 05:00 PM)
Handling Big Streaming Data with DILoS
Event LFCS Seminar by Dr. Matteo Mio (IF 4.31/4.33, from Nov 11, 2014 04:00 PM to Nov 11, 2014 05:00 PM)
Convex Bisimilarity and Probabilistic Concurrent Systems
Event Lab Lunch Talk by Anastasis Georgoulas (MF2, from Nov 11, 2014 01:00 PM to Nov 11, 2014 02:00 PM)
Machine Learning for Formal Dynamical Systems
Event Lab Lunch Talk by Matteo Cavaliere (MF2, from Nov 04, 2014 01:00 PM to Nov 04, 2014 02:00 PM)
The Rise and Fall of Cooperative Communities (and why Prosperity may be Associated with Instability)
Event LFCS Seminar by NIshanth Sastry : On social information sensing & curation (4.31-4.33, from Oct 28, 2014 04:00 PM to Oct 28, 2014 05:00 PM)
 
Event Lab Lunch Talk by Nassim Seghir (MF2, from Oct 28, 2014 01:00 PM to Oct 28, 2014 02:00 PM)
Nassim Seghir will give a lab lunch talk on Verification and Certification of Android Apps
Event LFCS Seminar by Reiko Heckel: Rigid Graphs for Adaptive Networks (4.31-4.33, from Oct 21, 2014 04:00 PM to Oct 21, 2014 05:00 PM)
 
Event Lab Lunch with Daniel Franzen (MF2, from Oct 21, 2014 01:00 PM to Oct 21, 2014 02:00 PM)
Daniel Franzen will be our speaker. Biscuits will be provided as usual.

Also in this section

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
Event LFCS Seminar by Prof. Josef Svenningsson (Chalmers) (IF 4.31/4.33, from Nov 18, 2014 04:00 AM to Nov 18, 2014 05:00 AM)
 
Event LFCS Seminar by Alex Labrinidis (University of Pittsburgh) (IF 4.31/4.33, from Nov 13, 2014 04:00 PM to Nov 13, 2014 05:00 PM)
Handling Big Streaming Data with DILoS
Event LFCS Seminar by Dr. Matteo Mio (IF 4.31/4.33, from Nov 11, 2014 04:00 PM to Nov 11, 2014 05:00 PM)
Convex Bisimilarity and Probabilistic Concurrent Systems
Event Lab Lunch Talk by Anastasis Georgoulas (MF2, from Nov 11, 2014 01:00 PM to Nov 11, 2014 02:00 PM)
Machine Learning for Formal Dynamical Systems
Event Lab Lunch Talk by Matteo Cavaliere (MF2, from Nov 04, 2014 01:00 PM to Nov 04, 2014 02:00 PM)
The Rise and Fall of Cooperative Communities (and why Prosperity may be Associated with Instability)
Event LFCS Seminar by NIshanth Sastry : On social information sensing & curation (4.31-4.33, from Oct 28, 2014 04:00 PM to Oct 28, 2014 05:00 PM)
 
Event Lab Lunch Talk by Nassim Seghir (MF2, from Oct 28, 2014 01:00 PM to Oct 28, 2014 02:00 PM)
Nassim Seghir will give a lab lunch talk on Verification and Certification of Android Apps
Event LFCS Seminar by Reiko Heckel: Rigid Graphs for Adaptive Networks (4.31-4.33, from Oct 21, 2014 04:00 PM to Oct 21, 2014 05:00 PM)
 
Event Lab Lunch with Daniel Franzen (MF2, from Oct 21, 2014 01:00 PM to Oct 21, 2014 02:00 PM)
Daniel Franzen will be our speaker. Biscuits will be provided as usual.
Document Actions