The formalization of system engineering models and approaches.
forum
Submitted by Anonymous on Fri, 04/14/2017 - 3:53pm
event
Submitted by Anonymous on Fri, 04/14/2017 - 3:51pm
11th International Conference on Verification and Evaluation of Computer and Communication Systems
forum
Submitted by Anonymous on Fri, 04/14/2017 - 3:27pm
event
Submitted by Anonymous on Fri, 04/14/2017 - 3:27pm
28th International Conference on Concurrency Theory (CONCUR 2017)
September 5-8, 2017 | Berlin, Germany | https://www.concur2017.tu-berlin.de/
The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.
TUTORIALS
- Alastair Donaldson (Imperial College London, UK)
- Pawel Sobocinski (University of Southampton, UK)
- Viktor Vafeiadis (Max Planck Institute for Software Systems, Germany)
forum
Submitted by Anonymous on Fri, 04/14/2017 - 2:51pm
CALL FOR PAPERS - Deadline Extension June 20, 2017
event
Submitted by Anonymous on Fri, 04/14/2017 - 2:49pm
International Workshop on Methods and Tools for Distributed Hybrid Systems (DHA 2017)
Associated with MFCS 2017
forum
Submitted by Anonymous on Fri, 04/14/2017 - 2:25pm
forum
Submitted by Anonymous on Mon, 03/20/2017 - 4:14pm
event
Submitted by Anonymous on Mon, 03/20/2017 - 4:12pm
15th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
co-located withInternational Conference on Formal Methods in Computer-Aided Design (FMCAD)
http://www.fmcad.org/FMCAD17
forum
Submitted by Anonymous on Mon, 03/06/2017 - 6:29pm
CALL FOR PAPERS
Architectures & Systems for Automotive & Intelligent Transportations (ASAIT)
20th Euromicro Conference on Digital System Design (DSD)
Vienna, Austria | Aug. 30th - Sept. 1st, 2017 | http://dsd-seaa2017.ocg.at/asait2017.html
Important Dates:
