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 Tue, 12/23/2014 - 12:21pm
First Call for Papers
LCTES 2015: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems
LCTES provides a link between the programming languages and embedded systems engineering communities. Researchers and developers in these areas are addressing many similar problems, but with different backgrounds and approaches. LCTES is intended to expose researchers and developers from either area to relevant work and interesting problems in the other area and provide a forum where they can interact.
forum
Submitted by Anonymous on Tue, 12/23/2014 - 11:29am
Assistant Professor / Researcher Position in Computer Science with focus on Model-Based Testing and Diagnosis at Halmstad University, Sweden
Background
The position is funded by the AUTO-CAAS project, which is a joint project on model-based testing and diagnosis of automotive software,
to be carried out in collaboration with QuviQ and ArcCore companies and to be funded by the Swedish Knowledge Foundation.
forum
Submitted by Anonymous on Mon, 12/22/2014 - 5:09pm
Symposium on Dependable Software Engineering: Theories, Tools and Applications
Nanjing University | November 4-6, 2015
IMPORTANT DATES
- June 12,2015 Abstracts
- June 19,2015 Submission of papers
- August 21,2015 Notification to authors
- September 4,2015 Camera-ready versions
KEYNOTE SPEAKERS
event
Submitted by Anonymous on Mon, 12/22/2014 - 4:25pm
4th Mediterranean Conference on Embedded Computing will be held June 14-18, 2015 in Budva, Montenegro
event
Submitted by Anonymous on Mon, 12/22/2014 - 4:13pm
The First International Workshop on Security Aspects of Cyber-Physical Systems will be held in London, United Kingdom, June 2-5, 2015
SACPS'15 is the The First International Workshop on Security Aspects of Cyber-Physical Systems. SACPS'15 provides an international forum on the latest technologies and research in security of Cyber-Physical systems (CPS). The workshop will be held in conjunction with The 6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015) that will be organized in London, United Kingdom (2-5 June 2015).
forum
Submitted by Anonymous on Mon, 12/22/2014 - 4:10pm
The International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15)
http://satoss.uni.lu/sacps2015
in conjunction with ANT-2015 conference
June 2 - 5, 2015 London, UK
SCOPE
forum
Submitted by Anonymous on Mon, 12/22/2014 - 3:52pm
The deadline for Model-based testing Workshop was extended until December 31.
10th Workshop on Model-Based Testing
April 18, 2015, London, UK
http://mbt-workshop.org/
Satellite workshop of ETAPS 2015
CALL FOR PAPERS
event
Submitted by Anonymous on Mon, 12/22/2014 - 3:48pm
The 9th Theoretical Aspects of Software Engineering Conference (TASE 2015) will be held in Nanjing, China in September, 2015.
forum
Submitted by Anonymous on Mon, 12/22/2014 - 3:43pm
The 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015)
12-14 September 2015, Nanjing, China
http://tase2015.nuaa.edu.cn
For more information email: tase2015@easychair.org
OVERVIEW
The 9th Theoretical Aspects of Software Engineering Conference (TASE
2015) will be held in Nanjing, China in September, 2015.
event
Submitted by Anonymous on Mon, 12/22/2014 - 2:54pm
The 15th International Conference on Runtime Verification will be held September 22-25 in Vienna, Austria
