List of workshops

VORTEX 2018: extended deadline May 31st
by Davide Ancona, May 18, 2018

Important Dates

Paper submission: May 31, 2018, 23:59 AoE (UTC-12h) (* extended *)
Notification: June 14, 2018
Workshop: July 17, 2018

Combined Call for Contributions to Satellite Events of MoDELS 2018
by ChristophSeidl, May 18, 2018

MODELS 2018: ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems

Copenhagen, Denmark
October 14-19, 2018

we are calling for contributions to the satellite events of MoDELS 2018, in particular, the Tools and Demonstrations session, the Posters session, the ACM Student Research Competition, the Doctoral and Educators Symposia, and the 17 Workshops that are co-located with MoDELS this year.

2nd CfP Workshop on Functional High-Performance Computing 2018
by Kei Davis, May 18, 2018

The 7th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC 2018) is being held as in previous years in conjunction with the International Conference on Functional Programming (ICFP 2018) together with numerous other workshops/symposia, and as a first, colocated with Strange Loop, in St. Louis, MO, USA.

CFP: 18th International Workshop on OCL and Textual Modeling
by Achim Brucker, May 11, 2018

18th International Workshop on OCL and Textual Modeling

Co-located with
MODELS 2018: ACM/IEEE 21th International Conference on Model
Driven Engineering Languages and System,
October 14 (tbc), 2018, Copenhagen, Denmark

HOPE 2018: Call for Presentations
by Filip Sieczkowski, May 9, 2018

23 September 2018, St Louis, MO, USA,

Submission deadline: 8 June 2018

1st International Workshop on Behavioral Analysis for System Security (BASS)
by Alessandro Aldini, May 9, 2018

26 - 28 July 2018, Porto, Portugal
(in conjunction with SECRYPT conference)
Web Page:

CFP: [email protected] 2018
by Soumyadip Bandyopadhyay, May 4, 2018

Scope of the workshop includes the design and analysis of Mixed Critical Systems for both architectural as well as software level. A mixed criticality system is a system containing computer hardware and software that can execute several applications of different criticality, such as safety-critical and non-safety critical, or of different Safety Integrity Level (SIL). Different criticality applications are emerged to different levels of assurance, with high criticality applications being the most costly to design and verify. These kinds of systems are typically embedded in a machine such as an aircraft whose safety must be ensured. The goal of the workshop is to share and contribute in the area of designing of mixed critical system and their verification.

by Joeri De Koster, May 2, 2018


8th International ACM SIGPLAN Workshop on Programming based on Actors, Agents, and Decentralized Control

Held at SPLASH Conference
Boston, Massachusetts (USA) - November 4-9, 2018

« previous123...1112next »