Personal tools
You are here: Home Events Previous

Previous

Past events

Event Milner Symposium 2012 (Informatics Forum, from Apr 15, 2012 04:15 PM to Apr 18, 2012 04:15 PM)
 
Event LFCS Seminar: Sven Schewe (IF 4.31-4.33, from Apr 03, 2012 04:00 PM to Apr 03, 2012 05:00 PM)
Beautiful games you cannot stop playing
Event Database Seminar: Paris Koutris (IF 4.31-4.33, from Mar 22, 2012 02:00 PM to Mar 22, 2012 03:00 PM)
Query-based Data Pricing
Event LFCS Seminar: Dmitrios Vytiniotis (IF 4.31-33, from Mar 20, 2012 04:00 PM to Mar 20, 2012 05:00 PM)
Static contract checking for Haskell through FOL semantics
Event LFCS Seminar: Dave Parker (from Mar 13, 2012 04:00 PM to Mar 13, 2012 05:00 PM)
Automatic Verification of Competitive Stochastic Systems.
Event LFCS/ICSA Joint Seminar: Laurence Tratt, 29 Feb 2012 (Informatics Forum IF4.31+4.33, from Feb 29, 2012 03:30 PM to Feb 29, 2012 04:30 PM)
Domain specific languages: why? how? and where next?
Event ICSA/LFCS Joint Colloquium: Laurence Tratt (from Feb 29, 2012 03:30 PM to Feb 29, 2012 04:30 PM)
Domain specific languages: why? how? and where next?
Event LFCS/ICSA Joint Seminar: Laurence Tratt (from Feb 28, 2012 04:00 PM to Feb 28, 2012 05:00 PM)
Experiences of implementing a VM with RPython
Event LFCS Seminar: Christel Baier (from Feb 23, 2012 03:00 PM to Feb 23, 2012 04:00 PM)
Quantitative Analysis of Randomized Systems and Probabilistic Automata
Event LFCS Seminar: Christian Urban (from Feb 21, 2012 04:00 PM to Feb 21, 2012 05:00 PM)
Formalising Regular Language Theory with Regular Expressions
Event LFCS Seminar: Gilles Dowek (from Feb 07, 2012 04:00 PM to Feb 07, 2012 05:00 PM)
Pre-Heyting algebras and proof normalization.
Event LFCS Seminar: Anthony Widjaja Lin (IF 4.31-33, from Jan 27, 2012 02:00 PM to Jan 27, 2012 03:00 PM)
Tractability Results for Automata on (Vectors of) Numbers with Applications
Event LFCS Seminar: Dan Ghica (from Jan 20, 2012 02:00 PM to Jan 20, 2012 03:00 PM)
Towards a system-level semantics
Event LFCS Seminar: Ohad Kammar (from Jan 10, 2012 04:00 PM to Jan 10, 2012 05:00 PM)
Title: Algebraic Foundations to Effect-Dependent Optimisations
Event LFCS end of year quiz (Informatics Forum, from Dec 13, 2011 04:30 PM to Dec 14, 2011 04:30 PM)
 
Event LFCS End-of-Year Quiz (from Dec 13, 2011 09:35 AM to Dec 14, 2011 09:35 AM)
 
Event LFCS Seminar: Petra Berenbrink (IF 4.31-4.33, from Dec 13, 2011 04:00 PM to Dec 13, 2011 05:00 PM)
Speeding up random walks
Event LFCS Seminar: Jamie Gabbay (IF 4.31-4.33, from Dec 06, 2011 04:00 PM to Dec 06, 2011 05:00 PM)
Stone duality for first-order logic (a nominal approach)
Event LFCS Seminar: Ross Duncan (IF 4.31+4.33, Informatics Forum , from Nov 30, 2011 04:00 PM to Nov 30, 2011 05:00 PM)
The ZX-Calculus: a graphical approach to quantum computing
Event LFCS Seminar: Jean-Eric Pin (Appleton Tower, AT2.12, from Nov 18, 2011 03:00 PM to Nov 18, 2011 04:00 PM)
Equational descriptions of logic fragments

Also in this section

Event Milner Symposium 2012 (Informatics Forum, from Apr 15, 2012 04:15 PM to Apr 18, 2012 04:15 PM)
 
Event LFCS Seminar: Sven Schewe (IF 4.31-4.33, from Apr 03, 2012 04:00 PM to Apr 03, 2012 05:00 PM)
Beautiful games you cannot stop playing
Event Database Seminar: Paris Koutris (IF 4.31-4.33, from Mar 22, 2012 02:00 PM to Mar 22, 2012 03:00 PM)
Query-based Data Pricing
Event LFCS Seminar: Dmitrios Vytiniotis (IF 4.31-33, from Mar 20, 2012 04:00 PM to Mar 20, 2012 05:00 PM)
Static contract checking for Haskell through FOL semantics
Event LFCS Seminar: Dave Parker (from Mar 13, 2012 04:00 PM to Mar 13, 2012 05:00 PM)
Automatic Verification of Competitive Stochastic Systems.
Event LFCS/ICSA Joint Seminar: Laurence Tratt, 29 Feb 2012 (Informatics Forum IF4.31+4.33, from Feb 29, 2012 03:30 PM to Feb 29, 2012 04:30 PM)
Domain specific languages: why? how? and where next?
Event ICSA/LFCS Joint Colloquium: Laurence Tratt (from Feb 29, 2012 03:30 PM to Feb 29, 2012 04:30 PM)
Domain specific languages: why? how? and where next?
Event LFCS/ICSA Joint Seminar: Laurence Tratt (from Feb 28, 2012 04:00 PM to Feb 28, 2012 05:00 PM)
Experiences of implementing a VM with RPython
Event LFCS Seminar: Christel Baier (from Feb 23, 2012 03:00 PM to Feb 23, 2012 04:00 PM)
Quantitative Analysis of Randomized Systems and Probabilistic Automata
Event LFCS Seminar: Christian Urban (from Feb 21, 2012 04:00 PM to Feb 21, 2012 05:00 PM)
Formalising Regular Language Theory with Regular Expressions
Event LFCS Seminar: Gilles Dowek (from Feb 07, 2012 04:00 PM to Feb 07, 2012 05:00 PM)
Pre-Heyting algebras and proof normalization.
Event LFCS Seminar: Anthony Widjaja Lin (IF 4.31-33, from Jan 27, 2012 02:00 PM to Jan 27, 2012 03:00 PM)
Tractability Results for Automata on (Vectors of) Numbers with Applications
Event LFCS Seminar: Dan Ghica (from Jan 20, 2012 02:00 PM to Jan 20, 2012 03:00 PM)
Towards a system-level semantics
Event LFCS Seminar: Ohad Kammar (from Jan 10, 2012 04:00 PM to Jan 10, 2012 05:00 PM)
Title: Algebraic Foundations to Effect-Dependent Optimisations
Event LFCS end of year quiz (Informatics Forum, from Dec 13, 2011 04:30 PM to Dec 14, 2011 04:30 PM)
 
Event LFCS End-of-Year Quiz (from Dec 13, 2011 09:35 AM to Dec 14, 2011 09:35 AM)
 
Event LFCS Seminar: Petra Berenbrink (IF 4.31-4.33, from Dec 13, 2011 04:00 PM to Dec 13, 2011 05:00 PM)
Speeding up random walks
Event LFCS Seminar: Jamie Gabbay (IF 4.31-4.33, from Dec 06, 2011 04:00 PM to Dec 06, 2011 05:00 PM)
Stone duality for first-order logic (a nominal approach)
Event LFCS Seminar: Ross Duncan (IF 4.31+4.33, Informatics Forum , from Nov 30, 2011 04:00 PM to Nov 30, 2011 05:00 PM)
The ZX-Calculus: a graphical approach to quantum computing
Event LFCS Seminar: Jean-Eric Pin (Appleton Tower, AT2.12, from Nov 18, 2011 03:00 PM to Nov 18, 2011 04:00 PM)
Equational descriptions of logic fragments
Document Actions