Personal tools
You are here: Home

Did you not find what you were looking for? Try the Advanced Search to refine your search.

Search results 499 items matching your search terms

Subscribe to an always-updated feed of these search terms

Page Modal logics for mobile ambients
Luca Cardelli Microsoft Research, Cambridge 4pm Tuesday 15 June 1999 Room 2511, JCMB, King's Buildings
Page Automatic verification of probabilistic real-time systems
Marta Kwiatkowska School of Computer Science University of Birmingham 4pm Tuesday 8 June 1999 Room 2511, JCMB, King's Buildings
Page Continuous Markov processes - approximations and metrics
Radha Jagadeesan Loyola University, Chicago 4pm Tuesday 1 June 1999 Room 2511, JCMB, King's Buildings
Page Exact Real Arithmetic using Möbius Transformations
Peter Potts Imperial College and Pole Star Space Applications Ltd 4pm Tuesday 2 March 1999 Room 2511, JCMB, King's Buildings
Page Purely Syntactic Normalization by Evaluation
René Vestergaard Department of Computing and Electrical Engineering Heriot-Watt University 4pm Tuesday 16 March 1999 Room 2511, JCMB, King's Buildings
Page Resource-Bounded Quantification or Poor Man's Probability
Michiel van Lambalgen Department of Computer Science University of Amsterdam 4pm Tuesday 23 March Room 2511, JCMB, King's Buildings Michiel is ...
Page Symmetry and the Elementary Theory of Computing
Peter Hines School of Mathematics University of Bangor 4pm Tuesday 9 February 1999 Room 2511, JCMB, King's Buildings Peter will be visiting from ...
Page Computing Total, Computable Functionals
Dag Normann Department of Mathematics University of Oslo 4pm Monday 15 February 1999 Room 2511, JCMB, King's Buildings Dag will be visiting on ...
Page A Semantics for Imprecise Exceptions
Simon Peyton Jones Microsoft Research Cambridge 4pm Tuesday 23 February 1999 Room 2511, JCMB, King's Buildings In addition to this seminar, on ...
Page Lossy Counter Machines and their Applications
Richard Mayr Laboratory for Foundations of Computer Science Division of Informatics University of Edinburgh 4pm Tuesday 26 January Room 2511, JCMB, ...
Page Shape theory: FISh implementation
Barry Jay School of Computing Sciences University of Technology, Sydney 4pm Tuesday 24 August 1999 Room 2511, JCMB, King's Buildings
Page Model Checking, Abstraction and Proof in a Microprocessor Design Project
Anthony McIsaac SGS-Thomson Microelectronics 4pm Monday 30 March 1998 Room 2511, JCMB, King's Buildings This seminar is being organised jointly ...
Page Using Model Checking to Understand the Relationship between Abstract Interpretation and Data Flow Analysis
David Schmidt (Kansas State University, USA) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 3.30pm, Monday 7th April 1997
Page Multiplicative Conjunction, Contraction and Weakening
Arnon Avron (Tel Aviv University, Israel) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 11.00, Friday 18th April 1997
Page The Bounded Retransmission Protocol Must be on Time!
Joost-Pieter Katoen (University of Erlangen, Germany) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4.00, Tuesday 29th April 1997
Page Coercive subtyping and its applications
Zhaohui Luo (University of Durham) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 2pm, Wednesday 19th March 1997
Page From Automata to Fixpoint Logics and Back
Roope Kaivola (University of Helsinki, Finland) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 21st January 1997
Page Proof Nets as Formal Feynman Diagrams
Prakash Panangaden (McGill, Canada) LFCS Theory Seminar Room 2511, JCMB, King's Buildings Wednesday 22nd January 1997, 3.30pm
Page A Fully Abstract Model for Sequential Computation
Michael Marz Department of Computer Science University of Birmingham 4pm Tuesday 17 February 1998 Room 2511, JCMB, King's Buildings
Page Guarded Induction on Final Coalgebras
Dusko Pavlovic School of Cognitive and Computing Sciences University of Sussex 4pm Tuesday 24 February 1998 Room 5326, JCMB, King's Buildings
Page Unique Fixed Points for Unguarded Recursion
Rob van Glabbeek (Stanford University, USA) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 13th January 1998
Page Functional Programming and Geometry
Guy Cousineau (Jussieu, France) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 3pm, Monday 19th January 1998
Page Searching constant width mazes captures the $\mathrm{AC}^0$-hierarchy
Sven Skyum (BRICS, University of Aarhus, Denmark) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 2pm, Friday 23rd January 1998
Page Parametric polymorphism and operational equivalence
Speaker: Andrew Pitts (University of Cambridge) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 27th January 1998
Page Typed Operational Semantics for Higher Order Subtyping
Adriana Compagnoni LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 11th November 1997
Page Universes in Type Theory
Anton Setzer (University of Munich, Germany) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4.00pm, Tuesday 15th July 1997
Page Affine/Intuitionistic Typing for Idealized Algol
Peter O'Hearn (Queen Mary and Westfield College, University of London) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 3.30pm, Thursday 5th June 1997
Page Static Typing for Dynamic Messages
Susumu Nishimura (University of Kyoto, Japan) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 3rd February 1998
Page A Computational Interpretation of the $\lambda\mu$-calculus
G.M. Bierman (University of Cambridge) LFCS Theory Seminar Room 2509, JCMB, King's Buildings 3pm, Tuesday 10th February 1998
Page Well-Behaved Operational Rules are Natural
Daniele Turi (LFCS) LFCS Theory Seminar Room 6301, JCMB, King's Buildings 4.00pm, Tuesday 17th June 1997