List of workshops


Call for papers [email protected] -EXTENDED DEADLINES
by Sophie Ebersold, July 8, 2019

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
by Daniele Bonetta, July 4, 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
by Brijesh Dongol, July 2, 2019

REFINE 2019: Refinement Workshop - 2nd Call for papers

Co-located with FM 2019
Porto, Portugal, 7 October, 2019

Website: https://refinenet.github.io/
Submission link: https://easychair.org/my/conference?conf=refine2019

Important dates:
July 15, 2019: extended submission deadline
July 31, 2019: notifications
October 7, 2019: workshop

Call For Papers [email protected]
by Sophie Ebersold, June 27, 2019

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
by Andreas Wortmann, June 25, 2019

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)
by Abd-Elhamid Taha, June 15, 2019

Call for Papers -- Extended Deadline

SPLASH 2019 PL & SE Mentoring Workshop (PLMW)
by Karim Ali, June 13, 2019

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
by ipietri, June 7, 2019

********** 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

*****************************************

« previous123...1213next »