List of workshops


Last CFP: Testing Extra-Functioanl Properties (ITEQS 2019), Deadline: Jan. 15
by Mohammad Mousavi, Dec. 8, 2018

3rd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS)

Co-located with the 12th IEEE International Conference on Software Testing, Verification and Validation (ICST 2019), Xi'an - China

Website: http://www.mrtc.mdh.se/ITEQS/2019/

Deadline: 15th January 2019

CONCUR 2019 Call for Workshop Proposals
by luttik, Nov. 29, 2018

This is a call for proposals of workshops affiliated with CONCUR 2019, to be held on August 26, 2019 or August 31, 2019 in Amsterdam, The Netherlands.

Deadline for submission of proposals is February 1, 2019.

SE4CPS
by Soumyadip Bandyopadhyay, Nov. 19, 2018

Increasing numbers of objects in our day life are controlled by computers: phones, aircraft, cars, buildings, manufacturing machines, musical instruments, etc. In these so-called cyber-physical systems, computers interact directly with the physical world through sensors and actuators. Those systems are becoming the key infrastructure and backbone of our society and are at the heart of revolutionary changes in our daily lives and economy.
The sophistication and complexity of CPSs keeps increasing, since they must realize more functions with limited resources, which makes them increasingly difficult to build and manage. In particular, the cyber (software) part of these systems is growing rapidly, and has become a key part in CPS, as they are the basis of operation for these systems.
For instance, the avionics industry has experienced exponential growth in software size, with the number of software lines of code in commercial aircraft roughly doubling every four years. These constant changes leads to the cost of rework due to the late discovery of design errors, reaching up to 70% of the cost of the software system itself. Therefore, the software aspects of CPS induce major challenges in their development.

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

« previous123...1011next »