PhD Symposium Program
| Time | June 5 |
|---|---|
| 08:30-09:30 | Invited Talk 1 |
| 09:30-10:00 | Session 1 |
| 10:00-10:30 | Coffee Break |
| 10:30-12:00 | Session 2 |
| 12:00-13:30 | Lunch |
| 13:30-14:30 | Invited Talk 2 |
| 14:30-15:00 | Session 3 |
| 15:00-15:30 | Coffee Break |
| 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”.
Session 1
9:30-10:00, Room M104.
Model Based construction of reliable Concurrent Software. Raúl Nestor Neri Alborodo.
Session 2
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”.
Session 3
14:30-15:00, Room M104.
Session 4
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.