Personal tools
You are here: Home Events Previous

Previous

Past events

Event LFCS seminar: Jiawei Han: Mining structures from massive text data: a data-driven approach (AT 2.12, from Jul 17, 2017 02:00 PM to Jul 17, 2017 03:00 PM)
 
Event LFCS seminar: Nicolas Wu: Syntax and handlers for operations with scopes (IF 4.31/4.33, from Jul 11, 2017 04:00 PM to Jul 11, 2017 05:00 PM)
 
Event LFCS seminar: Zhaohui Luo: Substructural calculi with dependent types (IF 4.31/4.33, from Jul 04, 2017 03:00 PM to Jul 04, 2017 04:00 PM)
 
Event Detection of Advanced Persistent Threats (APT) with Formal Concept Analysis (FCA): first steps (Mini Forum 2 (MF2) Level 4, from Jun 20, 2017 01:00 PM to Jun 20, 2017 02:00 PM)
Speaker: Ghita Berrada
Event LFCS seminar: Dominic Orchard: Fine-grained program reasoning via graded modal type theories (IF 4.31/4.33, from Jun 06, 2017 04:00 PM to Jun 06, 2017 05:00 PM)
 
Event LFCS seminar: Luca Cardelli: Programming with chemical reactions (G.07, from Jun 01, 2017 11:00 AM to Jun 01, 2017 12:00 PM)
 
Event LFCS seminar: Clemens Kupke: Learning via Coalgebraic Logic (IF 4.31/4.33, from May 30, 2017 04:00 PM to May 30, 2017 05:00 PM)
 
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 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)
 

Also in this section

Event LFCS seminar: Jiawei Han: Mining structures from massive text data: a data-driven approach (AT 2.12, from Jul 17, 2017 02:00 PM to Jul 17, 2017 03:00 PM)
 
Event LFCS seminar: Nicolas Wu: Syntax and handlers for operations with scopes (IF 4.31/4.33, from Jul 11, 2017 04:00 PM to Jul 11, 2017 05:00 PM)
 
Event LFCS seminar: Zhaohui Luo: Substructural calculi with dependent types (IF 4.31/4.33, from Jul 04, 2017 03:00 PM to Jul 04, 2017 04:00 PM)
 
Event Detection of Advanced Persistent Threats (APT) with Formal Concept Analysis (FCA): first steps (Mini Forum 2 (MF2) Level 4, from Jun 20, 2017 01:00 PM to Jun 20, 2017 02:00 PM)
Speaker: Ghita Berrada
Event LFCS seminar: Dominic Orchard: Fine-grained program reasoning via graded modal type theories (IF 4.31/4.33, from Jun 06, 2017 04:00 PM to Jun 06, 2017 05:00 PM)
 
Event LFCS seminar: Luca Cardelli: Programming with chemical reactions (G.07, from Jun 01, 2017 11:00 AM to Jun 01, 2017 12:00 PM)
 
Event LFCS seminar: Clemens Kupke: Learning via Coalgebraic Logic (IF 4.31/4.33, from May 30, 2017 04:00 PM to May 30, 2017 05:00 PM)
 
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 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)
 
Document Actions