Sunday, March 21st
| 08:30 |
Registration |
|||
| 09:00 |
Tutorials |
CMCS Programme details to be announced |
Actions Semantics Workshop Invited talk Philipp Kutter, Alfonso Pierantonio (TIK, ETH Zürich, Switzerland): Generating an Action Notation Environment from Montages Descriptions |
|
| G. Castagna (ENS Paris),
Foundations of object-oriented programming |
||||
| 10:00 |
Tools Stephan Diehl (Universität des Saarlandes, Saarbrücken, Germany): Bootstrapped Semantics-Directed Compiler Generation |
|||
| 10:30 |
Coffee |
|||
| 11:00 |
Tools, continued Hermano Perrelli de Moura, Luis Carlos de Sousa Menezes (Federal University of Pernambuco, Recife, Brazil): The Abaco System - An Algebraic Based Action Compiler 11:30 Kyung-Goo Doh, Hyun-Goo Kang (Hanyang University, Korea): Online Partial Evaluation of Actions 12:00 Kent D. Lee (University of Iowa, USA): Tuple Sort Inference in Action Semantics |
|||
| 12:30 |
Lunch |
|||
| 14:00 |
Tutorials (continued) |
CMCS (continued) |
Actions Semantics Workshop (continued) Recent action-semantic descriptions David A. Watt (University of Glasgow, Scotland): The Static and Dynamic Semantics of SML 14:30 Deryck Brown (The Robert Gordon University, Aberdeen, Scotland), David A. Watt (University of Glasgow, Scotland): JAS: a Java Action Semantics |
|
| 15:00 |
Coffee |
|||
| 15:30 |
Theoretical foundations Peter D. Mosses (SRI International, Menlo Park, USA): A Modular SOS for Action Notation 16:00 Søren B. Lassen (University of Cambridge, England): To be announced 16:30 Concluding discussion: The Future of Action Semantics (with position statements by Peter D. Mosses and David A. Watt) |
|||
| 17:30 |
Close |
|||
| 19:00 |
Registration and welcome drinks |
|||