Designing and managing complex engineering projects over their life cycles.
forum
Submitted by Anonymous on Fri, 01/20/2017 - 1:16pm
CALL FOR WORKSHOP PROPOSALS
forum
Submitted by Anonymous on Fri, 01/20/2017 - 1:16pm
CALL FOR WORKSHOP PROPOSALS
event
Submitted by Anonymous on Fri, 01/20/2017 - 1:14pm
15th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2017)
The conference aims to bring together leading researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
forum
Submitted by Anonymous on Fri, 01/20/2017 - 1:03pm
CALL FOR PAPERS - Extended Deadline March 3
June 12-14, 2017 | Schloss Rheinfels, St. Goar, Germany | http://www.scopesconf.org
event
Submitted by Anonymous on Fri, 01/20/2017 - 1:01pm
20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2017)
A next edition of the workshop on Software and Compilers for Embedded Systems (SCOPES) will be organized in 2017. The workshop will feature a combination of research papers and research presentations (details see below). The papers and presentation abstracts will also be published in the ACM digital library. The workshop is held in cooperation with ACM SIGBED and EDAA.
AIM AND SCOPE
forum
Submitted by akarns on Fri, 01/20/2017 - 12:45pm
forum
Submitted by Anonymous on Fri, 01/20/2017 - 12:16pm
CALL FOR WiP PAPERS - Deadline Extended (Jan 24)
The 23rd IEEE Real-Time Embedded Technology & Applications Symposium Work-in-Progress Session (RTAS-WIP 2017)
18 April, 2017 - Pittsburgh, PA, USA
forum
Submitted by Anonymous on Fri, 01/20/2017 - 12:03pm
CALL FOR PAPERS AND ANNOUNCEMENT
event
Submitted by Anonymous on Fri, 01/20/2017 - 12:02pm
17th International Conference on Application of Concurrency to System Design (ACSD 2017)
CONFERENCE SCOPE
The conference aims at cross-fertilizing both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit some kind of concurrent behaviour. In particular, the following topics are of interest:
* Formal models of computation and concurrency for the above systems and
