LFCS Seminar Series 2008-9
The LFCS organises a series of seminars by visiting speakers,
covering a range of topics in theoretical computer science. Speakers in this series are asked to present talks suitable for the entire membership of LFCS, rather than only researchers in their field. These
seminars are open to all and are usually held on Tuesday
afternoons during term time, from 4-5pm in the Informatics Forum.
The seminars are publicised in the local newsgroup
eduni.dcs.lfcs,
and on the
lfcs-interest and
seminars
mailing lists.
The seminar organiser is Rahul Santhanam (rsanthan AT inf DOT ed DOT ac DOT uk).
The LFCS Database Group also runs a Seminar Series
| Date | Time | Room | Speaker | Title |
|---|---|---|---|---|
| November 2008 | ||||
| Tuesday 25 | 4pm | IF 4.31/4.33 | Anuj Dawar | Complexity: Structures and Specifications |
| Tuesday 18 | 4pm | IF 4.31/4.33 | David Saad | Network Optimisation - a Statistical Physics Perspective |
| Tuesday 11 | 4pm | IF 4.31/4.33 | Simona Orzan | Verification using fixed-point equation systems and invariants |
| Thursday 06 | 4pm | IF 4.31/4.33 | Yuan Feng | Probabilistic bisimulations for quantum processes |
| October 2008 | ||||
| Tuesday 7 | 4pm | IF 4.31/4.33 | Amin Coja-Oghlan | Regular Partitions |
| September 2008 | ||||
| Monday 1 | 4pm | IF 4.31 | Rasmus Ejlers Møgelberg | A relational interpretation of a type theory for computations with local state |
| Tuesday 23 | 4pm | IF 4.31/4.33 | Oded Lachish | Sound 3-query PCPPs are Long |
Past seminars
2007-8 · 2006-7 · 2005 · 2004 · 2003 · 2002 · 2001 · 2000 · 1999 · 1998 · 1997 · 1996