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




9:45-10:10 Welcome coffee
10:15-10:20 Larry Manevitz (Acting Director of CRI)


10:20-11:10 Robert Constable (Cornell University, USA)

On the Semantics of Languages and Systems Using Computational Type Theory

11:10-11:30 Coffee break
11:30-12:20 Uri Abraham (Ben-Gurion University)

On Tarskian Structures in Concurrency (How to Classify Bakery like Protocols)

12:20-1:10 Nachum Dershowitz (Tel Aviv University)

Formalizing Analog Algorithms

1:10-2:15 Light lunch for participants (sandwiches at CRI; directly above lecture hall)
2:15-3.30 Jeffery Zucker (McMaster University, Canada)

Fixed-point Semantics for Analog Computation on Metric Algebras

3:30-4:20 Shmuel Katz (Technion)

Understanding Aspects: Their Semantics, Specifications, and Verification

4:20-4:50 Coffee Break
4:50-5:40 Arnon Avron (Tel Aviv University)

Non-deterministic Matrices and Modular Semantics of Rules

5:40-6:30 Doron Peled (Bar-Ilan University)

Monitoring Partial Order Snapshots