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 Satan's Computer, Revisited
Ross Anderson Cambridge University 4pm Tuesday 26th September 2006 Room 2511, JCMB, King's Buildings
Page Sequent Calculus Proof Systems for Inductive Definitions (Ph.D. completion seminar)
James Brotherston University of Edinburgh 4pm Tuesday 17th October 2006 Room 2511, JCMB, King's Buildings
Page The Cost of Punctuality
Joel Ouaknine Oxford University 4pm Tuesday 24th October 2006 Room 2511, JCMB, King's Buildings
Page Policy-Informed Program Analyses
Kathi Fisler and Shriram Krishnamurthi WPI and Brown University 4pm Tuesday 14th November 2006 Room 2511, JCMB, King's Buildings
Page Immune system computation and antigen-chip technology
Irun R. Cohen Department of Immunology Weizmann Institute 4pm Tuesday 20th Feb 2007 Room 2511, JCMB, King's Buildings
Page Silent Steps in Markov Chains
Nikola Trcka Eindhoven University of Technology 4pm Monday 19th May 2007 Room 2511, JCMB, King's Buildings
Page Managing Policy Updates in Security-typed Languages
Nikhil Swamy University of Maryland, MD, USA 11am Thursday 19th April 2007 Room 2509, JCMB, King's Buildings N.B. nonstandard day, time and room
Page On the complexity of approximating exact Fixed Points: Nash Equilibria, Stochastic Games, and Recursive Markov Chains
Kousha Etassami LFCS 4pm Tuesday 1st May 2007 Room 2511, JCMB, King's Buildings
Page Bishop's Constructive Mathematics today
Douglas Bridges University of Canterbury, Christchurch, New Zealand 4pm Wednesday 23rd May 2007 Room 2509, JCMB, King's Buildings Note nonstandard ...
Page Inductions in the Nominal Datatype Package (or, How Not to be Intimidated by the Variable Convention)
Christian Urban TU Munich 4pm Tuesday 29th May 2007 Room 2511, JCMB, King's Buildings
Page Realizability vs. Forcing
Thomas Streicher TU Darmstadt 4pm Tuesday 5th June 2007 Room 2511, JCMB, King's Building
Page Resourceful Lenses for Ordered Data
Benjamin Pierce University of Pennsylvania 2pm Friday 15th June 2007 Room 2511, JCMB, King's Buildings Note nonstandard day and time
Page Concurrent Processes for Software Analysis and Design
Gian Luca Cattani 4pm Monday 25th June 2007 Room 2511, JCMB, King's Buildings Note nonstandard day
Page Semantical proofs of totality for sequential, real number computation
Thomas Anberrée University of Birmingham 4pm Tuesday 26th June 2007 Room 2511, JCMB, King's Buildings
Page From Nand to Tetris in 12 Steps
Shimon Schocken IDC Herzliya 4pm Tuesday 3rd July 2007 Room 2511, JCMB, King's Buildings
Page Towards a formal language for writing electronic contracts
Gerardo Schneider Department of Informatics, University of Oslo 4pm Tuesday 17th July 2007 Room 2511, JCMB, King's Buildings
Page Algorithmic Meta-theorems
Martin Grohe Humboldt-Universität zu Berlin 4pm Tuesday 28th August 2007 Room 2511, JCMB, King's Buildings
Page The Logical Necessity of Inconsistency
Carl Hewitt MIT EECS (Emeritus) 4pm Tuesday 11th September 2007 Room 2511, JCMB, King's Buildings
Page The Myth of the Folk Theorem
Nicole Immorlica CWI 4pm Tuesday 12th August 2008 Room G03, Informatics Forum
Page Pure Subtype Systems: A Type Theory for Extensible Software
DeLesley Hutchins LFCS 3pm Tuesday 8th July 2008 Room 4.31, Informatics Forum Note nonstandard time
Page Interacting Quantum Observables, OR: Computing with Complementarity
Ross Duncan Computer Lab, University of Oxford 11am Thursday 3rd July 2008 Informatics Forum 4.31 Joint CISA/LFCS Seminar Note nonstandard day ...
Page Self-Adjusting Computation
Umut A. Acar Toyota Technological Institute, Chicago 11am Friday 30th May 2008 Room 2511, JCMB, King's Buildings Note nonstandard day and time
Page Verifying OO Programs: the good, the bad, and the ugly
Matthew Parkinson University of Cambridge 4pm Tuesday 13th May 2008 Room 2511, JCMB, King's Buildings
Page Optimal Hierarchical Decompositions for Congestion Minimisation in Networks
Harald Räcke University of Warwick 4pm Tuesday 6th May 2008 Room 2511, JCMB, King's Buildings
Page Negative Type Theory
Thomas Forster University of Cambridge 4pm Tuesday 29th April 2008 Room 2511, JCMB, King's Buildings
Page Security: what's the worst that can happen?
Pasquale Malacaria Queen Mary, University of London 4pm Tuesday 22nd April 2008 Room 2511, JCMB, King's Buildings
Page Type Inference for Correspondence Types
Hans Hüttel Aalborg University, Denmark 4pm Thursday 17th April 2008 Room 2511, JCMB, King's Buildings Note nonstandard day
Page Nash Equilibria in Graphical Games on Trees
Edith Elkind University of Southampton 4pm Tuesday 15th April 2008 Room 2511, JCMB, King's Buildings
Page What does atomic mean?
Tim Harris Microsoft Research, Cambridge 4pm Monday 31st March 2008 Room 2511, JCMB, King's Buildings Note nonstandard day
Page Axiomatics of No-Cloning and No-Deleting
University of Oxford 2pm Friday 28th March 2008 Room 2511, JCMB, King's Buildings Note nonstandard day and time