Programme of FinCo at ETAPS 2007

(Foundations of Interactive Computation)

Saturday, March 31, room: CP2-106

09:00 - 10:30 SESSION 1

Invited Talk
Event-driven Design in Practice and Theory
Bertrand Meyer, ETH Zurich and Eiffel Software

10:30 - 11:00 Coffee Break

11:00 - 12:30 SESSION 2

Specification and Analysis of Interactive Agents
A Formal Framework for Interactive Agents
Carolyn L. Talcott (SRI International, USA)
Observable Behavior of Dynamic Systems: Component-Based Reasoning for Concurrent Objects
Johan Dovland, Einar Broch Johnsen, and Olaf Owe (Univ. Oslo, Norway)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Modeling Interaction
Interaction in Time and Space
Gabriel Ciobanu (A.I.Cusa Univ., Romania)
Validating for Liveness in Hidden Adversary Systems
Saikat Mukherjee, Srinath Srinivasa, and SatishChandra D. (IIIT Bangalore, India)
AGAPIA v0.1: A Programming Language for Interactive Systems and its Typing System
Cezara Dragoi and Gheorghe Stefanescu (Univ. Bucharest, Romania)

16:00 - 16:30 Coffee Break

16:30 - 18:30 SESSION 4

Programming Languages for Interactive Computing
Programming Languages for Interactive Computing
Roly Perera
Panel Discussion
Models and Languages for Interactive Systems
all speakers
Dina Goldin (Brown University, USA)


Joint Workshops Post-Conference Dinner (tickets needed)
Dinner at Pousada Santa Maria de Bouro
Shuttle departure from University Campus, Gualtar

Further ETAPS 2007 Programme Information:

ETAPS 2007 | Top | HTML 4.01 | Last Update: 2007-03-13