14/12/10

William Stirton 
Some facts about polymorphically typed combinatory logic 
07/12/10

Jane Hillston

0.05 makes a crowd! 
30/11/10

Julian Bradfield 
The Standard Model in a nut(of the sea)* shell 
23/11/10

Benedict Kavanagh 
A review of Topology and its many application in Informatics 
16/11/10

Stephen Gilmore

On verifying bioPEPA models

09/11/10

Stratis Viglas

Holistic Query Evaluation 
02/11/10

Paul Jackson

Highassurance software symposium 
26/10/10

Don Sannella 
Laser eye surgery 
19/10/10

Kyriakos Kalorkoti 
Rewrite Systems, monoids and free resolutions 
12/10/10

Rahul Santhanam

P vs NP: What's the Fuss All About? 
05/10/10

Manuel Serrano

A Hop compiler for CSS 
28/09/10

Peter Buneman & Heiko Mueller

How to cite databases 
21/09/10 
Philip Wadler

Write your next paper in Haskell ! 
24/08/10 
Yinghui Wu 
Homomorphism and Simulation Revised for Graph Matching 
17/08/10

Conor McBride 
Ordered data structures and sorting algorithms 
10/08/10

Andrzej Tarlecki 
Some nuances of manysorted algebra 
03/08/10

No speaker


27/07/10

No speaker


20/07/10

No speaker


13/07/10

No lab lunch


06/07/10 
Grant Passmore

Some recent work in SAT modulo nonlinear real arithmetic

29/06/10

Matteo Mio

The probabilistic modal mu calculus and its semantics

22/06/10

Lucas Dixon

Quantomatic: reasoning with graphs

15/06/10

Alan Smaill

Intuitionistic Linear Logic and Dialogue Generation

01/06/10

Jeremy Siek

General Purpose Languages Should be Metalanguages

18/05/10

Bahareh Afshari

The life and work of Hakim Omar Khayyám on this his 962nd birthday 
11/05/10

Robert Atkey

Relational Parametricity for Higher Kinds

04/05/10

Leonid Libkin

Meet the new data model, same as the old data model

27/04/10

Sam Lindley

Offpiste skiing in Scotland (and France)

13/04/10

Richard Mayr

Risk, Fear, Greed and Chocolate: An introduction to behavioral economics

23/03/10

Tony Tan

Infinite alphabets, directed graphs and pebble automata

16/03/10

Brian Campbell

Operational Semantics in Specifications

09/03/10

Jeff Egger

Categories, Logic and Physics

02/03/10

Gavin Keighren

The EMV PIN Verification "Wedge" Vulnerability

23/02/10

Cancelled due to IDEA lab lunch


16/02/10

Mary Cryan

A few easy cases for counting Euler tours

09/02/10

Perdita Stevens and Alastair Scobie

Future of Informatics Computing

02/02/10

All members

Discussion of Distinguished Lectures and the Milner Lecture

26/01/10

Allan Clark

The ways in which we fail

19/01/10

Ohad Kammar

A well kept secret

12/01/10

Vaclav Brozek

For Which n \geq 2 Can You (Probably) Kill n Birds with One Counter?

15/12/09

John Longley

Church's Thesis and Funny Physics

08/12/09

Randy Pollack

A Canonical Representation of Binding

01/12/09

Mike Just

Turing the Cryptanalyst

24/11/09

Kenneth MacKenzie

Resource Analysis and Polyhedra

17/11/09

James Cheney

Overlap testing for path expressions

10/11/09

Heiko Mueller

Archiving and Maintaining Curated Databases

20/10/09

Stephen Gilmore

Highperformance process algebra

13/10/09

Alex Simpson

Towards a generic operational metatheory

06/10/09

Philip Wadler

Dan Piponi on Commutative monads, Bayesian Probability, and Quantum Computation









