List of workshops - page 2


2nd CfP - SEMS'18: 5th International Workshop on Software Engineering Methods in Spreadsheets
by Jorge Mendes, June 26, 2018

* Second Call for Papers *
5th International Workshop on Software Engineering Methods in Spreadsheets (SEMS'18)
http://sems2018.ist.tugraz.at/
https://twitter.com/sems_workshop
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

Workshop on Model-Based Design of Cyber Physical Systems (CyPhy'18)
by Abd-Elhamid Taha, June 11, 2018

The workshop brings together researchers and practitioners working on model-based design of cyber physical system, based on a broad interpretation of the area, to collect and exchange expertise from a diverse set of disciplines.

DataMod 2018 - Call for Presentation Reports and Call for Participation
by Oana Andrei, May 31, 2018

Call for Presentations and Call for Participation -- DataMod 2018 : From Data to Models and Back -- Toulouse, France, 25-26 June 2018. The submission deadline for presentation reports is Thursday 7 June 2018 and the notifications will be sent out on Monday 11 June 2018.

The 2018 Workshop on Model-Based Design of Cyber Physical Systems (CyPhy'18)
by Abd-Elhamid Taha, May 28, 2018

CyPhy'18 brings together researchers and practitioners working on model-based design of cyber physical system, based on a broad interpretation of the area, to collect and exchange expertise from a diverse set of disciplines.

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)
http://sems2018.ist.tugraz.at/
https://twitter.com/sems_workshop
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.