Registration
This shows you the differences between two versions of the page.
|
workshop_4 [2014/06/28 16:27] ong [Planning] |
workshop_4 [2014/06/30 11:02] (current) ong [Planning] |
||
|---|---|---|---|
| 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//| | ||