Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
event
Submitted by Anonymous on Wed, 04/29/2015 - 4:24pm
4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2015)
(satellite workshop of ICFEM 2015)
*** Science of Computer Programming special issue ***
*** Springer CCIS proceedings ***
Aims and Scope:
There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and
forum
Submitted by Anonymous on Wed, 04/29/2015 - 1:46pm
4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2015)
(satellite workshop of ICFEM 2015)
forum
Submitted by Anonymous on Mon, 04/13/2015 - 9:36am
Dear HCSS Community Member:
Thanks to everyone who has registered to attend the 2015 HCSS Conference scheduled for May 5-7, 2015 at the Historic Inns of Annapolis in Annapolis, Maryland. Online registration to attend the conference is available at http://cps-vo.org/group/hcss_conference/registration. We encourage those of you who have not registered to do so as soon as possible.
forum
Submitted by Anonymous on Mon, 04/13/2015 - 9:12am
25th International Symposium on Logic-Based Program Synthesis and Transformation
Co-located with PPDP 2015
Special Issue of Formal Aspects of Computing
http://alpha.diism.unisi.it/lopstr15/
University of Siena, Siena, IT, July 13-15, 2015
EXTENDED DEADLINES
Abstract submission: April 26, 2015
Paper/Extended abstract submission: May 2, 2015
forum
Submitted by Anonymous on Tue, 04/07/2015 - 8:59am
On behalf of the Steering Committee of the Software Certification Consortium (SCC) I invite you to attend the 15th Meeting of the SCC, co-located with the High Confidence Software and Systems (HCSS) Conference in Annapolis in early May, 2015.
Registration for both SCC and HCSS is free, but participants are required to register at
http://cps-vo.org/group/hcss_conference/registration
Venue information is available on the registration web site.
event
Submitted by Anonymous on Fri, 03/27/2015 - 4:13pm
ICFEM 2015 - 17th International Conference on Formal Engineering Methods CNAM
GENERAL INFORMATION
event
Submitted by akarns on Fri, 03/27/2015 - 3:59pm
Embedded Real Time Software and Systems (ERTS2 2016)
The ERTS2 congress is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientists with representatives from universities, research centers and industries. The previous editions gathered each more than 100 talks, 500 participants and 60 exhibitors.ERTS2 is both:
forum
Submitted by Anonymous on Fri, 03/27/2015 - 3:54pm
Call for papers and exhibitions
Embedded Real Time Software and Systems (ERTS2 2016)
27 - 29 January 2016, Toulouse - France
http://www.erts2016.org
Abstract submission Deadline: June 22nd, 2015
The ERTS2 congress is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientists with representatives from universities, research centers and industries. The previous editions gathered each more than 100 talks, 500 participants and 60 exhibitors.ERTS2 is both:
forum
Submitted by Anonymous on Wed, 03/18/2015 - 12:03pm
4th International Workshop on Engineering Safety and Security Systems
Co-located with FM 2015 in Oslo, Norway, June 22-26, 2015
June 22, 2015 | Oslo, Norway | More information: http://pat.sce.ntu.edu.sg/esss15/
Important dates
- March 23rd, 2015: Extended submission deadline
- April 27th, 2015: Notification of acceptance/rejection
- June 22nd, 2015: Workshop date
Introduction of the Workshop
