Personal tools
You are here: Home Events Abstract Archives 2005

2005

Page A Logical Analysis of Aliasing in Imperative Higher-Order Functions
Martin Berger Queen Mary, University of London 4pm Tuesday 6th December 2005 Room 2511, JCMB, King's Buildings
Page Named flows and access control
Sandy Fraser, Fraser Research 4pm Monday 5th December 2005 Room 2511, JCMB, King's Buildings
Page Linear Abadi and Plotkin Logic
Rasmus Ejlers Møgelbergs U. of Genova 2pm Friday 2nd December 2005 Room 2511, JCMB, King's Buildings
Page On model-checking trees generated by higher-order recursion schemes
Luke Ong Oxford University Computing Laboratory 4pm Tuesday 15th November 2005 Room 2511, JCMB, King's Buildings
Page Prospects for a Calculus of Mobile Broadcasting Systems
K.V.S. Prasad Department of Computing Science Chalmers University of Technology 4pm Thursday 3rd November 2005 Room 2511, JCMB, King's Buildings
Page The Use of the Decomposition Method in the Analysis of Perfect Graphs
Kristina Vuskovic School of Computing University of Leeds 4pm Tuesday 1st November 2005 Room 2511, JCMB, King's Buildings
Page Type Theory in Sequent Calculus
Stephane Lengrand University of St. Andrews and University Paris VII 11am Friday 28th October 2005 Room 2511, JCMB, King's Buildings
Page Recursive Markov Decision Processes and Recursive Stochastic Games
Kousha Etessami Lab for Foundations of Computer Science University of Edinburgh 4pm Tuesday 25th October 2005 Room 2511, JCMB, King's Buildings
Page Rational Behaviour and Strategy Construction in Infinite Multiplayer Games
Michael Ummels Department of Computer Science and RWTH Aachen 2pm Wednesday 19th October 2005 Room 2511, JCMB, King's Buildings
Page An express Scala tutorial
Burak Emir Programming Methods Laboratory EPFL, Lausanne 4pm Tuesday 27th September 2005 Room 2511, JCMB, King's Buildings
Page Some Aspects of the Integration of Logic-Based and Connectionist Systems
Anthony K. Seda Department of Mathematics and Boole Centre University College Cork 3:30pm Thursday 22nd September 2005 Room 2511, JCMB, King's Buildings
Page A Hierarchical Analysis of Propositional Temporal Logic based on Intervals
Ben Moszkowski Software Technology Research Laboratory De Montfort University 4pm Tuesday 13th September 2005 Room 2511, JCMB, King's Buildings
Page Two results on bisimulation
Sibylle Fröschle University of Warsaw 4pm Thursday 18th August 2005 Room 2511, JCMB, King's Buildings
Page A hierarchy of failures-based semantic models
Christie Bolton University of St Andrews 4pm Tuesday 14th June 2005 Room 2511, JCMB, King's Buildings
Page Tight Lower Bounds for Query Processing on Streaming and External Memory Data
Martin Grohe Institut fur Informatik Humboldt-University, Berlin 2pm Friday 6th May 2005 Room 2511, JCMB, King's Buildings
Page On Weighted Balls-into-bins Games
Tom Friedetzky Department of Computer Science University of Durham 4pm Tuesday 22nd March 2005 Room 2511, JCMB, King's Buildings
Page The Multivariate Tutte Polynomial (alias Potts Model) for Graphs and Matroids
Alan Sokal Department of Physics New York University 4pm Tuesday 15th March 2005 Room 5215, JCMB, King's Buildings
Page XML Data Exchange: Consistency and Query Answering
Marcelo Arenas Department of Computer Science University of Toronto 2pm, Friday 11 March 2005 Room 2.02, Appleton Tower
Page Hard-to-solve Bimatrix Games
Bernhard von Stengel Department of Mathematics London School of Economics 3pm Tuesday 22nd February 2005 Room 2511, JCMB, King's Buildings
Page A coarser version of the Wagner Hierarchy
Jacques Duparc Institut d'Informatique et Organisation Universite de Lausanne 4pm 15 February 2005 Room 2511, JCMB, King's Buildings
Page Operational Domain Theory and Topology of a Sequential Programming Language
Martin Escardo School of Computer Science University of Birmingham 2pm, Friday 11 February 2005 Room 2511, JCMB, King's Buildings
Page Binding Signature for Generic Contexts
Miki Tanaka National Institute of Information and Communications Technology Japan 4pm, Thursday 27 January 2005 Room 2511, JCMB, King's Buildings
Page Nominal Reasoning Techniques in Isabelle/HOL
Christian Urban Department of Mathematics Ludwig-Maximilians-Universitat Munich 4pm, Tuesday 25 January 2005 Room 2511, JCMB, King's Buildings
Page Answer-type Polymorphism in Continuation Passing
Hayo Thielecke School of Computer Science University of Birmingham 2pm, Friday 21 February 2005 Room 2511, JCMB, King's Buildings
Page Towards a High-Level Quantum Programming Language
Thorsten Altenkirch School of Computer Science and Information Technology University of Nottingham 2pm, Friday 4 February 2005 Room 2511, JCMB, King's Buildings
Document Actions