Personal tools
You are here: Home Events Previous

Previous

Past events

Event SICSA workshop on Computational Ecology (IF 4.31/33, from Oct 21, 2015 09:00 AM to Oct 21, 2015 05:00 PM)
The objective of this workshop is to bring together SICSA researchers who are currently actively working on, or interested in, developing dynamic models of ecological systems using formal modelling techniques from computer science. The workshop should also be of interest to SICSA researchers who are working on formal modelling techniques and might see this as an opportunity to learn more about potential applications in ecology, and colleagues from other disciplines (ecology, mathematical biology or bio-statistics) who might be intrigued to see what formal computational models have to offer.
Event Lab Lunch by Kami Vaniea (Miniforum 2, from Oct 20, 2015 01:00 PM to Oct 20, 2015 02:00 PM)
Updating Software
Event Lab Lunch by Sławek Staworko (Miniforum 2, from Oct 13, 2015 01:00 PM to Oct 13, 2015 02:00 PM)
Between music and roller skating
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)
 

Also in this section

Event SICSA workshop on Computational Ecology (IF 4.31/33, from Oct 21, 2015 09:00 AM to Oct 21, 2015 05:00 PM)
The objective of this workshop is to bring together SICSA researchers who are currently actively working on, or interested in, developing dynamic models of ecological systems using formal modelling techniques from computer science. The workshop should also be of interest to SICSA researchers who are working on formal modelling techniques and might see this as an opportunity to learn more about potential applications in ecology, and colleagues from other disciplines (ecology, mathematical biology or bio-statistics) who might be intrigued to see what formal computational models have to offer.
Event Lab Lunch by Kami Vaniea (Miniforum 2, from Oct 20, 2015 01:00 PM to Oct 20, 2015 02:00 PM)
Updating Software
Event Lab Lunch by Sławek Staworko (Miniforum 2, from Oct 13, 2015 01:00 PM to Oct 13, 2015 02:00 PM)
Between music and roller skating
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)
 
Document Actions