Differences

This shows you the differences between two versions of the page.

--- svarm11:program [2011/04/12 19:11]
cesar.sanchez
+++ svarm11:program [2011/04/12 20:14] (current)
cesar.sanchez
@@ Line 25: / Line 25: @@
 ^ 09:00 - 10:20 ^ ^ SESSION 3 ^ ^
 | 09:00 | Philipp Ruemmer | Craig interpolation for integer arithmetic, uninterpreted functions, and the theory of arrays | {{:svarm11:slides-philipp-ruemmer.pdf|slides}}|
-| 09:20 | Alessandro Armando | SMT-based symbolic model checking of administrative access control policies | |
+| 09:20 | Alessandro Armando | SMT-based symbolic model checking of administrative access control policies | {{:svarm11:armandotalk-svarm11.pdf|slides}}|
 | 09:40 | Eran Yahav |Synthesis of memory fences | {{:svarm11:yahavslides.pptx|slides}} |
 | 10:00 | | | |
@@ Line 68: / Line 68: @@
 | | | | |
 ^ 14:00 - 16:00 ^ ^ SESSION 9 ^ ^
-| 14:00 | Ruslán Garza | Analysis and Verification of Higher Order Functional Programs: An Automata Theoretic Approach | {{:svarm11:garzasvarm11.pdf|slides}} |
+| 14:00 | Ruslán Ledesma Garza | Analysis and Verification of Higher Order Functional Programs: An Automata Theoretic Approach | {{:svarm11:garzasvarm11.pdf|slides}} |
 | 14:20 | Johannes Kinder | Static Analysis of x86 Executables | |
 | 14:40 | Ruzica Piskac | Software Synthesis using Automated Reasoning |{{:svarm11:ruzicapiskac.ppt|slides}} |