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