| January 2010 |
| Thursday 14 | 4pm | IF 4.31/4.33
|
Kathleen
Fisher |
TBA |
| November 2009 |
| Friday 27 | 4pm | IF 4.31/4.33
|
Bill Cheswick |
Rethinking Passwords
|
| Tuesday 24 | 4pm | IF 4.31/4.33
|
Tomas Brazdil |
Scheduling of Stochastically Generated Tasks
|
| Thursday 19 | 11am | IF 4.31/4.33
|
Don Syme |
Some Future Directions for F# - Research,
Language and Applications |
| Tuesday 10 | 4pm | IF 4.31/4.33
|
John Hitchcock |
Learning Algorithms and Lower Bounds in
Computational Complexity |
| Tuesday 3 | 4pm | IF 4.31/4.33
|
Ben Moszkowski |
A Unifying Analytical Framework for Discrete
Linear Time |
| October 2009 |
| Tuesday 27 | 4pm | IF 4.31/4.33
|
Robert
Constable |
Correct-by-Construction Protocols in the
Logic of Events: An Investigation into the Foundations of Distributed
Computing |
| Monday 12 | 4pm | IF 4.31/4.33
|
Verena
Wolf |
Numerical Approximation Strategies for
the Chemical Master Equation |
| September 2009 |
| Tuesday 22 | 4pm | IF 4.31/4.33
|
Joel
Ouaknine |
Verifying Probabilistic Programs: Three
Easy Pieces |
| Tuesday 15 | 4pm | IF 4.31/4.33
|
Peter
Thiemann |
JavaGI: Generalized Interfaces for Java
|
| Friday 4 | 3pm | IF 4.31/4.33
|
Ingo
Battenfeld |
Topological Domain Theory |
| Thursday 3 | 4pm | IF 4.31/4.33
|
Giulio
Manzonetto |
A Relational Model of Lambda Calculus, and
Beyond |
| August 2009 |
| Tuesday 11 | 4pm | IF 4.31/4.33
|
Matthew
Hague |
Symbolic Backwards-Reachability Analysis for
Higher-Order Pushdown Systems |
| July 2009 |
| Wednesday 29 | 4pm | IF G.07a
|
Dieter van Melkebeek
|
Lower Bounds for Satisfiability and Related
Problems |
| Tuesday 28 | 2:30pm | IF 5.02
|
Stefanie Gerke |
Pegging Yields a Small Diameter |
| June 2009 |
| Tuesday 2 | 4pm | IF 4.31/4.33 |
Paul Dunne |
Complexity of Novel Extension-based Semantics in Argumentation Frameworks |
| May 2009 |
| Tuesday 19 | 4pm | IF 4.31/4.33 |
Tugkan Batu
|
Testing Properties of Distributions |
| Monday 18 | 4pm | IF 4.31/4.33 |
Petr Jancar
|
A New Presentation of the Decidability Proof
for Language Equivalence on Deterministic Pushdown Automata |
| Tuesday 12 | 4:30pm | IF 4.31/4.33 |
Michael Hicks
|
A Theory of Typed Coercions and its Applications |
| Wednesday 6 | 1pm | IF 4.31/4.33 |
Yde Venema
|
Coalgebra Automata (Towards a Universal
Theory of Automata) |
| April 2009 |
| Tuesday 28 | 3pm | IF 4.31/4.33 |
Pawel Sobocinski
|
An Introduction to the Wire Calculus |
| Tuesday 21 | 4pm | IF 4.31/4.33 |
Janis Voigtlaender
|
Semantic Bidirectionalisation |
| Monday 20 | 4pm | IF 4.31/4.33 |
Anne Broadbent
|
The Quantum Locker Puzzle |
| Tuesday 14 | 3pm | IF 5.02 |
Prakash Panangaden
|
What are Feynman Diagrams? |
| March 2009 |
| Tuesday 31 | 3pm | IF 4.31/4.33 |
Javier Esparza
|
Newtonian Program Analysis
|
| Monday 23 | 11am | IF 4.31/4.33 |
Jeremy Siek
|
Space-Efficient Blame Tracking for Gradual Typing
|
| Tuesday 17 | 4pm | IF 4.31/4.33 |
Andrzej Murawski
|
Full Abstraction for Reduced ML
|
| Thursday 26 | 4pm | IF 4.31/4.33 |
Torsten Grust
|
Ferry -- Database-Supported Program Execution
|
| February 2009 |
| Tuesday 24 | 4pm | IF 4.31/4.33 |
Lance Fortnow
|
Program Equilibria and Discounted Time
|
| Thursday 19 | 4pm | IF 4.31/4.33 |
Martin Escardo
|
A Monad for Exhaustively Searching Infinite Sets
in Finite Time
|
| Tuesday 17 | 4pm | IF 4.31/4.33 |
Michael Hicks
|
CANCELLED
|
| Monday 9 | 1:30pm | IF 4.31/4.33 |
Peter Bro Miltersen
|
Some Recent Results and Some Open Problems Concering
Solving Infinite Duration Games
|
| Friday 6 | 3pm | IF G07a |
Florian Horn
|
Stochastic Games for Verification
|
| January 2009 |
| Tuesday 27 | 4pm | IF 4.31/4.33 |
Neil Ghani
|
Containers, Nested Data Types and Induction Recursion
|
| Tuesday 13 | 4pm | IF 4.31/4.33 |
Bahareh Afshari
|
Reverse Mathematics and Well-ordering Principles
|
| December 2008 |
| Monday 15 | 4pm | IF 4.31/4.33 |
Peter Sewell
|
The Semantics of x86-CC Multiprocessor Machine Code
(True Concurrency?)
|
| 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
|
