[Haskell] 2nd International Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-10, 2014

[~~ Please disseminate widely within your teams & contacts ~~] 2nd International Summer School on Cyber-Physical Systems July 7-10, 2014 Grenoble, France https://persyval-lab.org/summer-school/cps14 Université Joseph Fourier, PERSYVAL-Lab, and NASA-JPL are organizing the second edition of

[Haskell] Second CFP: WPTE'14, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation

SECOND CALL FOR PAPERS First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE'14) affiliated with RTA/TLCA 2014 (a FLoC 2014 workshop, FLoC is part of the Vienna Summe

[Haskell] One PhD position for EU students available at the University of Dundee, Scotland.

One PhD position for EU students available at the University of Dundee, Scotland. Contact ——— Marco Gaboardi - m.gaboa...@dundee.ac.uk Profile ——— The subject of the studentship is programming language semantics and implementation. The specific topic for the studentship will dep

[Haskell] RV 2014: LAST Call for Papers, Deadline in 1 week

[Apologizes for duplicates] 14th International Conference on Runtime Verification September 22 - 25, 2014 *Toronto, Canada* http://rv2014.imag.fr/ Scope: Runtime verification is concerned with monitoring and analysis of software and hardware system execut