List of workshops
- Bx 2019: 8th International Workshop on Bidirectional Transformations (Deadline: Feb. 19)
Bx 2019, the 8th International Workshop on Bidirectional Transformations, will be a part of Philadelphia Logic Week (PLW) 2019, which also includes conference and workshops on logic, provenance, and databases.
- CFP: 4th Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology ([email protected] 2019)
CREST 2019
4th Workshop on Formal Reasoning about
Causation, Responsibility, and Explanations
in Science and Technologyhttps://conf.researchr.org/track/etaps-2019/crest-2019-papers
April 7, 2019, Prague, Czech Republic
A satellite event of ETAPS 2019
- 17th International Business Process Management Conference (BPM 2019)-CALL FOR WORKSHOP PROPOSALS
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.
- MeTRiD @ ETAPS 2019: Call for papers
********************************************************************
(satellite workshop of ETAPS 2019)CALL FOR PAPERS
2nd International Workshop on
Methods and Tools for Rigorous System Design
MeTRiD 2019Prague, Czech Republic, 6 April 2019
https://conf.researchr.org/track/etaps-2019/metrid-2019-papers
https://project.inria.fr/metrid/********************************************************************
- Principles of Secure Compilation (PriSC Workshop @ POPL'19)
The Workshop on Principles of Secure Compilation (PriSC) is a relatively new, informal 1-day workshop without any proceedings.
The goal is to bring together researchers interested in secure compilation and to identify interesting research directions and open challenges- 2nd CfP - SEMS'18: 5th International Workshop on Software Engineering Methods in Spreadsheets
* Second Call for Papers *
5th International Workshop on Software Engineering Methods in Spreadsheets (SEMS'18)
http://sems2018.ist.tugraz.at/
https://twitter.com/sems_workshop
October 1st, 2018, Lisbon, Portugal
Co-located with the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)* Important Dates *
Paper submission: July 13th, 2018
Authors notification: August 3rd, 2018
Camera ready version: August 17th, 2018
Workshop day: October 1st, 2018- Workshop on Model-Based Design of Cyber Physical Systems (CyPhy'18)
The workshop brings together researchers and practitioners working on model-based design of cyber physical system, based on a broad interpretation of the area, to collect and exchange expertise from a diverse set of disciplines.
- DataMod 2018 - Call for Presentation Reports and Call for Participation
Call for Presentations and Call for Participation -- DataMod 2018 : From Data to Models and Back -- Toulouse, France, 25-26 June 2018. The submission deadline for presentation reports is Thursday 7 June 2018 and the notifications will be sent out on Monday 11 June 2018.
