[Haskell] CFP - Information and Computation special issue on Implicit Computational Complexity

2015-05-17 Thread Marco Gaboardi (Staff)
== Call for Papers INFORMATION COMPUTATION Special Issue on Implicit Computational Complexity (open post-conference publication of the workshops DICE 2014 and DICE 2015) Deadline: July 1st 2015 Guest Editors: Marco Gaboardi

[Haskell] CFP: Haskell Symposium Regular Track Final Call

2015-05-17 Thread Ben Lippmeier
= ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2015 Vancouver, Canada, 3-4 September 2015, directly after ICFP

[Haskell] OCL 2015: First Call for Papers

2015-05-17 Thread Achim D. Brucker
(Apologies for duplicates) CALL FOR PAPERS 15th International Workshop on OCL and Textual Modeling Tools and Textual Model Transformations Co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015)

[Haskell] Call for participation: 8th International School on Rewriting - ISR 2015

2015-05-17 Thread Johannes Waldmann
Call for participation 8th International School on Rewriting - ISR 2015 August 10-14, Leipzig, Germany http://www.imn.htwk-leipzig.de/ISR2015/ * early registration deadline: July 1 * student research posters welcome = The 8th