Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
svarm11:program [2011/04/12 18:01]
cesar.sanchez
svarm11:program [2011/04/12 19:11]
cesar.sanchez
Line 62: Line 62:
 | 11:00| Denis Trček | On Rich Models Issues for Trust Management & Qualitative Algebra | | | 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: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}}| | 12:00| Stefan Ratschan | Numerical constraint solving based on linear relaxations | {{:​svarm11:​ratschan.pdf|slides}}|
 | | | | | | | | | |