Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
svarm [2010/04/29 10:53] vkuncak |
svarm [2010/04/29 10:54] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Synthesis, Verification, and Analysis of Rich Models (SVARM) ====== | ====== Synthesis, Verification, and Analysis of Rich Models (SVARM) ====== | ||
| - | |||
| ^ [[svarm:program|SVARM Program]] ^ | ^ [[svarm:program|SVARM Program]] ^ | ||
| Line 17: | Line 16: | ||
| * **[[http://formal.iti.kit.edu/english/team_beckert.php|Bernhard Beckert]]: Formal Verification of System Software** | * **[[http://formal.iti.kit.edu/english/team_beckert.php|Bernhard Beckert]]: Formal Verification of System Software** | ||
| + | ^ [[svarm:program|SVARM Program]] ^ | ||
| Abstract submission is now closed ([[svarm-cfp.txt|Call for Abstracts in Text Format]]) | Abstract submission is now closed ([[svarm-cfp.txt|Call for Abstracts in Text Format]]) | ||