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/30 14:27]
enric.rodriguez.carbonell
madrid13 [2013/11/11 07:59] (current)
enric.rodriguez.carbonell
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}} |