[Haskell] Multiple Research Positions, ERC MATHADOR Project, IMDEA Software Institute, Madrid, Spain

2017-01-27 Thread Germán Delbianco
Hello, This is not exactly a *Haskell* job/position offer, but I still think it could be of interest to several members of the community. Cheers, Germán PS: Our sincere apologies for multiple posting(s). Applications are invited for multiple positions (PhD/Postdoc/Scie

[Haskell] [MobiSPC-Conf] MobiSPC 2017 CFPs: The 14th International Conference on Mobile Systems and Pervasive Computing (July 24-26, 2017, Leuven, Belgium)

2017-01-27 Thread Wim Ectors
The 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) July 24-26, 2017 Leuven, Belgium http://cs-conferences.acadiau.ca/mobispc-17/

[Haskell] [FNC-Conf] FNC 2017 CFPs: The 12th International Conference on Future Networks and Communications (July 24-26, 2017, Leuven, Belgium)

2017-01-27 Thread Wim Ectors
The 12th International Conference on Future Networks and Communications (FNC) July 24-26, 2017 Leuven, Belgium http://cs-conferences.acadiau.ca/fnc-17/ -

[Haskell] SPIN 2017 - final call for papers, deadline Feb 10

2017-01-27 Thread Klaus Havelund
SPIN 2017 24th International Symposium on Model Checking of Software Santa Barbara, CA, USA, July 13-14, 2017 http://conf.researchr.org/home/spin-2017 Collocated with ISSTA -- The SPIN symposium aims at bringing together researchers and practitioners interested in a