[Haskell] SPLASH'16: 3rd Combined Call for Contributions to Collocated Events

2016-07-11 Thread Tijs van der Storm
# ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'16) # Amsterdam, The Netherlands Sun 30th October - Fri 4th November , 2016 http://2016.splashcon.or

[Haskell] 2016 Autumn School on Computational Logic

2016-07-11 Thread German Vidal
(Apologies if you receive multiple copies of this email. Please distribute to interested parties.) The 2016 Autumn School on Computational Logic will be held on October 16-17, 2016, in New York, affiliated to the 32nd International Conference on Logic Programming (ICLP'16). Researchers and Ph