Registration
This shows you the differences between two versions of the page.
|
workshop_4 [2014/06/28 10:26] ong [Planning] |
workshop_4 [2014/06/30 11:02] (current) ong [Planning] |
||
|---|---|---|---|
| Line 30: | Line 30: | ||
| |9h30-10h30|//Registration and Introduction//|| | |9h30-10h30|//Registration and Introduction//|| | ||
| |11h00-12h00|Martin Hofmann|//[[https://dl.dropboxusercontent.com/u/75950203/hofmann.pdf|Abstract Interpretation from Buchi Automata]]//| | |11h00-12h00|Martin Hofmann|//[[https://dl.dropboxusercontent.com/u/75950203/hofmann.pdf|Abstract Interpretation from Buchi Automata]]//| | ||
| - | |14h30-15h30|Olivier Serre|//What are collapsible pushdown automata good for?//| | + | |14h30-15h30|Olivier Serre|//[[http://www.liafa.univ-paris-diderot.fr/~serre/IHP/IHP_Serre_Full.pdf|What are collapsible pushdown automata good for?]]//| |
| |16h00-17h00|Sylvain Salvati|//Models for model checking higher-order programs//| | |16h00-17h00|Sylvain Salvati|//Models for model checking higher-order programs//| | ||
| ^Tuesday 24 June||| | ^Tuesday 24 June||| | ||
| Line 42: | Line 42: | ||
| |11h00-12h00|Helmut Seidl|//[[https://dl.dropboxusercontent.com/u/75950203/seidl.pdf|Efficiently intertwining widening and narrowing]]//| | |11h00-12h00|Helmut Seidl|//[[https://dl.dropboxusercontent.com/u/75950203/seidl.pdf|Efficiently intertwining widening and narrowing]]//| | ||
| ^Thursday 26 June||| | ^Thursday 26 June||| | ||
| - | | 9h30-10h30|Colin Stirling|//Deciding equivalence using type checking//| | + | | 9h30-10h30|Colin Stirling|//[[http://homepages.inf.ed.ac.uk/cps/paris.pdf|Deciding equivalence using type checking]]//| |
| |11h00-12h00|Kazushige Terui|//[[https://dl.dropboxusercontent.com/u/75950203/terui.pdf|On applications of models of linear logic]]//| | |11h00-12h00|Kazushige Terui|//[[https://dl.dropboxusercontent.com/u/75950203/terui.pdf|On applications of models of linear logic]]//| | ||
| |14h30-15h30|Paul-André Melliès|//Linear logic and higher-order model-checking//| | |14h30-15h30|Paul-André Melliès|//Linear logic and higher-order model-checking//| | ||