A technical operation or procedure that consists of determination of one or more characteristics of a given product, process or service according to a specified procedure.
forum
Submitted by Anonymous on Wed, 02/18/2015 - 5:35pm
forum
Submitted by Anonymous on Wed, 02/18/2015 - 4:45pm
On-chip Communication Architectures for Multi-Core and Many-Core Systems (OCA-MC)
Special session in IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-15)
http://mcsoc-forum.org/2015/?page_id=14
23-25 September 2015, Turin, Italy
event
Submitted by Anonymous on Wed, 02/18/2015 - 4:33pm
25th International Symposium on Logic-Based Program Synthesis and Transformation
Co-located with PPDP 2015
Conference Description
forum
Submitted by Anonymous on Wed, 02/18/2015 - 4:27pm
25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015)
Special Issue of Formal Aspects of Computing
http://alpha.diism.unisi.it/lopstr15/
University of Siena, Siena, IT, July 13-15, 2015
(co-located with PPDP 2015)
DEADLINES
forum
Submitted by Anonymous on Wed, 02/18/2015 - 3:41pm
10th IEEE Symposium on Industrial Embedded Systems - SIES 2015
University of Siegen, Siegen, Germany
June 8-10, 2015
*** New Extended Submission Deadline: March 15, 2015 ***
event
Submitted by Anonymous on Thu, 02/05/2015 - 12:57pm
International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE)
event
Submitted by Anonymous on Thu, 02/05/2015 - 12:48pm
2nd Workshop on Formal-IDE
A satellite workshop of FM2015
General theme: "Formal Integrated Development Environment (F-IDE) for joint construction of an application and its correctness proof upon its formalized specification".
Aims
forum
Submitted by Anonymous on Thu, 02/05/2015 - 12:44pm
The 2nd Formal Integrated Development Environment Workshop (F-IDE 2015)
22 June 2015, Oslo, Norway
http://www.eecs.qmul.ac.uk/~masci/fide2015
OVERVIEW
The 2nd Formal Integrated Development Environment Workshop (F-IDE 2015) will be held in Oslo, Norway, in June, 2015.
forum
Submitted by Anonymous on Thu, 02/05/2015 - 12:17pm
ATVA 2015, 13th International Symposium on Automated Technology for Verification and Analysis
October 12-15, 2015, Shanghai, China, http://atva2015.ios.ac.cn/
BACKGROUND
The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.
SCOPE
forum
Submitted by Anonymous on Wed, 01/28/2015 - 1:29pm
