Previous

Past events

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

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

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

Scott in Scotland (from Jun 29, 2010 02:00 PM to Jun 29, 2010 05:00 PM)

 

BCTCS 2010 (from Jul 05, 2010 12:25 PM to Jul 06, 2010 12:25 PM)

British Colloquium for Theoretical Computer Science

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.

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

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.

LFCS seminar: Peter Dybjer (from Sep 13, 2010 10:05 AM to Sep 14, 2010 10:05 AM)

 

LFCS welcome morning (Mini-Forum 1, from Sep 17, 2010 11:00 AM to Sep 17, 2010 12:00 PM)

An opportunity to meet some of the LFCS members

LFCS Seminar: Tony Kucera (G.03, from Sep 30, 2010 04:00 PM to Sep 30, 2010 05:00 PM)

 

New LFCS Website is launched! (from Sep 23, 2010 04:30 PM to Oct 01, 2010 04:30 PM)

 

LFCS Seminar: Wan Fokkink (4.31/4.33, from Oct 21, 2010 02:00 PM to Oct 21, 2010 03:00 PM)

Executing Multi-cellular Development: Petri Net Model of the C.elegans Vulva

Database Seminar: Egor Kostylev (4.31/4.33, from Nov 03, 2010 05:00 PM to Nov 03, 2010 06:00 PM)

Annotation algebras for RDFS

LFCS Seminar: David Xiao (4.31/4.33, from Nov 09, 2010 04:00 PM to Nov 09, 2010 05:00 PM)

Cryptography and NP-hardness

Database Seminar: Yinghui Wu (4.31/4.33, from Nov 10, 2010 05:00 PM to Nov 10, 2010 06:00 PM)

Simulation revised for graph pattern matching

LFCS Seminar: Alessandro Panconesi (G.03, Informatics Forum , from Nov 15, 2010 04:00 PM to Nov 15, 2010 05:00 PM)

Algorithmic Aspects of Social Networks

LFCS Seminar: Damian Niwinski (IF 4.31+4.33, Informatics Forum , from Nov 16, 2010 04:00 PM to Nov 16, 2010 05:00 PM)

Complexity of infinite tree languages -- when automata meet topology

Algorithms and Complexity Meeting: Maurice Jansen (5.02, from Nov 17, 2010 03:00 PM to Nov 17, 2010 04:00 PM)

 

Database Seminar: Nan Tang (4.31/4.33, from Nov 17, 2010 05:00 PM to Nov 17, 2010 06:00 PM)

Graph Pattern Matching: From Intractable to Polynomial Time