2009

CRI Workshop on Semantics in Computation  

In Honor of Jeffery Zucker

McMaster University, Canada

Wednesday, 23rd December, 9:45 – 18:30
Room  570 – Education Building –University of Haifa

Invited Speakers:

• Prof. Uri Abraham, Ben-Gurion University
  On Tarskian Structures in Concurrency (How to Classify Bakery like Protocols)
• Prof. Arnon Avron, Tel Aviv University
  Non-deterministic Matrices and Modular Semantics of Rules
• Prof. Robert Constable, Cornell University, USA
  On the Semantics of Languages and Systems Using Computational Type Theory
• Prof. Nachum Dershowitz, Tel Aviv University
  Formalizing Analog Algorithms
• Prof. Shmuel Katz, Technion
  Understanding Aspects: Their Semantics, Specifications, and Verification
• Prof. Doron Peled, Bar-Ilan University
  Monitoring Partial Order Snapshots
• Prof. Jeffery Zucker (the honoree), McMaster University, Canada
  Fixed-point Semantics for Analog Computation on Metric Algebras

Speakers are listed alphabetically