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

lectures [2014/06/20 09:03]
mellies
lectures [2014/06/20 09:06] (current)
mellies
Line 31: Line 31:
 |10h30-12h00|Olivier Serre| Tree Automata, Logic and Verification of (Higher-Order-) Functional Programs [[http://​www.pps.univ-paris-diderot.fr/​~mellies/​IHP-Serre-Mini-Course-Part2.pdf|slides of the second lecture]] | |10h30-12h00|Olivier Serre| Tree Automata, Logic and Verification of (Higher-Order-) Functional Programs [[http://​www.pps.univ-paris-diderot.fr/​~mellies/​IHP-Serre-Mini-Course-Part2.pdf|slides of the second lecture]] |
 ^Thursday 19 June||| ^Thursday 19 June|||
-|10h30-12h00|Marc Pouzet| Synchronous Languages and their extension to mix discrete and continuous time [[http://​www.pps.univ-paris-diderot.fr/​~mellies/​IHP-Serre-Mini-Course-Part1A.pdf|slides of the first lecture part A]][[http://​www.pps.univ-paris-diderot.fr/​~mellies/​IHP-Pouzet-Mini-Course-Part1B.pdf|slides of the first lecture part B]]|+|10h30-12h00|Marc Pouzet| Synchronous Languages and their extension to mix discrete and continuous time [[http://​www.pps.univ-paris-diderot.fr/​~mellies/​IHP-Pouzet-Mini-Course-Part1A.pdf|slides of the first lecture part A]][[http://​www.pps.univ-paris-diderot.fr/​~mellies/​IHP-Pouzet-Mini-Course-Part1B.pdf|slides of the first lecture part B]]|
 ^Friday 20 June||| ^Friday 20 June|||
 |10h30-12h|Marc Pouzet| Synchronous Languages and their extension to mix discrete and continuous time| |10h30-12h|Marc Pouzet| Synchronous Languages and their extension to mix discrete and continuous time|
lectures.1403247825.txt.gz ยท Last modified: 2014/06/20 09:03 by mellies
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