Personal tools
You are here: Home Events Previous

Previous

Past events

Event LFCS Seminar: Mihalis Yannakakis (from Jul 16, 2013 04:00 PM to Jul 16, 2013 05:00 PM)
The Complexity of Non-Monotone Markets
Event LFCS Seminar: Fritz Henglein (IF 4.31-33, from Jun 27, 2013 04:00 PM to Jun 27, 2013 05:00 PM)
Towards generic distributive sorting and searching
Event LFCS Seminar: Danel Ahman (from Jun 11, 2013 04:00 PM to Jun 11, 2013 05:00 PM)
Normalization by evaluation and algebraic effects
Event LFCS Seminar: Pawel Sobocinski (IF 4.31-33, from May 31, 2013 03:10 PM to May 31, 2013 04:10 PM)
Algebras of Petri Nets
Event LFCS Seminar: Jonathan Hayman (IF 2.33, from May 23, 2013 04:00 PM to May 23, 2013 05:00 PM)
SPO semantics and filtered compression for Kappa
Event LFCS Seminar: Elias Koutsoupias (IF 4.31-33, from May 21, 2013 04:00 PM to May 21, 2013 05:00 PM)
Near-optimal multi-unit auctions with ordered bidders
Event LFCS Seminar: Eugene Asarin (IF 2.33, from May 13, 2013 04:00 PM to May 13, 2013 05:00 PM)
Volume and entropy of regular timed languages
Event LFCS Seminar: James Brotherston (IF 4.02, from May 08, 2013 04:00 PM to May 08, 2013 05:00 PM)
Cyclic Abduction of Inductive Safety & Termination Preconditions
Event LFCS Seminar: Gerome Miklau (IF 4.31-33, from May 07, 2013 04:00 PM to May 07, 2013 05:00 PM)
Managing Sensitive Personal Data: Protection or Profit?
Event LFCS/CISA Joint Seminar: Stefan Hetzl (IF 2.33, from May 06, 2013 02:00 PM to May 06, 2013 03:00 PM)
Algorithmic Introduction of Quantified Cuts
Event LFCS Seminar: Sara Kalvala (IF 4.31-33 , from Apr 30, 2013 04:00 PM to Apr 30, 2013 05:00 PM)
Compilation Issues in Synthetic Biology
Event Lab Lunch by Grant Olney Passmore (4.31/4.33, from Apr 23, 2013 01:00 PM to Apr 23, 2013 02:00 PM)
Making my new album, Hypnosis for Happiness
Event LFCS Seminar: Randy Pollack (IF 4.31-33, from Apr 18, 2013 02:00 PM to Apr 18, 2013 03:00 PM)
Viewing Lambda Terms Through Maps
Event LFCS Seminar: Sam Staton (IF 4.31-33, from Apr 16, 2013 04:00 PM to Apr 16, 2013 05:00 PM)
Instances of computational effects -- an algebraic perspective
Event Lab Lunch by Cristina-Adriana Alexandru (MF2, from Apr 09, 2013 01:00 PM to Apr 09, 2013 02:00 PM)
Using Modelling and Simulation to Predict the Efficiency of Telemedicine Systems in Different Deployments
Event LFCS 'Away Day' (Royal Botanic Garden Edinburgh, from Apr 05, 2013 09:00 AM to Apr 05, 2013 05:00 PM)
 
Event Lab Lunch by Chiranjit Chakraborty (MF2, from Mar 26, 2013 01:00 PM to Mar 26, 2013 02:00 PM)
Instance compression and Counting hierarchy
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

Also in this section

Event LFCS Seminar: Mihalis Yannakakis (from Jul 16, 2013 04:00 PM to Jul 16, 2013 05:00 PM)
The Complexity of Non-Monotone Markets
Event LFCS Seminar: Fritz Henglein (IF 4.31-33, from Jun 27, 2013 04:00 PM to Jun 27, 2013 05:00 PM)
Towards generic distributive sorting and searching
Event LFCS Seminar: Danel Ahman (from Jun 11, 2013 04:00 PM to Jun 11, 2013 05:00 PM)
Normalization by evaluation and algebraic effects
Event LFCS Seminar: Pawel Sobocinski (IF 4.31-33, from May 31, 2013 03:10 PM to May 31, 2013 04:10 PM)
Algebras of Petri Nets
Event LFCS Seminar: Jonathan Hayman (IF 2.33, from May 23, 2013 04:00 PM to May 23, 2013 05:00 PM)
SPO semantics and filtered compression for Kappa
Event LFCS Seminar: Elias Koutsoupias (IF 4.31-33, from May 21, 2013 04:00 PM to May 21, 2013 05:00 PM)
Near-optimal multi-unit auctions with ordered bidders
Event LFCS Seminar: Eugene Asarin (IF 2.33, from May 13, 2013 04:00 PM to May 13, 2013 05:00 PM)
Volume and entropy of regular timed languages
Event LFCS Seminar: James Brotherston (IF 4.02, from May 08, 2013 04:00 PM to May 08, 2013 05:00 PM)
Cyclic Abduction of Inductive Safety & Termination Preconditions
Event LFCS Seminar: Gerome Miklau (IF 4.31-33, from May 07, 2013 04:00 PM to May 07, 2013 05:00 PM)
Managing Sensitive Personal Data: Protection or Profit?
Event LFCS/CISA Joint Seminar: Stefan Hetzl (IF 2.33, from May 06, 2013 02:00 PM to May 06, 2013 03:00 PM)
Algorithmic Introduction of Quantified Cuts
Event LFCS Seminar: Sara Kalvala (IF 4.31-33 , from Apr 30, 2013 04:00 PM to Apr 30, 2013 05:00 PM)
Compilation Issues in Synthetic Biology
Event Lab Lunch by Grant Olney Passmore (4.31/4.33, from Apr 23, 2013 01:00 PM to Apr 23, 2013 02:00 PM)
Making my new album, Hypnosis for Happiness
Event LFCS Seminar: Randy Pollack (IF 4.31-33, from Apr 18, 2013 02:00 PM to Apr 18, 2013 03:00 PM)
Viewing Lambda Terms Through Maps
Event LFCS Seminar: Sam Staton (IF 4.31-33, from Apr 16, 2013 04:00 PM to Apr 16, 2013 05:00 PM)
Instances of computational effects -- an algebraic perspective
Event Lab Lunch by Cristina-Adriana Alexandru (MF2, from Apr 09, 2013 01:00 PM to Apr 09, 2013 02:00 PM)
Using Modelling and Simulation to Predict the Efficiency of Telemedicine Systems in Different Deployments
Event LFCS 'Away Day' (Royal Botanic Garden Edinburgh, from Apr 05, 2013 09:00 AM to Apr 05, 2013 05:00 PM)
 
Event Lab Lunch by Chiranjit Chakraborty (MF2, from Mar 26, 2013 01:00 PM to Mar 26, 2013 02:00 PM)
Instance compression and Counting hierarchy
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
Document Actions