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
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}} |