Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
madrid13 [2013/10/25 08:01] enric.rodriguez.carbonell |
madrid13 [2013/10/30 14:27] enric.rodriguez.carbonell |
||
|---|---|---|---|
| Line 22: | Line 22: | ||
| | 14:00 - 15:00 | Invited talk : Virginie Wiels | {{:madrid13-slides-Virginie-Wiels.pdf|Formal Methods in Aerospace: Constraints, Assets and Challenges}} | | | 14:00 - 15:00 | Invited talk : Virginie Wiels | {{:madrid13-slides-Virginie-Wiels.pdf|Formal Methods in Aerospace: Constraints, Assets and Challenges}} | | ||
| | 15:00 - 15:30 | Antti Hyvärinen | {{:madrid13-slides-Antti-Hyvärinen.pdf|Verification-Aided Regression Testing}} | | | 15:00 - 15:30 | Antti Hyvärinen | {{:madrid13-slides-Antti-Hyvärinen.pdf|Verification-Aided Regression Testing}} | | ||
| - | | 15:30 - 16:00 | Pavle Subotic | {{:madrid13-abs-Pavle-Subotic.pdf|Exploring Interpolants}} | | + | | 15:30 - 16:00 | Pavle Subotic | {{:madrid13-slides-Pavle-Subotic.pdf|Exploring Interpolants}} | |
| | 16:00 - 16:30 | ** Coffee Break ** || | | 16:00 - 16:30 | ** Coffee Break ** || | ||
| ^ SESSION 3 ^ Synthesis and Games (Chair: Cesar Sanchez) ^^ | ^ SESSION 3 ^ Synthesis and Games (Chair: Cesar Sanchez) ^^ | ||