Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
svarm:program [2010/08/20 12:39] piskac |
svarm:program [2010/09/06 00:02] (current) piskac |
||
|---|---|---|---|
| Line 63: | Line 63: | ||
| ^ 15:00 - 15:20 ^ **Coffee Break** ^ ^ | ^ 15:00 - 15:20 ^ **Coffee Break** ^ ^ | ||
| | 15:20 | | //Session Chair: Viktor Kuncak// | | | 15:20 | | //Session Chair: Viktor Kuncak// | | ||
| - | | 15:20 | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic and Jovanka Pantovic | Types for dynamic web data with RBAC | | + | | 15:20 | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic and Jovanka Pantovic | Types for dynamic web data with RBAC {{:svarm:jaksicSlides.pdf|slides}} | |
| | 15:40 | Predrag Janicic and Filip Maric | Uniform reduction to SMT {{:svarm:janicicSlides.pdf|slides}} | | | 15:40 | Predrag Janicic and Filip Maric | Uniform reduction to SMT {{:svarm:janicicSlides.pdf|slides}} | | ||
| | 16:00 | Maria Paola Bonacina and Moa Johansson | Towards an Interpolating First-Order Prover | | | 16:00 | Maria Paola Bonacina and Moa Johansson | Towards an Interpolating First-Order Prover | | ||
| ^ 16:20 ^ **Closing Discussions** ^ ^ | ^ 16:20 ^ **Closing Discussions** ^ ^ | ||