[Haskell] PhD position - Computer assisted validation in Erlang

2014-09-11 Thread German Vidal
-- PhD scholarship at MiST, DSIC (Universitat Politecnica de Valencia, Spain) http://users.dsic.upv.es/~gvidal/german/mist Computer assisted validation in Erlang A fully-funded PhD position to start in early 2015. ** DEADLIN

[Haskell] ICFEM 2014 Call for Participation

2014-09-11 Thread Liu Yang (Asst Prof)
16th International Conference on Formal Engineering Methods ICFEM 2014, Luxembourg, 3-7 November 2014 Call for Participation http://icfem2014.uni.lu The 16th International Conference on Formal Engineering Methods (ICFEM 2014) will be held at the Melia Hote