List of workshops - page 3

[TAPAS 2019] 10th Workshop on Tools for Automatic Program Analysis (extended deadline)
by David Delmas, May 29, 2019

8 October 2019, Porto, Portugal.
Part of the FM Week.

This workshop is intended to promote discussions and exchange experience between users of static analysis tools and specialists in all areas of program analysis design and implementation.

Model-Based Design of Cyber Physical Systems (CyPhy'19)
by Abd-Elhamid Taha, May 27, 2019

CyPhy brings together researchers and practitioners working on next-generation technologies for modeling, development, analysis, simulation, optimization, evaluation, and deployment of CPSs.

ModComp19: 6th international workshop on interplay of model-driven and component-based software engineering at MODELS19
by Andreas Wortmann, May 21, 2019

Model-Driven Engineering (MDE) and Component-Based Software Engineering (CBSE) have been shown to effectively reduce software development complexity by (i) shifting the focus from source code to models and (ii) building software systems as the composition of new and existing components, respectively. Moreover, the interplay of MDE and CBSE approaches is gaining recognition as a very promising means to boost the development of software systems by reducing costs and risks and shorten time-to-market.
While several attempts to effectively combine MDE and CBSE have been documented, there are still unsolved clashes arising when exploiting interplay of MDE and CBSE, mostly due to mismatches in the related terminology as well as to differences in their basic essence.
As a satellite event of MoDELS'19, the goal of ModComp’19 is to gather researchers and practitioners to share opinions, propose solutions to open challenges and generally explore the frontiers of interweaving between MDE and CBSE.

Deadline for abstract submission: 10 July 2019
Deadline for paper submission: 17 July 2019

More at

DARS 2019: 4th Workshop on the Design and Analysis of Robust Systems (with CAV 2019)
by Justin Hsu, April 1, 2019

DARS 2019 is the 4th in an international workshop series dedicated to the design and analysis of robust systems. Robustness refers to the ability of a system to behave reliably in the presence of perturbation, either in the system's dynamics and parameters, or irregularities in the system's operating environment. This is particularly important in the context of embedded systems that interact with a physical environment through sensors and actuators, and communicate over wired or wireless networks. Such systems are routinely subject to deviations arising from sensor or actuation noise, quantization and sampling of data, uncertainty in the physical environment, and delays or packet drops over unreliable network channels. When deployed in safety critical applications, system robustness in the presence of uncertainty is not just desirable, but crucial.

# Important Dates

* Submission deadline: May 1, 2019 (DEADLINE EXTENDED)

* Notification: May 24, 2019

* Workshop: July 13, 2019 (during CAV)

CfP: 12th Interaction and Concurrency Experience (ICE 2019)
by Anastasia Mavridou, March 16, 2019

ICE 2019

12th Interaction and Concurrency Experience

June 20-21, 2019, Lyngby, Denmark

Satellite workshop of DisCoTec 2019

Paper submission:

Design and Analysis of Robust Systems (DARS 2019)
by Justin Hsu, Feb. 26, 2019

4th International Workshop on the Design and Analysis of Robust Systems (DARS 2019). Co-located with CAV 2019 in New York, New York in mid-July, exact dates TBD.

CfP RoSE 2019
by Andreas Wortmann, Dec. 11, 2018

Second International Workshop on Robotics Software Engineering
Co-located with ICSE 2019
May 27, 2019, Montréal, QC, Canada

17th International Business Process Management Conference (BPM 2019)-CALL FOR WORKSHOP PROPOSALS
by KarolinWinter, Nov. 1, 2018

BPM 2019 is soliciting proposals for one-day or half-day workshops to be held before the main conference. Workshops facilitate the exchange of ideas and experiences among active researchers and stimulate discussions on new and emerging perspectives in line with the conference topics. Workshops may focus on specific research topics or be devoted to applications or standardization issues. Workshop proposals covering broad topics and that expand the scope of topics and paradigms traditionally represented at the BPM conference series are encouraged.