List of workshops - page 2


ARRAY 2018 call for papers
by Sven-Bodo Sven-Bodo Scholz, March 28, 2018

5th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming

Philadelphia, USA - June 19, 2018
DEADLINE: April 15, 2018

ARRAY 2018 is part of PLDI 2018
39th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation

FROM 2018 - Call for Papers
by Stefan Ciobaca, March 28, 2018

FROM 2018 - First Call for Papers

WORKING FORMAL METHODS SYMPOSIUM (FROM)
http://fmse.info.uaic.ro/event/from-2018/

18 - 20 June 2018
Faculty of Computer Science
Alexandru Ioan Cuza University
Iasi, Romania

Deadline for extended abstract submissions: 29 April 2018

WFLP 2018: Call for Papers
by Josep Silva, March 22, 2018

26th International Workshop on Functional and Logic Programming (WFLP 2018)

QAPL 2018: second call for papers
by Erik de Vink, March 22, 2018

QAPL 2018, the 16th workshop on Quantitative Aspects of Programming Languages and Systems will be held at July 14 in Oxford in the middle of the two FLoC weeks. This is the second call for papers including abstracts of the invited talks by Carlo Ghezzi and Annabelle McIver.

CfP: Workshop on Functional High-Performance Computing 2018 at ICFP
by Kei Davis, March 19, 2018

FIRST CALL FOR PAPERS FHPC 2018
7th ACM SIGPLAN Workshop on Functional High-Performance Computing September 29, 2018,
St. Louis, Missouri, USA
https://icfp18.sigplan.org/track/FHPC-2018-papers

F-IDE CfP
by Rosemary Monahan, March 14, 2018

4th Workshop on Formal Integrated Development Environment

A satellite workshop of FLoC/FM2018, July 14, 2018 - Oxford, UK

REFINE 2018 deadline extension
by Brijesh Dongol, March 12, 2018

REFINE 2018: Refinement Workshop - Deadline extension

Co-located with FM 2018 (part of FLoC)
Oxford, UK, July 18, 2018

Submission deadline: April 23, 2018

TELERISE 2018
by Marinella Petrocchi, March 9, 2018

Fourth Intl. Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity
co-located with ADBIS 2018
September 2nd-5th, 2018, Budapest, Hungary
Website: http://www.iit.cnr.it/telerise2018

Submission deadline May 4, 2018