Personal tools
You are here: Home 2010

2010

dATE
sPEAKER
tITLE
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 bio-PEPA models
09/11/10
Stratis Viglas
Holistic Query Evaluation
02/11/10
Paul Jackson
High-assurance 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 many-sorted 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
Off-piste 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
High-performance 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
     
     
     

 

Document Actions