Personal tools
You are here: Home Events Abstract Archives 2000

2000

Page Minimisation vs. recursion in higher types
Ulrich Berger University of Wales, Swansea 4pm Friday 4 February 2000 Room 2511, JCMB, King's Buildings
Page Sampling Colourings and the Coupling Technique
Eric Vigoda LFCS, University of Edinburgh 4pm Tuesday 8 February 2000 Room 2511, JCMB, King's Buildings
Page A process calculus with explicit fusions
Philippa Gardner University of Cambridge Computer Laboratory 4pm Tuesday 7 March 2000 Room 6206, JCMB, King's Buildings
Page Geometry of Interaction and distributed implementation of functional programming languages
Marco Pedicini Istituto per le Applicazioni del Calcolo, CNR, Rome 4pm Tuesday 14 March 2000 Room 2511, JCMB, King's Buildings
Page Dependently typed records for representing mathematical structure
Randy Pollack University of Durham 4pm Tuesday 21 March 2000 Room 2511, JCMB, King's Buildings
Page Soundness of the Logical Framework for its Typed Operational Semantics
Healfdene Goguen AT+T 2:30pm Thursday 23 March 2000 Room 2511, JCMB, King's Buildings
Page Antisymmetry of higher-order subtyping
Adriana Compagnoni Stevens Institute of Technology 11am Friday 24 March 2000 Room 2511, JCMB, King's Buildings
Page Programming with dependent types
Yorck Hünke Oxford University Computing Laboratory 4pm Tuesday 4 April 2000 Room 2511, JCMB, King's Buildings
Page Model checking the Java meta-locking algorithm
Samik Basu and Orson Ward SUNY, Stony Brook 4pm Monday 10 April 2000 Room 2511, JCMB, King's Buildings
Page Extended Static Checking for Java
Rustan Leino Compaq SRC 4pm Tuesday 11 April 2000 Room 2511, JCMB, King's Buildings
Page Engineering UML
Stuart Kent University of Kent at Canterbury 4pm Tuesday 16 May 2000 Room 2511, JCMB, King's Buildings
Page Models for name passing processes: interleaving and causal
Gian Luca Cattani University of Cambridge Computing Laboratory 3:30pm, Tuesday 6 June 2000 (NOTE NON-STANDARD TIME) Room 2511, JCMB, King's Buildings
Page Realizability models for BLL-like languages
Phil Scott University of Ottawa 4pm, Wednesday 7 June 2000 Room 2511, JCMB, King's Buildings
Page Broad-spectrum studies of log file analysis What route will formal methods follow to get into standard software practice?
Jamie Andrews University of Western Ontario 4pm, Thursday 7 June 2000 Room 2511, JCMB, King's Buildings
Page Semantics of parameterised modules using sketches
Yoshiki Kinoshita Electrotechnical Laboratory, Amagasaki-shi, Japan 4pm, Tuesday 4 July 2000 Room 2511, JCMB, King's Buildings
Page Potts models, chromatic polynomials and all that
Alan Sokal Department of Physics, New York University 4pm, Tuesday 25 July 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
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 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 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 application of ideas from algebraic specification to linguistics was supervised at Edinburgh by Ewan Klein and Don Sannella. Contact Lex Holt if you would like to meet the speaker during his visit here. This seminar is arranged in collaboration with the Institute for Communicating and Collaborative Systems.
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 Poly-bicategories
Jürgen Koslowski Technische Universität, Braunschweig 4pm, Thursday 12 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 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 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 Verification of broadcast protocols
Javier Esparza Technical University of Munich 4pm, Friday 3 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 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 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 computational dimension of a topological space
Hideki Tsuiki University of Kyoto 3pm, Tuesday 28 November 2000 Room 2511, 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 Contention Resolution in Multiple-Access Channels
Leslie Ann Goldberg University of Warwick 4pm Thursday 14 December 2000 Room 2509, JCMB, King's Buildings
Document Actions