| 11:00-12:00 | Joshua Guttman | Invited Speaker |
| 12:00-12:30 |
Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch and Mathieu Turuani |
Solving negative intruder constraints -Application to services composition with non-disclosure policies |
| 12:30-14:15 | Lunch | |
| 14:15-15:15 | Carsten Schuermann | Invited Speaker |
| 15:15-15:45 |
Salman Saghafi, Timothy Nelson and Daniel Dougherty |
Geometric Logic for Policy Analysis |
| 15:45-16:30 | Coffee break | |
| 16:30-17:00 |
Zhiqiang Ren and Hongwei Xi | A Programmer-Centric Approach to Program Verification in ATS |
| 17:00-17:30 |
Michel St-Martin and Amy Felty | A Verified Algorithm for Detecting Conflicts in XACML Access Control Rules |