| 09:30 - 10:30: | Invited talk: Ana Cavalcanti. Can Java ever be safe?
|
| 10:30: | Coffee break
|
| 11:00 - 11:30: | Thien Binh Nguyen, Thanh Tho Quan, Minh Hai Nguyen, Huu Vu Nguyen and Cong Dinh Nguyen.HOPE: A Framework for Handling Obfuscated Polymorphic Malware
|
| 11:30 - 12:00: | Francesco Alberti. A SMT-based verification framework for software systems handling unbounded arrays
|
| 12:00 - 12:30: | Lin Gui. Reliability Analysis of Non-deterministic Systems
|
| 12:30: | Lunch
|
| 14:00 - 14:30: | William Denman. Formal Verification of Nonpolynomial Hybrid systems by Qualitative Abstraction
|
| 14:30 - 15:00: | Maya Retno Ayu Setyautami. Verification of Refactoring with Delta Representation
|
| 15:00 - 15:30: | Madiel Conserva Filho. Livelock Analysis for Component-Based Systemstd
|
| 15:30: | Coffee break
|
| 16:00: | Closing session
|