Differences

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

--- svarm11:program [2011/04/12 17:58]
cesar.sanchez
+++ svarm11:program [2011/04/12 20:14] (current)
cesar.sanchez
@@ Line 1: / Line 1: @@
-====== Synthesis, Verification, and Analysis of Rich Models (SVARM 2010) ======
+====== Synthesis, Verification, and Analysis of Rich Models (SVARM 2011) ======
-You can find the program in pdf {{:svarm11:program.pdf|here}}.
+You can find the {{:svarm2011.pdf|Meeting Program}} in pdf format.
@@ 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 62: / Line 62: @@
 | 11:00| Denis Trček | On Rich Models Issues for Trust Management & Qualitative Algebra | |
 | 11:20| Christian von Essen | Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives |{{:svarm11:vonessentalk.pdf|slides}} |
-| 11:40| Alexis Marechal | Verifying Design Patterns using Symbolic Model Checking | |
+| 11:40| Alexis Marechal | Verifying Design Patterns using Symbolic Model Checking | {{:svarm11:marechalmain.pdf|slides}}|
 | 12:00| Stefan Ratschan | Numerical constraint solving based on linear relaxations | {{:svarm11:ratschan.pdf|slides}}|
 | | | | |
@@ 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}} |