Differences
This shows you the differences between two versions of the page.
| Both sides previous 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}} | | ||