| November 2010 |
| Thursday 18 | 4pm | IF 4.31/4.33
|
Philip Welch |
Transfinite Time Computation and Determinacy
|
| Tuesday 16 | 4pm | IF 4.31/4.33
|
Damian Niwinski |
Complexity of Infinite Tree Languages -
When Automata Meet Topology
|
| Monday 15 | 4pm | IF G.03
|
Alessandro Panconesi |
Algorithmic Aspects of Social Networks
|
| Tuesday 9 | 4pm | IF 4.31/4.33
|
David Xiao |
Cryptography and NP-hardness
|
| September 2010 |
| Tuesday 28 | 4pm | IF 4.31/4.33
|
Aleks Kissinger |
Frobenius States and a Graphical Language for
Multipartite Entanglement
|
| June 2010 |
| Tuesday 8 | 4pm | IF 4.31/4.33
|
Rasmus Mogelberg |
Full Abstraction in a Metalanguage for State
|
| May 2010 |
| Friday 28 | 4pm | IF 4.31/4.33
|
Andrew McGregor |
Data Streams, Dyck Languages and Detecting
Dubious Data Structures |
| Tuesday 18 | 4pm | IF 4.31/4.33
|
Joseph Bonneau |
Postponed |
| Tuesday 11 | 4pm | IF 4.31/4.33
|
Alessandro Panconesi |
Postponed |
| Friday 7 | 10:30am | G.03
|
Benny van Houdt |
Fast Algorithms for Solving Structured Markov Chains: Theory and Software |
| April 2010 |
| Tuesday 20 | 4pm | IF 4.31/4.33
|
Byron
Cook |
Proving that Programs Eventually do
Something Good |
| Wednesday 14 | 5pm | IF 4.40
|
Amelie
Gheerbrant |
Fixed-Point Logics on Finite Game Trees
|
| March 2010 |
| Tuesday 9 | 4pm | IF 4.31/4.33
|
Mihaela Sighireanu |
A generic framework for reasoning about
dynamic networks of infinite-state processes |
| Thursday 4 | 3pm | IF 4.31/4.33
|
Hugo Gimbert |
Stochastic games with partial observation: decidable and undecidable problems |
| February 2010 |
| Tuesday 16 | 4pm | IF 4.31/4.33
|
Lucas Dixon |
Graphical Reasoning in Symmetric Monoidal
Categories |
| Tuesday 2 | 4pm | IF 4.31/4.33
|
Paul Levy |
Similarity Quotients as Final Coalgebras
|
| January 2010 |
| Monday 26 | 4pm | IF 4.31/4.33
|
Alexander Rabinovich |
On the Complexity of Temporal Logics over
Linear Time Domains |
| Thursday 14 | 4pm | IF 4.31/4.33
|
Kathleen
Fisher |
Programming Language Ideas Escape the Lab: A
Declarative Data Description Language for Managing Ad Hoc Data |
| 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
|