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
Previous revision
Last revision Both sides next revision
svarm11:program [2011/04/12 17:24]
cesar.sanchez
svarm11:program [2011/04/12 19:11]
cesar.sanchez
Line 1: Line 1:
-We will upload the slides for SVARM'11 here.+====== Synthesis, Verification,​ and Analysis of Rich Models (SVARM 2011) ====== 
 + 
 +You can find the {{:​svarm2011.pdf|Meeting Program}} in pdf format. 
  
 ====== Friday, April 1 ====== ====== Friday, April 1 ======
Line 22: Line 25:
 ^ 09:00 - 10:20 ^ ^ SESSION 3 ^ ^ ^ 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: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}} | | 09:40 | Eran Yahav |Synthesis of memory fences | {{:​svarm11:​yahavslides.pptx|slides}} |
 | 10:00 | | | | | 10:00 | | | |
Line 52: Line 55:
 ^ 09:00 - 10:20 ^ ^ SESSION 7 ^ ^ ^ 09:00 - 10:20 ^ ^ SESSION 7 ^ ^
 | 09:00 | Darko Marinov | Invited talk: Systematic Software Testing Using Test Abstractions | | | 09:00 | Darko Marinov | Invited talk: Systematic Software Testing Using Test Abstractions | |
-| 10:00 | Tuomas Launiainen | Efficient model checking of PSL safety properties |  |+| 10:00 | Tuomas Launiainen | Efficient model checking of PSL safety properties | {{:​svarm11:​tuomasslides.pdf|slides}} ​|
 | | | | | | | | | |
 ^ 10:30 - 11:00 ^ ** Coffee Break ** ^ ^ ^ ^ 10:30 - 11:00 ^ ** Coffee Break ** ^ ^ ^
Line 59: 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}}|
 | | | | | | | | | |