Differences

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

--- svarm11:program [2011/04/12 18:01]
cesar.sanchez
+++ svarm11:program [2011/04/12 19:11]
cesar.sanchez
@@ Line 1: / Line 1: @@
 ====== Synthesis, Verification, and Analysis of Rich Models (SVARM 2011) ======
-You can find the {{:svarm2011.pdf|Meeting Program}}in pdf format.
+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}}|
 | | | | |