Personal tools
You are here: Home Events Previous

Previous

Past events

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)
 
Event LFCS seminar: Gunnar Wilken: Combining Howard’s ordinal assignment and Weiermann’s collapsing technique to analyse Gödel’s T (from Sep 13, 2016 02:00 PM to Sep 13, 2016 03:00 PM)
 
Event LFCS seminar: Verena Wolf: Generalized method of moments for estimating parameters of stochastic reaction networks (from Sep 12, 2016 03:00 PM to Sep 12, 2016 04:00 PM)
 
Event Lab Lunch with Nicolas Behr (MF2, from Jul 19, 2016 02:10 PM to Jul 19, 2016 02:50 PM)
Physicist-friendly computer science: nondeterminism via associative algebras

Also in this section

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)
 
Event LFCS seminar: Gunnar Wilken: Combining Howard’s ordinal assignment and Weiermann’s collapsing technique to analyse Gödel’s T (from Sep 13, 2016 02:00 PM to Sep 13, 2016 03:00 PM)
 
Event LFCS seminar: Verena Wolf: Generalized method of moments for estimating parameters of stochastic reaction networks (from Sep 12, 2016 03:00 PM to Sep 12, 2016 04:00 PM)
 
Event Lab Lunch with Nicolas Behr (MF2, from Jul 19, 2016 02:10 PM to Jul 19, 2016 02:50 PM)
Physicist-friendly computer science: nondeterminism via associative algebras
Document Actions