-
AI4FM 2015 - the 6th International Workshop on
the use of AI in Formal Methods
http://www.ai4fm.org/ai4fm-2015/
Edinburgh, 1st September, 2015
In association with AVoCS 2015
https://sites.google.com/site/avocs15
-
Gershom wrote:
> ...the HaskellWiki ...requires care and maintenance
> and contributions from all of us.
I replied to this in the reddit thread at:
http://www.reddit.com/r/haskell/comments/339qxm/haskellcafe_help_wanted_with_wikihaskellorg/
Short summary:
> 1) Account Creation Management
I bel
CALL FOR PAPERS SBLP 2015
*** EXTENDED DEADLINE ***
19th Brazilian Symposium on Programming Languages
24-25 September 2015
Belo Horizonte, Brazil
http://cbsoft.org/sblp2015
+++
IMPORTANT DATES
Abstract submission (extended): 27 April, 2015
Pape
*
APLAS 2015, Call for Papers
13th Asian Symposium on Programming Languages and Systems
Pohang, Korea, November 30 - December 2, 2015
< http://pl.postech.ac.kr/aplas2015/>
***
*** Call for participation, please distribute. ***
EPIT'2015 (http://www.epit2015.website)
Spring School in Theoretical Computer Science
Mechanizing Proofs of Programs in Coq
May 25 to May 29, 2015, Frejus, France
* Presentation
The frenc