[Haskell] ETAPS 2015 call for participation

2015-02-13 Thread Tarmo Uustalu
** CALL FOR PARTICIPATION ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015 http://www.e

[Haskell] TYPES 2015 2nd call for contributions

2015-02-13 Thread Tarmo Uustalu
Reminder: Abstracts (2 pp easychair.cls) due by 13 March 2015 News: Tutorials by Joachim Kock and Peter LeFanu Lumsdaine. Post-proceedings volume in LIPIcs confirmed. CALL FOR CONTRIBUTIONS 21st International Conference on Types for Proofs and Programs,

[Haskell] ICFP 2015: Final Call for Papers

2015-02-13 Thread David Van Horn
= 20th ACM SIGPLAN International Conference on Functional Programming ICFP 2015 Vancouver, Canada, August 31 - September 2, 2015 http://www.icfpconference.org/icfp2015 ==

[Haskell] [TFP 2015] 2nd call for papers

2015-02-13 Thread Peter Achten
- S E C O N D C A L L F O R P A P E R S - TFP 2015 === 16th Symposium on Trends in Functional Programming