[Haskell] Second CFP: Term and Graph Rewriting (TERMGRAPH2013) / ETAPS2013

2012-12-10 Thread Rachid Echahed
- CALL FOR PAPERS TERMGRAPH 2013 7th International Workshop on Computing with Terms and Graphs Rome, Italy, March 2

[Haskell] SCP Special Issue on Invariant Generation - Second Call for Papers [2 months to go]

2012-12-10 Thread Gudmund Grov
(Apologies if you receive multiple copies of this announcement) Science of Computer Programming Special Issue on Invariant Generation -- SECOND CALL FOR PAPERS -- This special