Personal tools
You are here: Home Events Previous

Previous

Past events

Event LFCS seminar: Richard Mayr: On strong determinacy of countable stochastic games (IF 4.31/4.33, from May 23, 2017 04:00 PM to May 23, 2017 05:00 PM)
 
Event LFCS seminar: Marcin Jurdzinski: Succinct progress measures and solving parity games in quasi-polynomial time (IF 4.31/4.33, from May 09, 2017 04:00 PM to May 09, 2017 05:00 PM)
 
Event LFCS seminar: Dan Ghica: Diagrammatic Operational Semantics for Digital Circuits (IF 4.31/4.33, from May 05, 2017 04:00 PM to May 05, 2017 05:00 PM)
 
Event LFCS/CISA seminar: Ian Horrocks: Scalable reasoning for semantic technologies (IF 4.31/4.33, from Apr 28, 2017 03:00 PM to Apr 28, 2017 04:00 PM)
 
Event Lab Lunch with Walid Magdy (MF2, from Apr 25, 2017 01:00 PM to Apr 25, 2017 02:00 PM)
Title: What can we learn from Big Social Data?
Event Lab Lunch with Steve Renals (MF2, from Apr 18, 2017 01:00 PM to Apr 18, 2017 02:00 PM)
Title: REF-2021
Event LFCS seminar: Edwin Brady: State machines all the way down (IF 4.31/4.33, from Apr 12, 2017 04:00 PM to Apr 12, 2017 05:00 PM)
 
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)
 

Also in this section

Event LFCS seminar: Richard Mayr: On strong determinacy of countable stochastic games (IF 4.31/4.33, from May 23, 2017 04:00 PM to May 23, 2017 05:00 PM)
 
Event LFCS seminar: Marcin Jurdzinski: Succinct progress measures and solving parity games in quasi-polynomial time (IF 4.31/4.33, from May 09, 2017 04:00 PM to May 09, 2017 05:00 PM)
 
Event LFCS seminar: Dan Ghica: Diagrammatic Operational Semantics for Digital Circuits (IF 4.31/4.33, from May 05, 2017 04:00 PM to May 05, 2017 05:00 PM)
 
Event LFCS/CISA seminar: Ian Horrocks: Scalable reasoning for semantic technologies (IF 4.31/4.33, from Apr 28, 2017 03:00 PM to Apr 28, 2017 04:00 PM)
 
Event Lab Lunch with Walid Magdy (MF2, from Apr 25, 2017 01:00 PM to Apr 25, 2017 02:00 PM)
Title: What can we learn from Big Social Data?
Event Lab Lunch with Steve Renals (MF2, from Apr 18, 2017 01:00 PM to Apr 18, 2017 02:00 PM)
Title: REF-2021
Event LFCS seminar: Edwin Brady: State machines all the way down (IF 4.31/4.33, from Apr 12, 2017 04:00 PM to Apr 12, 2017 05:00 PM)
 
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)
 
Document Actions