Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

workshop_4 [2014/06/28 00:50]
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//​|
-|16h00-17h00|Pierre Clairambault|//​[[http://​www.pps.univ-paris-diderot.fr/~gc/slides/polydeuces-slides.pdf|Strategies as Higher-Order Recursion Schemes]]//​|+|16h00-17h00|Pierre Clairambault|//​[[http://​perso.ens-lyon.fr/pierre.clairambault/Clairambault-IHP260614.pdf|Strategies as Higher-Order Recursion Schemes]]//​|
 ^Friday 27 June||| ^Friday 27 June|||
 | 9h30-10h30|Rupak Majumdar|//​[[http://​www.mpi-sws.org/​~rupak/​Talks/​IHP2014.ppt|Abstractions in the Continuous World]]//| | 9h30-10h30|Rupak Majumdar|//​[[http://​www.mpi-sws.org/​~rupak/​Talks/​IHP2014.ppt|Abstractions in the Continuous World]]//|
workshop_4.txt · Last modified: 2014/06/30 11:02 by ong
Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0