salle A. Turing CE4
6 March 2013 - 14h00
Zélus: A Synchronous Language with ODEs
by Marc Pouzet from UPMC / ENS
Abstract: In this talk, I will overview the design, semantics and implementation
of a synchronous language that mixes difference equations, hierarchical automata
and ODEs.
