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 First-Order Axioms for Asynchrony
Peter Selinger (University of Pennsylvania, USA) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 11.00am, Friday 20th June 1997
Page A Relational Account of Call-by-Value Sequentiality
Jon G. Riecke, Bell Laboratories, Lucent Technologies LFCS Theory Seminar Room 2511, JCMB, King's Buildings 11.00, Friday 30th May 1997
Page Games, factorizations, definability and ML-style references
Guy McCusker (St John's College, Oxford) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 18th November 1997
Page Classical Brouwer-Heyting-Kolmogorov interpretation
Masahiko Sato (Univ. of Kyoto, Japan) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 3pm, Thursday 20th November 1997
Page Elementary Proofs of Adequacy
Ralph Loader (LFCS) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 25th November 1997
Page Presheaf Models over Recursively Defined Path Categories
Gian Luca Cattani (BRICS, University of Aarhus, Denmark) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 14th October 1997
Page Typed Operational Semantics Revisited
Healfdene Goguen LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 21st October 1997
Page A Calculus of Mobile Ambients
A.D. Gordon (University of Cambridge) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 3pm, Monday 27th October 1997
Page Conditional Term Rewriting Systems Via Enriched Monads
Neil Ghani (University of Birmingham) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 28th October 1997
Page Global/Local Subtyping for a Distributed pi-calculus
Peter Sewell (Computer Lab, Cambridge) LFCS Theory Seminar Room 2509, JCMB, King's Buildings 3.30pm, Monday 29th September 1997
Page A Calculus for Cryptographic Protocols: The Spi Calculus
A.D. Gordon (University of Cambridge) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 10th December 1996
Page On Determinacy and Nondeterminacy in Concurrent Programming
Uwe Nestmann (University of Erlangen, Germany) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 26th November 1996
Page Normalization and the Yoneda Embedding
Djordje Cubric (DPMMS, Cambridge) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 29th October 1996
Page Default Unification
Alex Lascarides (Centre for Cognitive Science, Edinburgh) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 22nd October 1996
Page Generalized model-checking over locally tree-decomposable classes
Markus Frick Albert-Ludwigs-Universität Freiburg 4pm Tuesday 9 October 2001 Room 2511, JCMB, King's Buildings
Page Abstraction Barriers and Refinement in the Polymorphic Lambda Calculus
Jo Hannay LFCS 4pm Tuesday 2 October 2001 Room 2511, JCMB, King's Buildings
Page Edge isoperimetry and rapid mixing on matroids and geometric Markov chains
Jung-Bae Son LFCS 4pm Tuesday 28 August 2001 Room 2511, JCMB, King's Buildings
Page Deciding LTL over Mazurkiewicz Traces
Martin Leucker RWTH Aachen 4pm Tuesday 21 August 2001 Room 2511, JCMB, King's Buildings
Page Reducing Proof Burden in Object-Oriented Verification
Francis Tang LFCS 4pm Tuesday 7 August 2001 Room 2511, JCMB, King's Buildings
Page Hamiltonian decomposition of random bipartite regular graphs
Catherine Greenhill Department of Mathematics and Statistics University of Melbourne 4pm Thursday 28 June 2001 Room 2511, JCMB, King's Buildings
Page Secure Systems Design with UML
Jan Jürjens University of Oxford 4pm Tuesday 26 June 2001 Room 2511, JCMB, King's Buildings
Page Intuitionistic Logic: More Semantics for Less Syntax or Why not specify dynamic behaviour in a fragment of propositional logic?
Michael Mendler University of Sheffield 4pm, Tuesday 29 May 2001 Room 2511, JCMB, King's Buildings
Page Algebraic analysis of computational effects
Carsten Fuhrmann University of Birmingham 11am, Wednesday 23 May 2001 Room 2509, JCMB, King's Buildings
Page Modules, Abstract Types, and Distributed Versioning
Peter Sewell Cambridge Computing Laboratory 4pm, Tuesday 8 May 2001 Room 2511, JCMB, King's Buildings
Page Local Reasoning about Shared Mutable Data Structure
Peter O'Hearn Queen Mary, University of London 4pm, Thursday 3 May 2001 Room 2511, JCMB, King's Buildings
Page Spatio-temporal representation and reasoning: a computational perspective
Michael Zakharyaschev King's College London 4pm, Tuesday 1 May 2001 Room 2511, JCMB, King's Buildings
Page Domain Specific Algorithmic Model Theory
Martin Otto University of Wales, Swansea 4pm, Friday 27 April 2001 Room 2511, JCMB, King's Buildings
Page Mobile Values, New Names, and Secure Communications
Cédric Fournet Microsoft Research 4pm, Tuesday 24 April 2001 Room 2511, JCMB, King's Buildings
Page Non-standard models of intuitionistic and classical theories
Carsten Butz Heriot-Watt University 4pm, Wednesday 18 April 2001 Room 2511, JCMB, King's Buildings
Page The strength of non-size increasing computation
Martin Hofmann University of Edinburgh 4pm, Tuesday 10 April 2001 Room 2511, JCMB, King's Buildings