Monday 29/09
SESSION 1 - 11:00 - 12:30 (Auditorium 1)
Parameterisation of Three-Valued Abstractions
Nils Timm and Stefan Gruner
A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model
Bruno Ferreira, Fernando Braz and Sérgio Campos
Bruno Ferreira, Fernando Braz and Sérgio Campos
Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection
Grigory Fedyukovich and Natasha Sharygina
Grigory Fedyukovich and Natasha Sharygina
SESSION 2 - 14:30 - 16:00 (Auditorium 1)
Completeness and decidability results for hybrid(ised) logics
Renato Neves, Manuel A. Martins and Luis Barbosa
Renato Neves, Manuel A. Martins and Luis Barbosa
A coinductive animation of Turing Machines
Alberto Ciaffaglione
Alberto Ciaffaglione
Mechanised Semantics of BSP Routines with Subgroup Synchronisation
Frédéric Gava and Jean Fortin
Frédéric Gava and Jean Fortin
Tuesday 30/09
SESSION 3 - 11:00 - 12:30 (Auditorium 1)
Formalization of Z-Syntax to reason about Molecular Pathways in HOL4
Sohaib Ahmad, Osman Hasan, Umair Siddique and Sofiene Tahar
Sohaib Ahmad, Osman Hasan, Umair Siddique and Sofiene Tahar
Test Case Selection Criteria for Symbolic Models of Real-Time Systems
Diego Almeida, Alan Moraes, Wilkerson Andrade and Patricia Machado
Diego Almeida, Alan Moraes, Wilkerson Andrade and Patricia Machado
Use Case Analysis based on Formal Methods: An Empirical Study
Marcos Antonio de Oliveira Junior, Leila Ribeiro, Erika Cota, Lucio Mauro Duarte, Ingrid Nunes and Filipe Reis
Marcos Antonio de Oliveira Junior, Leila Ribeiro, Erika Cota, Lucio Mauro Duarte, Ingrid Nunes and Filipe Reis
SESSION 4 - 14:30 - 16:00 (Auditorium 1)
A dynamic logic for every season
Alexandre Madeira, Renato Neves, Manuel A. Martins and Luis Barbosa
Alexandre Madeira, Renato Neves, Manuel A. Martins and Luis Barbosa
Model-Driven Engineering in the Heterogeneous Tool Set
Daniel Calegari, Till Mossakowski and Nora Szasz
Daniel Calegari, Till Mossakowski and Nora Szasz
A Proposal for Integrating Formal Methods into a Lightweight UML-driven Development Process
Thiago C. de Sousa and Paulo Sérgio Muniz Silva
Thiago C. de Sousa and Paulo Sérgio Muniz Silva
Wednesday 01/10
SESSION 5 - 11:00 - 11:30 (Siriguela Room)
Including Running System Implementations in the Simulation of System of Systems Models
Kenneth Lausdahl, Claus Ballegaard Nielsen and Klaus Kristensen
Kenneth Lausdahl, Claus Ballegaard Nielsen and Klaus Kristensen
Follow 
