Symposia (programs subject to change):

• Models of Computation (March 10-12)
  
• Wednesday afternoon (13:45-17:45) -- Berglas Building 101 (School of Economics)
  • Greetings
    
  • Hilary Putnam (Harvard): Logic after Gödel
  • Nachum Dershowitz (Tel Aviv): Comparing computational models
  • Janos Makowsky (Technion): 50 years of the spectrum problem
  • Udi Shapiro (Weizmann): Biomolecular computers
• Thursday morning (8:45-12:00) -- Berglas Building 101
  • Coffee & Cake
    
  • Boaz Trakhtenbrot (Tel Aviv): Continuous time
  • Félix Costa (Lisbon): Analog computation
    
  • Jeff Zucker (McMaster): Computation on metric algebras
• Thursday afternoon (14:00-18:00) -- Berglas Building 101
  • Gordon Plotkin (Edinburgh): Towards a logic for computational effects
  • Vladimir Sazonov (Liverpool): An inductive definition of fully abstract models for PCF and PCF+
  • Nissim Francez (Technion): A Lambek-automaton
  • Panel Discussion: Semantics--Where have we gone wrong?
• Friday morning (8:45-12:00) -- Schreiber Building 006
  • Coffee & Cake
  • Samson Abramsky (Oxford): A categorical semantics of quantum protocols
  • Doron Peled (Warwick): Black box checking
  • Bob Constable (Cornell): Verifying distributed protocols using a logic of events

Logic and Computation (March 17-19)

• Wednesday afternoon (13:45-18:00) -- Schreiber Building 309
  • Greetings
    
  • Haim Gaifman (Columbia U): Diagonalization, language and names
  • Sergei Artemov (Graduate Center CUNY): Proof carrying formulas and reflexive combinatory logic
  • Mel Fitting (CUNY): Proofs as reasons, a semantical approach to LP
  • Panel Discussion: Logic and foundations--Where are we and where are we headed?
• Thursday morning (8:45-12:00) -- Schreiber Building 309
  • Coffee & Cake
  • David Harel (Weizmann): Using logic to compute
  • Zohar Manna (Stanford): Beyond linear ranking functions
  • Alex Rabinovich (Tel Aviv): Expressive power of temporal logics
• Thursday afternoon (14:00-17:50) -- Schreiber Building 309
  • Anatol Slissenko (Paris): Decision and feasibility problems in verification based on predicate logics
  • Mars Valiev (Moscow): On verification of dynamic properties of multi-agent systems
  • Zurab Khasidashvili (Intel Haifa): An axiomatization of residuals
    
  • Vladimir Sazonov (Liverpool): A hyperset approach to semi-structured or web-like databases
• Friday morning (8:45-12:40) -- Schreiber Building 006
  • Coffee & Cake
  • Eli Shamir (Hebrew U): Satisfiability, coverage and learning of Boolean formulas in normal form
  • Daniel Lehmann (Hebrew U): The logic of quantum measurements
  • Arnon Avron (Tel Aviv): Non-deterministic multiple-valued structures
  • Mooly Sagiv (Tel Aviv): Verifying safety properties of concurrent Java programs using 3-valued logic