List of workshops
- Call for papers [email protected] -EXTENDED DEADLINES
CFP for Workshop FormReq, at RE'19 conference, Jeju Island – South Korea – September 23-24, 2019
The goal of FormReq19 will be to bring together industrial practitioners (both convinced and skeptical) as well as researchers to discuss the good practices, the remaining challenges, of using formal approaches to express and manage requirements. Two invited speakers, Daniel M. Berry and Jean-Michel Bruel, will present their opposite vision of formal approaches for industrial applications- VMIL 2019 - Virtual Machines and Language Implementations @ SPLASH/OOPSLA 2019
VMIL 2019 - 11th ACM SIGPLAN Workshop on Virtual Machines and Language Implementations @ SPLASH/OOPSLA 2019
https://2019.splashcon.org/home/vmil-2019
- Refinement workshop: Deadline extension
REFINE 2019: Refinement Workshop - 2nd Call for papers
Co-located with FM 2019
Porto, Portugal, 7 October, 2019Website: https://refinenet.github.io/
Submission link: https://easychair.org/my/conference?conf=refine2019Important dates:
July 15, 2019: extended submission deadline
July 31, 2019: notifications
October 7, 2019: workshop- Call For Papers [email protected]
CFP for Workshop FormReq, at RE'19 conference, Jeju Island – South Korea – September 23-24, 2019
The goal of FormReq19 will be to bring together industrial practitioners (both convinced and skeptical) as well as researchers to discuss the good practices, the remaining challenges, of using formal approaches to express and manage requirements. Two invited speakers will present their opposite vision of formal approaches for industrial applications- CFP - ModComp'19 - The 6th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering
6th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp)
* co-located at MODELS 2019 in Munich
* abstracts due July 10, full papers July 17
* more at http://www.es.mdh.se/ModComp/- Workshop on Model-Based Design of Cyber-Physical Systems (CyPhy’19)
Call for Papers -- Extended Deadline
- SPLASH 2019 PL & SE Mentoring Workshop (PLMW)
The SPLASH 2019 Programming Languages Mentoring Workshop encourages graduate students (PhD and MSc) and senior undergraduate students to pursue research in programming languages. This workshop will provide mentoring sessions on how to prepare for and thrive in graduate school and in a research career, focusing both on cutting-edge research topics and practical advice, such as a panel of Ph.D. students discussing topics like “What I wish I had known before attending graduate school.” The workshop brings together leading researchers and junior students in an inclusive environment in order to help welcome newcomers to our field of programming languages research. The workshop will show students the many paths that they might take to enter and contribute to our research community.
- 14th Workflows in Support of Large-Scale Science Workshop
********** WORKS 2019 Workshop **********
14th Workflows in Support of Large-Scale Science Workshop
http://works.cs.cardiff.ac.uk/
Sunday 17 November 2019, Denver, CO
Held in conjunction with SC19, http://sc19.supercomputing.org/
Paper submission deadline: 29 July 2019*****************************************
