Personal tools
You are here: Home Events Previous

Previous

Past events

Event LFCS Seminar: Tony Kucera (G.03, from Sep 30, 2010 04:00 PM to Sep 30, 2010 05:00 PM)
 
Event LFCS seminar: Peter Dybjer (from Sep 13, 2010 10:05 AM to Sep 14, 2010 10:05 AM)
 
Event FLoC 2010 (Federated Logic Conference) (from Jul 09, 2010 09:00 AM to Jul 21, 2010 05:00 PM)
The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science.
Event LFCS Seminar: Stephan Zdancewic (5.42, from Jul 20, 2010 11:00 AM to Jul 20, 2010 12:00 PM)
LolliProc: to Concurrency from Classical Linear Logic via Curry-Howard and Control
Event Milner Lecture 2010 (Appleton Tower LT5, from Jul 09, 2010 05:00 PM to Jul 09, 2010 06:00 PM)
This year's lecture will be given by Professor Stephen A. Cook.
Event BCTCS 2010 (from Jul 05, 2010 12:25 PM to Jul 06, 2010 12:25 PM)
British Colloquium for Theoretical Computer Science
Event Scott in Scotland (from Jun 29, 2010 02:00 PM to Jun 29, 2010 05:00 PM)
 
Event LFCS Seminar: Rasmus M√łgelberg (4.31/4.33, from Jun 08, 2010 04:00 PM to Jun 08, 2010 05:00 PM)
Full Abstraction in a Metalanguage for State
Event LFCS Seminar: Andrew McGregor (4.31/4.33, from May 28, 2010 04:00 PM to May 28, 2010 05:00 PM)
Data Streams, Dyck Languages, and Detecting Dubious Data Structures
Event LFCS Seminar: Benny van Houdt (G.03, from May 07, 2010 10:30 AM to May 07, 2010 11:30 AM)
Fast Algorithms for Solving Structured Markov Chains: Theory and Software

Also in this section

Event LFCS Seminar: Tony Kucera (G.03, from Sep 30, 2010 04:00 PM to Sep 30, 2010 05:00 PM)
 
Event LFCS seminar: Peter Dybjer (from Sep 13, 2010 10:05 AM to Sep 14, 2010 10:05 AM)
 
Event FLoC 2010 (Federated Logic Conference) (from Jul 09, 2010 09:00 AM to Jul 21, 2010 05:00 PM)
The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science.
Event LFCS Seminar: Stephan Zdancewic (5.42, from Jul 20, 2010 11:00 AM to Jul 20, 2010 12:00 PM)
LolliProc: to Concurrency from Classical Linear Logic via Curry-Howard and Control
Event Milner Lecture 2010 (Appleton Tower LT5, from Jul 09, 2010 05:00 PM to Jul 09, 2010 06:00 PM)
This year's lecture will be given by Professor Stephen A. Cook.
Event BCTCS 2010 (from Jul 05, 2010 12:25 PM to Jul 06, 2010 12:25 PM)
British Colloquium for Theoretical Computer Science
Event Scott in Scotland (from Jun 29, 2010 02:00 PM to Jun 29, 2010 05:00 PM)
 
Event LFCS Seminar: Rasmus M√łgelberg (4.31/4.33, from Jun 08, 2010 04:00 PM to Jun 08, 2010 05:00 PM)
Full Abstraction in a Metalanguage for State
Event LFCS Seminar: Andrew McGregor (4.31/4.33, from May 28, 2010 04:00 PM to May 28, 2010 05:00 PM)
Data Streams, Dyck Languages, and Detecting Dubious Data Structures
Event LFCS Seminar: Benny van Houdt (G.03, from May 07, 2010 10:30 AM to May 07, 2010 11:30 AM)
Fast Algorithms for Solving Structured Markov Chains: Theory and Software
Document Actions