PhD Symposium Program
|Time||June 5 |
|08:30-09:30 || Invited Talk 1 |
|09:30-10:00 || Session 1 |
|10:30-12:00|| Session 2 |
|13:30-14:30|| Invited Talk 2 |
|14:30-15:00|| Session 3 |
|15:30-17:30|| Session 4 |
Invited Talk 1
8:30- 9:30, Room M104.
Mohammad Reza Mousavi (Halmstad University, Sweden) will talk about “How to Write and Present a Computer Science Paper”.
9:30-10:00, Room M104.
Model Based construction of reliable Concurrent Software. Raúl Nestor Neri Alborodo.
10:30-12:00, Room M104.
Using the theory of institutions to integrate software models via refinement. Marie Farrell.
Modeling Metablic Networks in Event-B. Usman Sanwal, Luigia Petre, and Ion Petre.
The Burden of High-Level Languages: Complicated Symbolic Model Checking. Sebastian Krings.
Invited Talk 2
13:30-14:30, Room M104.
Carlo Ghezzi (Politecnico di Milano, Italy) will talk about “Formal models and verification to support software evolution”.
14:30-15:00, Room M104.
15:30-17:30, Room M104.
Specifying BYOD Policies With Authorisation Logic. Joseph Hallett and David Aspinall.
Practice-Oriented Formal Methods for PLC Programs of Industrial Control Systems. Dániel Darvas.
Software model checking in floating-points dominated C programs. Ahmed Mahdi and Martin Fränzle.
Combining parallel techniques for Cloud-Based SMT Solving. Matteo Marescotti.