Personal tools
You are here: Home Events Previous

Previous

Past events

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.
Event Lab Lunch by Ian Stark (from Mar 31, 2015 01:30 PM to Mar 31, 2015 02:30 PM)
REMS: Rigorous Engineering for Mainstream Systems
Event Lab Lunch by Shayan Najd (from Mar 24, 2015 01:00 PM to Mar 24, 2015 02:00 PM)
Everything old is new again: Quoted Domain Specific Languages
Event LFCS seminar: Dr. Chris Heunen: Approximating transition systems (4.31/4.33, from Mar 19, 2015 11:00 AM to Mar 19, 2015 12:00 PM)
Dr. Chris Heunen, Oxford University. Approximating transition systems
Event LFCS Seminar: Andrew Drucker: Confident predictions against an adversary (IF 4.31/4.33, from Mar 17, 2015 04:00 PM to Mar 17, 2015 05:00 PM)
Andy Drucker, University of Edinburgh. Confident predictions against an adversary.
Event Lab Lunch by Mary Cryan (from Mar 17, 2015 01:00 PM to Mar 17, 2015 02:00 PM)
the Hirsch conjecture
Event Lab lunch by Adel Noureddine (from Mar 10, 2015 01:00 PM to Mar 10, 2015 02:00 PM)
Why algorithms should manage energy, not humans.
Event Lab lunch by Stephen Gilmore (from Mar 03, 2015 01:00 PM to Mar 03, 2015 02:00 PM)
Robin Milner: Private Communication
Event LFCS & Security seminar: Vincent Cheval: Timing attacks in security protocols: symbolic framework and proof techniques (IF 4.31/4.33, from Feb 26, 2015 02:00 PM to Feb 26, 2015 03:00 PM)
 
Event Lab lunch by Vashti Galpin (from Feb 24, 2015 01:00 PM to Feb 24, 2015 02:00 PM)
Modelling residential smart grids
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

Also in this section

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.
Event Lab Lunch by Ian Stark (from Mar 31, 2015 01:30 PM to Mar 31, 2015 02:30 PM)
REMS: Rigorous Engineering for Mainstream Systems
Event Lab Lunch by Shayan Najd (from Mar 24, 2015 01:00 PM to Mar 24, 2015 02:00 PM)
Everything old is new again: Quoted Domain Specific Languages
Event LFCS seminar: Dr. Chris Heunen: Approximating transition systems (4.31/4.33, from Mar 19, 2015 11:00 AM to Mar 19, 2015 12:00 PM)
Dr. Chris Heunen, Oxford University. Approximating transition systems
Event LFCS Seminar: Andrew Drucker: Confident predictions against an adversary (IF 4.31/4.33, from Mar 17, 2015 04:00 PM to Mar 17, 2015 05:00 PM)
Andy Drucker, University of Edinburgh. Confident predictions against an adversary.
Event Lab Lunch by Mary Cryan (from Mar 17, 2015 01:00 PM to Mar 17, 2015 02:00 PM)
the Hirsch conjecture
Event Lab lunch by Adel Noureddine (from Mar 10, 2015 01:00 PM to Mar 10, 2015 02:00 PM)
Why algorithms should manage energy, not humans.
Event Lab lunch by Stephen Gilmore (from Mar 03, 2015 01:00 PM to Mar 03, 2015 02:00 PM)
Robin Milner: Private Communication
Event LFCS & Security seminar: Vincent Cheval: Timing attacks in security protocols: symbolic framework and proof techniques (IF 4.31/4.33, from Feb 26, 2015 02:00 PM to Feb 26, 2015 03:00 PM)
 
Event Lab lunch by Vashti Galpin (from Feb 24, 2015 01:00 PM to Feb 24, 2015 02:00 PM)
Modelling residential smart grids
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
Document Actions