Software tools for designing electronic systems.
forum
Submitted by boulouk on Mon, 08/27/2018 - 2:58pm
17th Workshop on Adaptive and Reflexive Middleware (ARM 2018)
http://cedric.cnam.fr/arm
Theme of 2018: "Smart and Connected Communities for Environmental Challenges"
Rennes, France, December 10-14, 2018.
in conjunction with The ACM/IFIP/USENIX Middleware conference
ARM 2018 CFP
forum
Submitted by ttj on Mon, 08/27/2018 - 9:05am
HSCC 2019 Call for Papers
forum
Submitted by nicbezzo on Wed, 08/08/2018 - 9:47pm
Multiple PhD positions in cyber-physical systems security and robotics safe planning are available at the University of Virginia (UVA) Autonomous Mobile Robots Laboratory (https://www.bezzorobotics.com/).
Research areas:
forum
Submitted by Anonymous on Fri, 06/15/2018 - 10:27am
forum
Submitted by Anonymous on Mon, 05/07/2018 - 9:11am
CALL FOR PAPERS
14-15 March, 2019 | San Francisco, CA | http://saiconference.com/FICC2019
FICC 2019 aims to provide a forum for researchers from both academia and industry to share their latest research contributions and exchange knowledge with the common goal of shaping the future of Information and Communication.
ABOUT FICC 2019
event
Submitted by Anonymous on Tue, 04/03/2018 - 1:04pm
16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '18)
Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred. This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus on hardware/software co-design to its new focus on formal methods and models for developing computer systems and their components.
event
Submitted by BTebergen on Tue, 03/27/2018 - 4:02pm
forum
Submitted by Anonymous on Wed, 03/21/2018 - 10:18am
CALL FOR PAPERS
25th Static Analysis Symposium (SAS 2018)
Freiburg im Breisgau, Germany | August 29th-August 31st, 2018 | http://staticanalysis.org/sas2018
= = = New: Invited Talks, Invited Tutorials, Affiliated Events = = =
= = = Submission deadline approaching: April 6th, 2018 = = =
event
Submitted by Anonymous on Wed, 03/21/2018 - 10:16am
25th Static Analysis Symposium (SAS 2018)
Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. The 25th Static Analysis Symposium, SAS 2018, will be held in Freiburg im Breisgau, Germany.
