Personal tools
You are here: Home Events Previous

Previous

Past events

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)
 
Event Lab Lunch by Karoliina Lehtinen (from Apr 21, 2015 01:00 PM to Apr 21, 2015 02:00 PM)
Eliminating complexity in modal mu calculus & a brief survey of folk dancing in Edinburgh and elsewhere.
Event Lab Lunch by Richard Mayr (MF2, from Apr 21, 2015 01:00 PM to Apr 21, 2015 02:00 PM)
Minimizing nondeterministic automata: From words to trees
Event LFCS Seminar: Istvan Gyongy: Nonlinear filtering and stochastic partial differential equations (IF 2.33, from Apr 14, 2015 04:00 PM to Apr 14, 2015 05:00 PM)
 
Event Lab Lunch by Julian Bradfield (MF 2, from Apr 14, 2015 01:00 PM to Apr 14, 2015 03:00 PM)
Two short talks: "The structure of events in boolean games" and "The frustrations of shooting".
Event LFCS Seminar: Srikanth Srinivasan: Lower bounds for non-commutative skew circuits (4.31/4.33, from Apr 07, 2015 04:00 PM to Apr 07, 2015 05:00 PM)
 
Event Lab Lunch by Kyriakos Kalorkoti (from Apr 07, 2015 01:00 PM to Apr 07, 2015 02:00 PM)
Two Brief Talks: Solving Łukasiewicz mu-terms, and Photographing LFCS.

Also in this section

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)
 
Event Lab Lunch by Karoliina Lehtinen (from Apr 21, 2015 01:00 PM to Apr 21, 2015 02:00 PM)
Eliminating complexity in modal mu calculus & a brief survey of folk dancing in Edinburgh and elsewhere.
Event Lab Lunch by Richard Mayr (MF2, from Apr 21, 2015 01:00 PM to Apr 21, 2015 02:00 PM)
Minimizing nondeterministic automata: From words to trees
Event LFCS Seminar: Istvan Gyongy: Nonlinear filtering and stochastic partial differential equations (IF 2.33, from Apr 14, 2015 04:00 PM to Apr 14, 2015 05:00 PM)
 
Event Lab Lunch by Julian Bradfield (MF 2, from Apr 14, 2015 01:00 PM to Apr 14, 2015 03:00 PM)
Two short talks: "The structure of events in boolean games" and "The frustrations of shooting".
Event LFCS Seminar: Srikanth Srinivasan: Lower bounds for non-commutative skew circuits (4.31/4.33, from Apr 07, 2015 04:00 PM to Apr 07, 2015 05:00 PM)
 
Event Lab Lunch by Kyriakos Kalorkoti (from Apr 07, 2015 01:00 PM to Apr 07, 2015 02:00 PM)
Two Brief Talks: Solving Łukasiewicz mu-terms, and Photographing LFCS.
Document Actions