subject:"\[Haskell\] 2nd CFP\: SCSS 2013"

Re: [Haskell] 2nd CFP: SCSS 2013

2013-09-18 Thread Josep Silva Galiana

[Please post - apologies for multiple copies] Call for Papers JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING Special Issue on Automated Specification and Verification of

[Haskell] 2nd CFP: SCSS 2013

2013-04-16 Thread Temur Kutsia

[Please post - apologies for multiple copies.] Second Call for Papers SCSS 2013 Symbolic Computation in Software Science 5th International Symposium Castle of Hagenberg, Austria, July 5-6, 2013 Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz http://www.risc.jk