ETAPS 2012 Schedule.pdf

ETAPS 2012 satellite workshops were held at Tallinn University of Technology Building X on March 24-25. The event featured various sessions and presentations across multiple tracks, including GT-VMT, WRLA, FICS, BX, FIT, iWIGP, MBT, MSFP, VSSE, and IFIP TC1.

March 24:

The day started with invited talks by Andreas Abel, Saddek Bensalem, and Gabriele Taentzer.
Sessions covered topics such as type-based termination, component-based system design, and meta-model instance generation.
Presentations included "Design and Analysis of Cloud-Based Architectures with KLAIM and Maude" by Martin Wirsing and "Optimizing Model-Based Software Product Line Testing with Graph Transformations" by Anthony Anjorin.
The day concluded with a transition to daylight saving time.

March 25:

The day began with a closed meeting and invited talks by Neil Ghani, José Luiz Fiadeiro, and Mark Hills.
Sessions covered topics such as software upgrade checking, fibred data types, and interface and component algebra for service-oriented design.
Presentations included "SymDiff: Leveraging and Extending Program Verification Techniques for Comparing Programs" by Shuvendu K. Lahiri and "Regression Verification for Multi-Threaded Programs" by Ofer Strichman.
The day featured discussions, presentations, and invited talks on various topics, including model-based security testing, lens put-put laws, and refinement for transition systems with responses.
* The event concluded with presentations on empirical analysis of vulnerability evolution, testing evolving software, and dependently typed continuation monads as models in logic.