New Releases
darcs 2.10.0
New version of darcs is out packed with features and resolved
issues.
http://lists.osuosl.org/pipermail/darcs-users/2015-April/027119.html
Stackage CLI
This new tool helps to manage cabal files and share sandboxes.
https://www.fpcomplete.com/
CALL FOR TALK PROPOSALS
__
LOLA 2015: Syntax and Semantics of Low Level Languages
Sunday, 5 July 2015, Kyoto, Japan
A satellite workshop of ICALP/LICS
http://lola15.tcs.ifi.lmu.de
___
[apologies for any cross-posting]
Call for Papers
---
13th International Conference on
Logic Programming and Non-monotonic Reasoning
LPNMR 2015
Apologies if you receive this message more than once.
==
CALL FOR PAPERS
FHPC 2015
The 4th ACM SIGPLAN Workshop on
Functional High-Perfo
**
7th Working Conference on Verified Software: Theories, Tools, and
Experiments
July 18 - 19, 2015
San Francisco, California, USA
http://www.eecs.berkeley.edu/vstte15
Co-located with 25th Conference on Computer Aided Verification