Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
madrid13 [2013/10/25 08:01] enric.rodriguez.carbonell |
madrid13 [2013/11/11 07:59] 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) ^^ | ||
Line 41: | Line 41: | ||
^ 12:00 - 14:00 ^ ** BUSINESS MEETING / LUNCH ** ^^ | ^ 12:00 - 14:00 ^ ** BUSINESS MEETING / LUNCH ** ^^ | ||
^ SESSION 5 ^ Logics, Formal Languages and Semantics (Chair: Predrag Janicic) ^^ | ^ SESSION 5 ^ Logics, Formal Languages and Semantics (Chair: Predrag Janicic) ^^ | ||
- | | 14:00 - 14:30 | Tarmo Uustalu | {{:madrid13-abs-Tarmo-Uustalu.pdf|A Hoare Logic for Reasoning About Nonterminating Behaviors}} | | + | | 14:00 - 14:30 | Tarmo Uustalu | {{:madrid13-slides-Tarmo-Uustalu.pdf|A Hoare Logic for Reasoning About Nonterminating Behaviors}} | |
| 14:30 - 15:00 | Denis Firsov | {{:madrid13-slides-Denis-Firsov.pdf|Formalizing Attribute Grammars and Circularity Checking}} | | | 14:30 - 15:00 | Denis Firsov | {{:madrid13-slides-Denis-Firsov.pdf|Formalizing Attribute Grammars and Circularity Checking}} | | ||
| 15:00 - 15:30 | Adam Rogalewicz | {{:madrid13-slides-Adam-Rogalewicz.pdf|The Tree Width of Separation Logic with Recursive Definitions}} | | | 15:00 - 15:30 | Adam Rogalewicz | {{:madrid13-slides-Adam-Rogalewicz.pdf|The Tree Width of Separation Logic with Recursive Definitions}} | |