Programme of FinCo at ETAPS 2007
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
ETAPS 2007 |
Top |
HTML 4.01 |
Last Update: 2007-03-13