Personal tools
You are here: Home Events Abstract Archives 2004

2004

Page Geometry of Interaction and the Dynamics of Proofs
Philip Scott Department of Mathematics and Statistics University of Ottawa (visiting the Computing Lab, Oxford) 2pm Friday 17th December 2004 Room 2511, JCMB, King's Buildings
Page Model Checking Polymorphic Systems with Arrays
Ranko Lazic Department of Computer Science University of Warwick 4pm Tuesday 7th December 2004 Room 2511, JCMB, King's Buildings
Page The Pattern calculus
Barry Jay Faculty of Information technology University of Technology Sydney 4pm Tuesday 30th November 2004 Room 2511, JCMB, King's Buildings
Page Symbolic Model Checking for Probabilistic Timed Automata
Marta Kwiatkowska Department of Computer Science University of Birmingham 4pm Tuesday 23rd November 2004 Room 2511, JCMB, King's Buildings
Page On the Complexity of Reasoning about Cooperation: Qualitative Coalitional Games
Michael Wooldridge Department of Computer Science University of Liverpool 3pm Tuesday 9th November 2004 Room 2511, JCMB, King's Buildings
Page Cache-Oblivious Search Trees
Michael Bender Department of Computer Science SUNY Stony Brook (Visiting King's College London) 4pm Tuesday 2nd November 2004 Room 2511, JCMB, King's Buildings
Page Efficient Lambda Evaluation with Interaction Nets
Ian Mackie Department of Computer Science King's College, London 4pm Tuesday 19 October 2004 Room 2511, JCMB, King's Buildings
Page Continuous Real-valued functions on Domains and Related Spaces
Drew Moshier Department of Computer Science, Mathematics & Physics Chapman University 4pm Tuesday 12 October 2004 Room 2511, JCMB, King's Buildings
Page Logic Programming with Names and Binding
James Cheney Lab for Foundations of Computer Science School of Informatics University of Edinburgh 4pm Tuesday 28 September 2004 Level 2, Appleton Tower
Page Acute: High-level Programming Language Design for Distributed Computation
Peter Sewell Computing Laboratory University of Cambridge 4pm Tuesday 7 September 2004 Room 2511, JCMB, King's Buildings
Page Hard Constraint Satisfaction Problems and Homotopy Groups of Graphs
Benoit Larose Department of Mathematics and Statistics Concordia University 4pm Tuesday 6 July 2004 Room 2511, JCMB, King's Buildings
Page Generalised species of structures and analytic functors
Nicola Gambino DPMMS University of Cambridge 4pm Tuesday 29 June 2004 Room 2511, JCMB, King's Buildings
Page From Process Logics to Program Logics
Kohei Honda Department of Computer Science Queen Mary, University of London 2pm 25 June 2004 Room 2511, JCMB, King's Buildings
Page Queues and networks at arrival and departure instants
Isi Mitrani School of Computing Science University of Newcastle upon Tyne 4pm 22 June 2004 Room 2511, JCMB, King's Buildings
Page Model Checking Probabilistic Pushdown Systems
Javier Esparza Institute for Formal Methods in Computer Science University of Stuttgart 2pm 11 June 2004 (followed by Kousha) Room 2511, JCMB, King's Buildings
Page Recursive Markov chains, Stochastic Grammars, & Monotone Systems of Non-linear Equations
Kousha Etessami Laboratory for Foundations of Computer Science School of Informatics University of Edinburgh 2:45pm 11 June 2004 (after Javier) Room 2511, JCMB, King's Buildings
Page Compositional Average Time Analysis: Towards a Calculus for Software Timing
Michel Schellekens Department of Computer Science University College Cork 4pm 8 June 2004 Room 2511, JCMB, King's Buildings
Page Coalgebras and Compositionality
Corina Cirstea Department of Electronics and Computer Science University of Southampton 2pm 4 June 2004 Room 6324, JCMB, King's Buildings
Page Towards Compositional CSL Model-checking
Paolo Ballarini Department of Computer Science University of Liverpool 4pm 1 June 2004 Room 6301, JCMB, King's Buildings
Page Learning with Threshold Decision Lists
Martin Anthony Department of Mathematics London School of Economics 4pm 27 April 2004 Room 2511, JCMB, King's Buildings
Page Strong Spatial Mixing for Lattice Graphs with Fewer Colours
Russell Martin Department of Computer Science University of Warwick 4pm 20 April 2004 Room 2511, JCMB, King's Buildings
Page Decidability and Coincidence of Equivalences for Concurrency
Sibylle Froeschle Latb for Foundations of Computer Science School of Informatics University of Edinburgh 4pm 2 March 2004 Room 2511, JCMB, King's Buildings
Page Restless Bandits and the Routing of Impatient Customers
Kevin Glazebrook School of Management University of Edinburgh 4pm 24 February 2004 Room 2511, JCMB, King's Buildings
Page Categories of Containers
Neil Ghani Department of Computer Science University of Leicester 2pm 20 February 2004 Room 2511, JCMB, King's Buildings
Page Description Logics and Ontologies
Ulrike Sattler Department of Computer Science University of Manchester 4pm 17 February 2004 Room 2511, JCMB, King's Buildings
Page Collapse results in Database Theory
Mikhail Taitslin Computer Science Department Tver State University 4pm 10 February 2004 Room 2511, JCMB, King's Buildings
Page Call-by-value is dual to call-by-name
Philip Wadler Laboratory for Foundations of Computer Science School of Informatics University of Edinburgh 4pm 20 January 2004 Room 2511, JCMB, King's Buildings
Page Functions, classes and prototypes
DeLesley Hutchins Centre for Intelligent Systems and their Applications School of Informatics University of Edinburgh 4pm 13 January 2004 Room 2511, JCMB, King's Buildings
Document Actions