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 People
Details of LFCS members.
Image AGordon
File ERI presentation
Folder Abstract Archives
Folder 2004
Folder 1997
Folder 2003
Folder 2000
Folder 2001
Folder 2007-2008
Folder 2005
Folder 2006-2007
Folder 1999
Folder 1998
Page Learning in Natural Language
Dan Roth
Page Computational interpretations of resource-sensitive logics
James Harland Royal Melbourne Institute of Technology Visiting Queen Mary and Westfield College, London 4pm Tuesday 7 December 1999 Room 2511, JCMB, ...
Page Recent advances on o-minimality, and associated algorithmic problems
Angus Macintyre Department of Mathematics and Statistics, University of Edinburgh 4pm Tuesday 30 November 1999 Room 2511, JCMB, King's Buildings
Page A theory of efficiency for Markovian processes
Marco Bernardo Department of Computer Science University of Bologna, Italy 4pm Tuesday 23 November 1999 Room 3218, JCMB, King's Buildings [NOTE ...
Page Towards a theory of general processes
Marcelo Fiore School of Cognitive and Computing Sciences University of Sussex 4pm Tuesday 26 October 1999 Room 2511, JCMB, King's Buildings
Page On the expressive power of CTL*
Faron Moller Computing Science Department Uppsala University 4pm Tuesday 14 September 1999 Room 2511, JCMB, King's Buildings
Page Safety of formulas in query languages, in arithmetics, and in set theory
Arnon Avron School of Mathematical Sciences Tel-Aviv University 4pm Tuesday 31 August 1999 Room 2511, JCMB, King's Buildings
Page Linear Bicategories
Robin Cockett (Department of Computer Science, Calgary, Canada) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 4th November 1997
Page From sequential to multi-threaded Java: An event-based operational semantics
Martin Wirsing (University of Munich) LFCS Theory Seminar, Room 2511, JCMB, King's Buildings 1.30pm, Monday 10th November 1997
Page Operational interpretation of recursive subtyping
Fritz Henglein (DIKU, U. of Copenhagen) LFCS Theory Seminar Room 6206, JCMB, King's Buildings 3pm, Thursday 4th December 1997
Folder 2002
Page Automaticity of Modal Logics with Fixed Points
Anuj Dawar Computer Laboratory University of Cambridge 4pm Tuesday 15th January 2002 Room 2511, JCMB, King's Buildings
Page Canonical Prefixes of Petri Net Unfoldings
Victor Khomenko Department of Computing Science University of Newcastle upon Tyne 12pm Thursday 11th January 2002 Room 2511, JCMB, King's Buildings
Page Separation Logic: A Logic for Shared Mutable Data Structures
John C. Reynolds Computer Science Department Carnegie Mellon University 4pm Tuesday 26th November 2002 Room 2511, JCMB, King's Buildings
Page On Algebraic Specifications of Abstract Data Types
Bakhadyr Khoussainov Department of Computer Science University of Auckland 4pm Tuesday 19th November 2002 Room 2511, JCMB, King's Buildings
Page The Phi-calculus - a new language for distributed control of continuous reconfigurable systems
Bill Rounds Department of Electrical Engineering and Computer Science University of Michigan 4pm Tuesday 12th November 2002 Room 2511, JCMB, King's ...