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 A Type-Safe Dialect of C
Greg Morrisett Department of Computer Science Cornell University 4pm Tuesday 29 April 2003 Room 2511, JCMB, King's Buildings
Page The complexity of constraint satisfaction: an algebraic approach
Andrei Bulatov Computing Laboratory Oxford University 4pm Tuesday 15 April 2003 Room 2511, JCMB, King's Buildings
Page X# Overview: Unifying the Object-Oriented, Relational and Hierarchical Data Models
Erik Meijer Microsoft Research 2pm Friday 11 April 2003 Room 2511, JCMB, King's Buildings
Page PAL+: a lambda-free logical framework
Zhaohui Luo Department of Computer Science University of Durham 4pm Tuesday 8 April 2003 Room 2511, JCMB, King's Buildings
Page Fast Mu-calculus Model Checking when Tree-width is Bounded
Jan Obdrzalek LFCS 4pm Tuesday 25 January 2003 Room 2511, JCMB, King's Buildings
Page Proving Pointer Programs in Higher-Order Logic
Tobias Nipkow Department of Computer Science Technical University of Munich 4pm Thursday 13 March 2003 Room 2511, JCMB, King's Buildings
Page Principles of typed XML processing
Haruo Hosoya Research Institute for Mathematical Sciences Kyoto University 4pm Tuesday 11 March 2003 Room 2511, JCMB, King's Buildings
Page Markov chain methods for studying water and some partial rapid mixing result
Ravi Montenegro Department of Mathematics Georgia Institute of Technology 4pm Tuesday 4 March 2003 Room 2511, JCMB, King's Buildings
Page Deriving bisimulation congruences: A 2 categorical approach
Vladimiro Sassone School of Cognitive and Computing Sciences University of Sussex 4pm Tuesday 18 February 2003 Room 2511, JCMB, King's Buildings
Page On Generalized Authorization Problems
Stefan Schwoon Department of Computer Science University of Stuttgart 4pm Tuesday 11 February 2003 Room 2511, JCMB, King's Buildings
Page Circuits on Cylinders
Peter Bro Miltersen Department of Computer Science University of Aarhus 4pm Tuesday 4 February 2003 Room 2511, JCMB, King's Buildings
Page Query Evaluation on Compressed Trees
Christoph Koch LFCS 4pm Tuesday 28th January 2003 Room 2511, JCMB, King's Buildings
Page Unit Checking: Symbolic Model Checking for a Unit of Code
Doron Peled Department of Computer Science University of Warwick 4pm Thursday 23 January 2003 Room 2509, JCMB, King's Buildings
Page Functional In-place Update with Layered Datatype Sharing
Michal Konecný LFCS 4pm Tuesday 21st January 2003 Room 2511, JCMB, King's Buildings
Page Contention Resolution in Multiple-Access Channels
Leslie Ann Goldberg University of Warwick 4pm Thursday 14 December 2000 Room 2509, JCMB, King's Buildings
Page Perfect Graphs and the Decomposition Method
Kristina Vuskovic University of Leeds 2pm Monday 4 December 2000 Room 2511, JCMB, King's Buildings
Page The computational dimension of a topological space
Hideki Tsuiki University of Kyoto 3pm, Tuesday 28 November 2000 Room 2511, JCMB, King's Buildings
Page Reversed processes and product-forms in Markovian process algebra
Peter Harrison Department of Computing, Imperial College 4pm, Tuesday 21 November 2000 Room 2511, JCMB, King's Buildings
Page The XML Schema type system, data binding and the future of the World Wide Web
Henry Thompson Language Technology Group, Division of Informatics, Edinburgh 4pm, Friday 10 November 2000 Room 2511, JCMB, King's Buildings
Page Focus Games
Colin Stirling LFCS, University of Edinburgh 4pm, Tuesday 7 November 2000 Room 2511, JCMB, King's Buildings
Page Verification of broadcast protocols
Javier Esparza Technical University of Munich 4pm, Friday 3 November 2000 Room 2511, JCMB, King's Buildings
Page An infinite hierarchy of temporal logics over branching time
Alexander Rabinovich Tel Aviv University 4pm, Tuesday 31 October 2000 Room 3218, JCMB, King's Buildings
Page Clausal resolution for linear-time temporal mu-calculus
Alexander Bolotov Manchester Metropolitan University 3pm, Tuesday 24 October 2000 Room 2511, JCMB, King's Buildings
Page Balancing representation and inference
Maarten de Rijke ILLC, University of Amsterdam 4pm, Monday 16 October 2000 Room 2511, JCMB, King's Buildings
Page Poly-bicategories
Jürgen Koslowski Technische Universität, Braunschweig 4pm, Thursday 12 October 2000 Room 2511, JCMB, King's Buildings
Page Termination, invariants, a topology on trees and applications
Ursula Martin School of Computer Science, University of St. Andrews 4pm, Wednesday 11 October 2000 Room 2511, JCMB, King's Buildings
Page Joint ICCS/LFCS Seminar Grammatical Specification in ASL: Germanic Dependent Clause Order
Michael Newton Aurema Pty Limited 3pm Friday 29 September 2000 Psychology Dept, George Square, room F21 Michael Newton's 1992 PhD thesis on the ...
Page A gentle introduction to the complexity of knots
Janos Makowsky Technion, Haifa, Israel 4pm, Thursday 7 September 2000 Room 2511, JCMB, King's Buildings
Page A case for dependent families
Conor McBride Department of Computer Science, University of Durham 4pm, Tuesday 22 August 2000 Room 2511, JCMB, King's Buildings
Page 0-1 laws for random graphs
Tomasz Luczak Adam Mickiewicz University, Poznan 4pm, Tuesday 8 August 2000 Room 2511, JCMB, King's Buildings