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/14 21:26]
igw [Planning]
workshop_4 [2014/06/30 11:02] (current)
ong [Planning]
Line 29: Line 29:
 ^Monday 23 June||| ^Monday 23 June|||
 |9h30-10h30|//​Registration and Introduction//​|| |9h30-10h30|//​Registration and Introduction//​||
-|11h00-12h00|Martin Hofmann|//​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|||
 |9h30-10h30|Jens Palsberg|//​Efficient Inference of Packed Locality Types//| |9h30-10h30|Jens Palsberg|//​Efficient Inference of Packed Locality Types//|
-|11h00-12h00|Giuseppe Castagna|//​Polymorphic Functions with Set-Theoretic Types//| +|11h00-12h00|Giuseppe Castagna|//[[http://​www.pps.univ-paris-diderot.fr/​~gc/​slides/​polydeuces-slides.pdf|Polymorphic Functions with Set-Theoretic Types]]//| 
-|14h30-15h30|Ranjit Jhala|//​Liquid Types For Haskell//​| +|14h30-15h30|Ranjit Jhala|//[[http://​goto.ucsd.edu/​~rjhala/​IHP14/​lhs/​Index.lhs.slides.html|Liquid Types For Haskell]]//| 
-|16h00-17h00|Jakob Rehof|//​Types as Programs: Foundations of Combinatory Logic Synthesis//​|+|16h00-17h00|Jakob Rehof|//[[https://​dl.dropboxusercontent.com/​u/​75950203/​rehof.pdf|Types as Programs: Foundations of Combinatory Logic Synthesis]]//|
 |from 18h|//​Cocktail at the Institut Henri Poincaré//​|| |from 18h|//​Cocktail at the Institut Henri Poincaré//​||
 ^Wednesday 25 June||| ^Wednesday 25 June|||
-| 9h30-10h30|Andrey Rybalchenko|//​Solving (quantified) Horn constraints for program verification and synthesis//​| +| 9h30-10h30|Andrey Rybalchenko|//​[[https://​dl.dropboxusercontent.com/​u/​75950203/​rybalchenko.pdf|Solving (quantified) Horn constraints for program verification and synthesis]]//| 
-|11h00-12h00|Helmut Seidl|//​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|//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|//​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|//​Abstractions in the Continuous World//| +| 9h30-10h30|Rupak Majumdar|//[[http://​www.mpi-sws.org/​~rupak/​Talks/​IHP2014.ppt|Abstractions in the Continuous World]]//| 
-|11h00-12h00|Mikolaj Bojanczyk|//​Computing with atoms//|+|11h00-12h00|Mikolaj Bojanczyk|//​[[http://​www.mimuw.edu.pl/​~bojan/​slides/​atoms-ihp.swf|Computing with atoms]]//|
 ===== Preliminary list of invited speakers ===== ===== Preliminary list of invited speakers =====
   * Mikolaj Bojanczyk (Warsaw, Poland)   * Mikolaj Bojanczyk (Warsaw, Poland)
workshop_4.1402773982.txt.gz · Last modified: 2014/06/14 21:26 by igw
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