Software & systems engineering and their applications.
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.
forum
Submitted by Anonymous on Wed, 03/14/2018 - 12:08pm
event
Submitted by Anonymous on Wed, 03/14/2018 - 12:07pm
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XVII)
SAMOS is a unique conference. It deals with embedded systems (sort of) but that is not what makes it different. It brings together every year researchers from both academia and industry on the quiet and inspiring northern mountainside of the Mediterranean island of Samos, which in itself is different. But more importantly, it really fosters collaboration rather than competition. Formal and intensive technical sessions are only held in the mornings.
forum
Submitted by Anonymous on Wed, 02/28/2018 - 2:45pm
CALL FOR PAPERS for Special Section on
forum
Submitted by Anonymous on Wed, 02/28/2018 - 11:46am
forum
Submitted by Anonymous on Thu, 02/08/2018 - 1:30pm
forum
Submitted by Anonymous on Mon, 01/29/2018 - 1:24pm
Co-located with DSN 2018
IMPORTANT DATES
- Paper submission: 1 april 2018
- Author notification: [to be defined]
- Final version: [to be defined]
WORKSHOP DESCRIPTION
event
Submitted by Anonymous on Mon, 01/29/2018 - 1:17pm
4th International Workshop on Safety and Security of Intelligent Vehicles
Co-located with DSN 2018
WORKSHOP DESCRIPTION
forum
Submitted by Anonymous on Mon, 01/29/2018 - 1:06pm
