The formalization of system engineering models and approaches.
event
Submitted by Anonymous on Wed, 01/30/2019 - 3:12pm
49th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2019)
The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) has pioneered the fusion between dependability and security research, understanding the need to simultaneously fight against accidental faults, intentional cyber-attacks, design errors, and unexpected operating conditions. DSN is also providing a fruitful ground for academia and industry interaction.
event
Submitted by Anonymous on Wed, 01/30/2019 - 3:06pm
Software Technologies: Applications and Foundations (STAF)
Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event in 2012, providing a umbrella organisation, with a steering committee that aims to provide continuity. The STAF federated event runs annually; the conferences that participate may vary from year to year, but all focus on practical and foundational advances in software technology.
forum
Submitted by Anonymous on Wed, 01/30/2019 - 2:47pm
event
Submitted by Anonymous on Wed, 01/30/2019 - 2:46pm
12th International Conference on Graph Transformation (ICGT 2019)
Part of STAF 2019
event
Submitted by Anonymous on Mon, 01/28/2019 - 1:38pm
ACM International Conference on Computing Frontiers 2019
The next ACM International Conference on Computing Frontiers will be held April 30 - May 2 in Sardinia, Italy. Computing Frontiers is an eclectic, collaborative community of researchers who investigate emerging technologies in the broad field of computing: our common goal is to drive the scientific breakthroughs that transform society.
tearline
Submitted by Katie Dey on Fri, 01/25/2019 - 9:44pm
forum
Submitted by Ricardo Sanfelice on Sat, 01/19/2019 - 11:25pm
The Department of Electrical and Computer Engineering at the University of California, Santa Cruz is offering MS and PhD programs with four core tracks:
- Electronic Circuits and Energy Systems
- Photonics and Electronic Devices
- Robotics, Controls, and Cyber-Physical Systems
- Signals, Image Processing, and Communications
event
Submitted by Anonymous on Thu, 01/17/2019 - 9:58am
17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)
ATVA 2019 is the 17th in a series of symposia dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification, and synthesis by providing a forum for interaction between local and international research communities and industry in the field.
forum
Submitted by Anonymous on Thu, 01/17/2019 - 9:42am
