List of workshops


[MODELS 2019] Call for Contributions to Satellite Events
by ChristophSeidl, May 22, 2019

MODELS 2019: ACM/IEEE 22nd International Conference on Model Driven
Engineering Languages and Systems

15-20 September 2019 Munich, Germany

http://www.modelsconference.org <http://www.modelsconference.org/>

MODELS, the ACM/IEEE 22th International Conference on Model Driven
Engineering Languages and Systems, is the premier conference series for
model-driven software and systems engineering, and is organized with
support of ACM SIGSOFT and IEEE TCSE.

MODELS 2019 features several satellite events with related call for papers:

Tool demonstrations
https://modelsconf19.org/?page_id=1059
submission deadline June 19th

Doctoral symposium
https://modelsconf19.org/?page_id=1118
abstract submission June 10th

Educators’ symposium
https://modelsconf19.org/?page_id=1147
abstract submission June 27th

Posters
https://modelsconf19.org/?page_id=1161
abstract submission June 24th

11th System Analysis and Modelling Conference:
Languages, Methods and Tools for Industry 4.0
http://sdl-forum.org/Events/SAM2019/ps.htm
abstract submission June 5th

MODELS 2019 will also feature 21 workshops,
https://modelsconf19.org/?page_id=1184
abstract submission June 28th unless otherwise stated on the workshop page.

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 http://www.es.mdh.se/ModComp/

WAPL 2019 - 7th Workshop on Advances in Programming Languages ()
by Maria João Varanda Pereira, May 21, 2019

The FedCSIS 2019 Federated Conference invites submissions of POSITION PAPERS to its respective events. Position papers must not exceed 8 pages and they should relate to an ongoing research or experience. Position papers will be presented by the authors alongside regular papers. Position papers may be also submitted as DEMO PAPERS and presented as demonstrations of software tools and products.
The aim of WAPL 2019 is to provide a forum for exchange of ideas and experience in topics concerned with programming languages and systems. Original papers and implementation reports are invited in all areas of programming languages.

VORTEX 2019: Call for Papers
by Davide Ancona, May 8, 2019

VORTEX 2019, ECOOP, London, Friday 19 July, 2019
3rd International Workshop on Verification of Objects at Runtime Execution
(https://2019.ecoop.org/home/vortex-2019)

Call for Papers: 8th International Symposium "From Data to Models and Back" (DataMod'19)
by Oana Andrei, May 2, 2019

DataMod 2019 aims at bringing together practitioners and researchers from academia, industry and research institutions interested in the combined application of computational modelling methods with data-driven techniques from the areas of knowledge management, data mining and machine learning.

DataMod 2019 is a satellite event of the 3rd World Congress on Formal Methods (FM 2019), Porto, Portugal, 7-8 October 2019
http://formalmethods2019.inesctec.pt

Bx 2019 Call for Participation
by Hsiang-Shang Ko, April 24, 2019

* Invited speaker: Zack Ives on Views, Update Propagation, and Provenance
* Registration information (early deadline: May 4)
* List of accepted papers and talks

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)

BASS 2019: 2nd International Workshop on Behavioral Authentication for System Security
by Alessandro Aldini, March 25, 2019

https://www.ares-conference.eu/workshops/bass-2019/

satellite event of ARES 2019
University of Kent, Canterbury, UK
August 26 – August 29, 2019

Submission deadline: APRIL 30 2019

« previous123...1112next »