List of workshops - page 3


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

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

MeTRiD 2018: Deadline extension (ETAPS workshop)
by Simon Bliudze, Jan. 22, 2018

MeTRiD 2018 is a new international workshop focusing on the theoretical foundations, tools and applications of the Rigorous System Design approach. The term "Rigorous System Design" denotes the design approach that is based on a formal, accountable and iterative process for deriving trustworthy and optimised implementations from models of application software, its execution platform and its external environment.

X-by-Construction: call for expressions of interest
by Maurice ter Beek, Dec. 9, 2017

CALL FOR EXPRESSIONS OF INTEREST
Deadline: January 15th 2018

X-by-Construction
====================

A track at ISoLA 2018
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
5-9 November 2018
Limassol, Cyprus

http://fmt.isti.cnr.it/~mtbeek/ISoLA18.html
====================

12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): last CfP
by Vlad Rusu, Dec. 4, 2017

WRLA 2018, the 12th International Workshop on Rewriting Logic and its Applications: an ETAPS 2018 satellite event - Thessaloniki, Greece - April 14-15 2018