[an error occurred while processing this directive]
An error occured whilst processing this directive
Events
The LFCS lab lunch is a weekly gathering
of the members of the laboratory. Part social and part academic, it is a
forum for announcing news, introducing visitors, or discussing matters of
general interest. There is usually a short informal talk: here is a calendar and some information for speakers.
The weekly LFCS Seminar invites local and
visiting speakers to present their research. In addition there are various
LFCS clubs for talks and discussion in specific research areas: the semantics club, and the Applied theory and software engineering club.
LFCS hosts the annual Milner Lecture, an
annual public lecture by a distinguished visiting speaker. Videos of past
lectures are available online.
Past events
2007
- 28 June 2007
- Milner lecture
- 17-19 September 2007
- QEST2007
2006
- 7 June 2006
- Milner lecture:
On the Impossibility of Obfuscation. Professor Shafi Goldwasser.
- 7-8 September 2006
- Symposium for Gordon Plotkin:
a celebration for the 60th birthday of Gordon Plotkin.
2005
- 6-10 July 2005
- CAV'05:
17th International Conference on Computer Aided Verification.
- 26 April 2005
- Milner lecture:
Design of a computational linguistics platform. Dr Gérard Huet.
- 2-10 April 2005
- ETAPS'05:
Annual European Joint Conferences on Theory and Practice of Software.
2004
- 19 May 2004
- Milner lecture:
Testing, Optimization, and Games. Professor Mihalis Yannakakis.
2003
- 21 May 2003
- Milner lecture:
Fairness and stability of end-to-end congestion control.
Professor Frank Kelly.
- 12 June 2003
- PASTA:
Second meeting of the Workshop on Process Algebra and Stochastically
Timed Activities.
- 7-11 July 2003
- EEF
Global Computing Summer School:
Lectures from Ian Clarke, Andrew Gordon, Martin Hofmann, Rocco de Nicola,
Davide Sangiorgi and Martin Wirsing.
2002
- 22-25 September 2002
- CSL '02: Annual
Conference of the European Association for Computer Science Logic.
- June 2002
- PASTA Workshop on Process Algebra and Stochastically Timed Activities.
- May 2002
- The 2002 Milner Lecture Security Protocols: Principles and
Calculi.
- MRG Mobile Resource Guarantees
- March 2002
- ADVANCE meeting:
Advanced Validation Techniques for Telecommunication Protocols.
2001
- September 2001
- TPHOLs 2001: The 14th
International Conference on Theorem Proving in Higher Order Logics.
An error occured whilst processing this directive