LFCS Seminars
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 James Cheney (jcheney AT inf DOT ed DOT ac DOT uk). Please contact the organiser with suggestions for future speakers.
-
LFCS Seminar: Alin Stefanescu
(IF 4.31-4.33, from
May 15, 2012 04:00 PM to
May 15, 2012 05:00 PM)
- Test generation and model learning for Event-B
-
LFCS Seminar: Thomas Streicher
(IF 2.33, from
May 24, 2012 02:00 PM to
May 24, 2012 03:00 PM)
- Computability in quantum theory (TBC)
-
LFCS Seminar: Andrew Pitts
(IF G.03, from
May 29, 2012 04:00 PM to
May 29, 2012 05:00 PM)
- Nominal Scott Domains
-
Upcoming LFCS Seminars
-
Previous LFCS Seminars
-
Seminar Archives
Congratulations to Iain Whiteside who has been awarded an internship at NASA Ames this summer.
