Personal tools
You are here: Home Events Previous

Previous

Past events

Event Lab Lunch with Keith Edwards (MF2, from Apr 11, 2017 01:00 PM to Apr 11, 2017 02:00 PM)
Title: What your Business Development Executive (BDE) can do for you
Event LFCS seminar: Ornela Dardha: Session types revisited (IF 4.31/4.33, from Apr 04, 2017 04:00 PM to Apr 04, 2017 05:00 PM)
 
Event Lab Lunch with Brian Campbell (MF2, from Apr 04, 2017 01:00 PM to Apr 04, 2017 02:00 PM)
What language should you write your next online, in-the-cloud, get rich quick scheme in? I'll talk a little about why I find blockchain systems entertaining as an interested outsider. Then I'll discuss what they are used for, the main language used in the Ethereum system for smart contracts and its problems. As it's a trendy subject, I'll mention some research on it, then attempt to shoehorn some LFCS programming language related research into it.
Event LFCS seminar: Casper Bach Poulsen: Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (IF 4.31/4.33, from Mar 23, 2017 04:00 PM to Mar 23, 2017 05:00 PM)
 
Event LFCS seminar: Dan Olteanu: In-database factorized learning (MF2, from Mar 17, 2017 10:00 AM to Mar 17, 2017 11:00 AM)
 
Event LFCS seminar: Standa Zivny: Power and limits of convex relaxations (from Mar 06, 2017 04:00 PM to Mar 06, 2017 05:00 PM)
 
Event LFCS seminar: Laurence Tratt: Fine-grained language composition (IF 4.31/4.33, from Feb 28, 2017 04:00 PM to Feb 28, 2017 05:00 PM)
 
Event LFCS seminar: Ohad Kammar: A monad for full ground reference cells (IF 4.31/4.33, from Jan 31, 2017 04:00 PM to Jan 31, 2017 05:00 PM)
 
Event LFCS seminar: Sam Tobin-Hochstadt: Typed Racket and gradual typing (IF 4.31/4.33, from Jan 24, 2017 04:00 PM to Jan 24, 2017 05:00 PM)
 
Event LFCS seminar: Andrea Cali: Searching and querying the deep web: a foundational approach (MF2 (IF4.40), from Dec 09, 2016 10:00 AM to Dec 09, 2016 11:00 AM)
 
Event LFCS seminar: Aggelos Kiayias: End-to-end verifiable elections (IF 4.31/4.33, from Dec 06, 2016 04:00 PM to Dec 06, 2016 05:00 PM)
 
Event LFCS seminar: KC Sivaramakrishnan: Practical Algebraic Effect Handlers in Multicore OCaml (IF 4.31/4.33, from Nov 22, 2016 04:00 PM to Nov 22, 2016 05:00 PM)
 
Event LFCS seminar: Zachary N. J. Peterson: Can games fix what's wrong with computer security education? (IF 4.31/4.33, from Nov 18, 2016 04:00 PM to Nov 18, 2016 05:00 PM)
 
Event LFCS seminar: Anastasis Georgoulas: Probabilistic programming process algebra (IF 4.31/4.33, from Nov 15, 2016 04:00 PM to Nov 15, 2016 05:00 PM)
 
Event LFCS seminar: Stephen Dolan: Polymorphism, subtyping and type inference in MLsub (IF 4.31/4.33, from Nov 08, 2016 04:00 PM to Nov 08, 2016 05:00 PM)
 
Event LFCS seminar: Martin Hofmann: Higher-order Buchi types (IF 4.31/4.33, from Nov 01, 2016 04:00 PM to Nov 01, 2016 05:00 PM)
 
Event LFCS seminar: Philip Scott: An introduction to many-valued logics and effect algebras (IF 4.31/4.33 , from Oct 18, 2016 04:00 PM to Oct 18, 2016 05:00 PM)
 
Event LFCS seminar: Sebastian Maneth: A survey of equivalence problems for tree transducers (IF 1.15, from Oct 06, 2016 01:00 PM to Oct 06, 2016 02:00 PM)
 
Event Welcome for new PhD students (IF 4.31/4.33 / MF2, from Sep 16, 2016 11:30 AM to Sep 16, 2016 03:00 PM)
Events to welcome doctoral students starting in the LFCS
Event LFCS seminar: Mihai Budiu: Visualizing billion-row datasets (IF 4.31/4.33, from Sep 13, 2016 04:00 PM to Sep 13, 2016 05:00 PM)
 

Also in this section

Event Lab Lunch with Keith Edwards (MF2, from Apr 11, 2017 01:00 PM to Apr 11, 2017 02:00 PM)
Title: What your Business Development Executive (BDE) can do for you
Event LFCS seminar: Ornela Dardha: Session types revisited (IF 4.31/4.33, from Apr 04, 2017 04:00 PM to Apr 04, 2017 05:00 PM)
 
Event Lab Lunch with Brian Campbell (MF2, from Apr 04, 2017 01:00 PM to Apr 04, 2017 02:00 PM)
What language should you write your next online, in-the-cloud, get rich quick scheme in? I'll talk a little about why I find blockchain systems entertaining as an interested outsider. Then I'll discuss what they are used for, the main language used in the Ethereum system for smart contracts and its problems. As it's a trendy subject, I'll mention some research on it, then attempt to shoehorn some LFCS programming language related research into it.
Event LFCS seminar: Casper Bach Poulsen: Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (IF 4.31/4.33, from Mar 23, 2017 04:00 PM to Mar 23, 2017 05:00 PM)
 
Event LFCS seminar: Dan Olteanu: In-database factorized learning (MF2, from Mar 17, 2017 10:00 AM to Mar 17, 2017 11:00 AM)
 
Event LFCS seminar: Standa Zivny: Power and limits of convex relaxations (from Mar 06, 2017 04:00 PM to Mar 06, 2017 05:00 PM)
 
Event LFCS seminar: Laurence Tratt: Fine-grained language composition (IF 4.31/4.33, from Feb 28, 2017 04:00 PM to Feb 28, 2017 05:00 PM)
 
Event LFCS seminar: Ohad Kammar: A monad for full ground reference cells (IF 4.31/4.33, from Jan 31, 2017 04:00 PM to Jan 31, 2017 05:00 PM)
 
Event LFCS seminar: Sam Tobin-Hochstadt: Typed Racket and gradual typing (IF 4.31/4.33, from Jan 24, 2017 04:00 PM to Jan 24, 2017 05:00 PM)
 
Event LFCS seminar: Andrea Cali: Searching and querying the deep web: a foundational approach (MF2 (IF4.40), from Dec 09, 2016 10:00 AM to Dec 09, 2016 11:00 AM)
 
Event LFCS seminar: Aggelos Kiayias: End-to-end verifiable elections (IF 4.31/4.33, from Dec 06, 2016 04:00 PM to Dec 06, 2016 05:00 PM)
 
Event LFCS seminar: KC Sivaramakrishnan: Practical Algebraic Effect Handlers in Multicore OCaml (IF 4.31/4.33, from Nov 22, 2016 04:00 PM to Nov 22, 2016 05:00 PM)
 
Event LFCS seminar: Zachary N. J. Peterson: Can games fix what's wrong with computer security education? (IF 4.31/4.33, from Nov 18, 2016 04:00 PM to Nov 18, 2016 05:00 PM)
 
Event LFCS seminar: Anastasis Georgoulas: Probabilistic programming process algebra (IF 4.31/4.33, from Nov 15, 2016 04:00 PM to Nov 15, 2016 05:00 PM)
 
Event LFCS seminar: Stephen Dolan: Polymorphism, subtyping and type inference in MLsub (IF 4.31/4.33, from Nov 08, 2016 04:00 PM to Nov 08, 2016 05:00 PM)
 
Event LFCS seminar: Martin Hofmann: Higher-order Buchi types (IF 4.31/4.33, from Nov 01, 2016 04:00 PM to Nov 01, 2016 05:00 PM)
 
Event LFCS seminar: Philip Scott: An introduction to many-valued logics and effect algebras (IF 4.31/4.33 , from Oct 18, 2016 04:00 PM to Oct 18, 2016 05:00 PM)
 
Event LFCS seminar: Sebastian Maneth: A survey of equivalence problems for tree transducers (IF 1.15, from Oct 06, 2016 01:00 PM to Oct 06, 2016 02:00 PM)
 
Event Welcome for new PhD students (IF 4.31/4.33 / MF2, from Sep 16, 2016 11:30 AM to Sep 16, 2016 03:00 PM)
Events to welcome doctoral students starting in the LFCS
Event LFCS seminar: Mihai Budiu: Visualizing billion-row datasets (IF 4.31/4.33, from Sep 13, 2016 04:00 PM to Sep 13, 2016 05:00 PM)
 
Document Actions