List of workshops - page 2

CFP: 18th International Workshop on OCL and Textual Modeling
by Achim Brucker, May 11, 2018

18th International Workshop on OCL and Textual Modeling

Co-located with
MODELS 2018: ACM/IEEE 21th International Conference on Model
Driven Engineering Languages and System,
October 14 (tbc), 2018, Copenhagen, Denmark

2018 European Conference on Ambient Intelligence (AmI 2018): Last Call for Workshop Proposals
by George Angelos Papadopoulos, April 25, 2018

We invite workshop proposals in any topic(s) of interest to Ambient
Intelligence and related to the conference. Each workshop proposal should
be emailed to the two workshop chairs, and should contain the following
• workshop title,
• duration (half day or full day),
• a description of the specific scientific/technical scope of the workshop,
• a list of topics of interest,
• the reasons why the workshop should be held within AmI2018,
• details of all the members of the Organizing Committee (OC),
• relevant experience of the organizers,
• identification of the member of the OC who is the contact person,
• the list of members of Workshop Program Committee,
• a preliminary version of the Call for Papers,
• the proposed structure of the workshop,
• planned forms of publicity and publication plans (if any, or if they want to
publish in the collective volume, see below).

CfP - SEMS'18: 5th International Workshop on Software Engineering Methods in Spreadsheets
by Jorge Mendes, April 24, 2018

* Call for Papers *
5th International Workshop on Software Engineering Methods in Spreadsheets (SEMS'18)
October 1st, 2018, Lisbon, Portugal
Co-located with the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

* Important Dates *
Paper submission: July 13th, 2018
Authors notification: August 3rd, 2018
Camera ready version: August 17th, 2018
Workshop day: October 1st, 2018

REFINE 2018 deadline extension
by Brijesh Dongol, April 17, 2018

REFINE 2018: Refinement Workshop - Deadline extension

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

Extended submission deadline: April 23, 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.

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

Deadline: January 15th 2018


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

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