Personal tools
You are here: Home Events Previous

Previous

Past events

Event LFCS Seminar: Alan Mislove: Measuring personalization of online services (IF 2.33, from Oct 12, 2015 02:00 PM to Oct 12, 2015 03:00 PM)
 
Event Lab lunch by Sebastian Maneth (MF2, from Oct 06, 2015 01:10 PM to Oct 06, 2015 02:00 PM)
Sebastian Maneth will speak about Formal Graph Language Theory. Biscuits will be arranged by Fabian Peternek.
Event Lab Lunch by Wilmer Ricciotti (MF2, from Sep 29, 2015 01:10 PM to Sep 29, 2015 02:00 PM)
Wilmer Ricciotti will speak about Formal Language Theory in MF2. Biscuits as usual by Fabian Peternek.
Event Random Coordinate Descent Methods for Minimizing Decomposable Submodular Functions (IF 4.31, from Sep 22, 2015 04:00 PM to Sep 22, 2015 05:00 PM)
LFCS Seminar by Dr. Alina Ene (Warwick)
Event Welcoming new LFCS PhD students - Induction day and Pizza lunch (Informatics Forum IF2.33 and MF1, from Sep 18, 2015 12:30 PM to Sep 18, 2015 02:00 PM)
 
Event Milner Lecture 2015: Privacy in the Land of Plenty by Dr. Cynthia Dwork (Informatics Forum G.07, from Sep 10, 2015 04:00 PM to Sep 10, 2015 05:00 PM)
 
Event LFCS BBQ 2015! (Mini Forum 2, from Jul 21, 2015 05:30 PM to Jul 21, 2015 07:00 PM)
 
Event Lab Lunch by Jonh Longley (from Jul 07, 2015 01:00 PM to Jul 07, 2015 01:55 PM)
The recursion hierarchy for PCF is strict
Event LFCS Seminar: Ilario Bonacina: Strong Size Lower bounds in Resolution via Games (IF 2.33, from Jun 24, 2015 03:00 PM to Jun 24, 2015 04:00 PM)
Ilario Bonacina, Sapienza University of Rome
Event Lab Lunch by Conor McBride (from Jun 16, 2015 01:00 PM to Jun 16, 2015 02:00 PM)
 
Event Lab Lunch by Rahul Santhanam (MF2, from Jun 09, 2015 01:00 PM to Jun 09, 2015 02:00 PM)
 
Event LFCS seminar: Shan Lin: MPC for Urban Transportation Systems (IF 2.33, from Jun 05, 2015 10:30 AM to Jun 05, 2015 11:30 AM)
Shan Lin, Deaprtment of ECE, Stony Brook University
Event LFCS seminar: Neelakantan (Neel) Krishnaswami: Curry-Howard for GUIs via Linear Temporal Classical Linear Logic (from May 19, 2015 04:00 PM to May 19, 2015 05:00 PM)
 
Event Lab Lunch by Jane Hillston (MF2, from May 19, 2015 01:00 PM to May 19, 2015 02:00 PM)
 
Event Lab Lunch by Brian Campbell (from May 12, 2015 01:00 PM to May 12, 2015 02:00 PM)
 
Event LFCS seminar : Magnus Myreen: CakeML: a formally verified implementation of ML (IF 2.33, from May 11, 2015 04:00 PM to May 11, 2015 05:00 PM)
 
Event Lab Lunch by Danel Ahman (MF2, from May 05, 2015 01:00 PM to May 05, 2015 02:00 PM)
 
Event LFCS Seminar: Francisco Ortin: Design and Implementation of an Efficient Hybrid Static and Dynamic Typing Language (4.31/4.33, from Apr 30, 2015 04:00 PM to Apr 30, 2015 04:00 PM)
 
Event LFCS Seminar: Fredrik Nordvall Forsberg: Inductive-inductive definitions in Type Theory (4.31/4.33, from Apr 28, 2015 04:00 PM to Apr 28, 2015 05:00 PM)
Fredrik Nordvall Forsberg, University of Strathclyde
Event LFCS Away Day 2015 (Edinburgh Centre for Carbon Innovation, from Apr 24, 2015 09:00 AM to Apr 24, 2015 05:00 PM)
 

Also in this section

Event LFCS Seminar: Alan Mislove: Measuring personalization of online services (IF 2.33, from Oct 12, 2015 02:00 PM to Oct 12, 2015 03:00 PM)
 
Event Lab lunch by Sebastian Maneth (MF2, from Oct 06, 2015 01:10 PM to Oct 06, 2015 02:00 PM)
Sebastian Maneth will speak about Formal Graph Language Theory. Biscuits will be arranged by Fabian Peternek.
Event Lab Lunch by Wilmer Ricciotti (MF2, from Sep 29, 2015 01:10 PM to Sep 29, 2015 02:00 PM)
Wilmer Ricciotti will speak about Formal Language Theory in MF2. Biscuits as usual by Fabian Peternek.
Event Random Coordinate Descent Methods for Minimizing Decomposable Submodular Functions (IF 4.31, from Sep 22, 2015 04:00 PM to Sep 22, 2015 05:00 PM)
LFCS Seminar by Dr. Alina Ene (Warwick)
Event Welcoming new LFCS PhD students - Induction day and Pizza lunch (Informatics Forum IF2.33 and MF1, from Sep 18, 2015 12:30 PM to Sep 18, 2015 02:00 PM)
 
Event Milner Lecture 2015: Privacy in the Land of Plenty by Dr. Cynthia Dwork (Informatics Forum G.07, from Sep 10, 2015 04:00 PM to Sep 10, 2015 05:00 PM)
 
Event LFCS BBQ 2015! (Mini Forum 2, from Jul 21, 2015 05:30 PM to Jul 21, 2015 07:00 PM)
 
Event Lab Lunch by Jonh Longley (from Jul 07, 2015 01:00 PM to Jul 07, 2015 01:55 PM)
The recursion hierarchy for PCF is strict
Event LFCS Seminar: Ilario Bonacina: Strong Size Lower bounds in Resolution via Games (IF 2.33, from Jun 24, 2015 03:00 PM to Jun 24, 2015 04:00 PM)
Ilario Bonacina, Sapienza University of Rome
Event Lab Lunch by Conor McBride (from Jun 16, 2015 01:00 PM to Jun 16, 2015 02:00 PM)
 
Event Lab Lunch by Rahul Santhanam (MF2, from Jun 09, 2015 01:00 PM to Jun 09, 2015 02:00 PM)
 
Event LFCS seminar: Shan Lin: MPC for Urban Transportation Systems (IF 2.33, from Jun 05, 2015 10:30 AM to Jun 05, 2015 11:30 AM)
Shan Lin, Deaprtment of ECE, Stony Brook University
Event LFCS seminar: Neelakantan (Neel) Krishnaswami: Curry-Howard for GUIs via Linear Temporal Classical Linear Logic (from May 19, 2015 04:00 PM to May 19, 2015 05:00 PM)
 
Event Lab Lunch by Jane Hillston (MF2, from May 19, 2015 01:00 PM to May 19, 2015 02:00 PM)
 
Event Lab Lunch by Brian Campbell (from May 12, 2015 01:00 PM to May 12, 2015 02:00 PM)
 
Event LFCS seminar : Magnus Myreen: CakeML: a formally verified implementation of ML (IF 2.33, from May 11, 2015 04:00 PM to May 11, 2015 05:00 PM)
 
Event Lab Lunch by Danel Ahman (MF2, from May 05, 2015 01:00 PM to May 05, 2015 02:00 PM)
 
Event LFCS Seminar: Francisco Ortin: Design and Implementation of an Efficient Hybrid Static and Dynamic Typing Language (4.31/4.33, from Apr 30, 2015 04:00 PM to Apr 30, 2015 04:00 PM)
 
Event LFCS Seminar: Fredrik Nordvall Forsberg: Inductive-inductive definitions in Type Theory (4.31/4.33, from Apr 28, 2015 04:00 PM to Apr 28, 2015 05:00 PM)
Fredrik Nordvall Forsberg, University of Strathclyde
Event LFCS Away Day 2015 (Edinburgh Centre for Carbon Innovation, from Apr 24, 2015 09:00 AM to Apr 24, 2015 05:00 PM)
 
Document Actions