A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
forum
Submitted by Anonymous on Fri, 01/20/2017 - 2:33pm
Deadline school registration
Saturday 20th May 2017 (Late).
forum
Submitted by Anonymous on Fri, 01/20/2017 - 2:13pm
Call for papers for the Special Issue of MDPI Electronics journal:
event
Submitted by Anonymous on Fri, 01/20/2017 - 12:37pm
Second International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE)
in partnership with Global City Teams Challenge (GCTC) - SCOPE 2017 with GCTC
April 21, 2017, Pittsburg, PA (Co-located with CPS Week)
Workshop URL: http://cps-vo.org/group/SCOPE-17/
forum
Submitted by Anonymous on Fri, 01/20/2017 - 12:24pm
Call For Papers
Trento, Italy | September 6-10, 2017 | http://sefm17.fbk.eu/
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 - 12:23pm
Call For Papers
Trento, Italy | September 6-10, 2017 | http://sefm17.fbk.eu/
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 - 12:16pm
CALL FOR WORKSHOP PROPOSALS
forum
Submitted by Anonymous on Fri, 01/20/2017 - 12:16pm
CALL FOR WORKSHOP PROPOSALS
event
Submitted by Anonymous on Fri, 01/20/2017 - 12: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 el_wehby on Wed, 01/04/2017 - 3:39pm
CALL FOR PAPERS
in partnership with Global City Teams Challenge (GCTC) - SCOPE 2017 with GCTC
April 21, 2017, Pittsburg, PA (Co-located with CPS Week)
event
Submitted by Anonymous on Wed, 01/04/2017 - 10:05am
3rd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS'17)
In conjunction with ICSE 2017 | Call for Papers
CONTEXT AND GOALS
