List of workshops


Bx 2019: 8th International Workshop on Bidirectional Transformations (Deadline: Feb. 19)
by Hsiang-Shang Ko, Nov. 12, 2018

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)
by goessler, Nov. 5, 2018

CREST 2019

4th Workshop on Formal Reasoning about
Causation, Responsibility, and Explanations
in Science and Technology

https://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
by KarolinWinter, Nov. 1, 2018

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
by Simon Bliudze, Oct. 15, 2018

********************************************************************
(satellite workshop of ETAPS 2019)

CALL FOR PAPERS

2nd International Workshop on
Methods and Tools for Rigorous System Design
MeTRiD 2019

Prague, 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)
by Dominique Devriese, Sept. 4, 2018

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
by Jorge Mendes, June 26, 2018

* 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)
by Abd-Elhamid Taha, June 11, 2018

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
by Oana Andrei, May 31, 2018

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.

« previous123...1011next »