Programme of FinCo at ETAPS 2007

(Foundations of Interactive Computation)

Saturday, March 31, room: CP2-106

09:00 - 10:30 SESSION 1

Welcome

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

Closing

Dina Goldin (Brown University, USA)

18:45 SOCIAL EVENT

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:

• Programme Overview, Social Programme
• Main Conferences: Complete Programme, CC, ESOP, FASE, FOSSACS, TACAS
• Workshops: ACCAT, Bytecode, COCV, FESCA, GT-VMT, HAV, HFL, LDTA, MBT, MOMPES, OpenCert, QAPL, SC, SLA++P, TERMGRAPH, WITS
• Tutorials: Stratego/XT, SoftwGen, Mobius