Software tools for designing electronic systems.
forum
Submitted by Anonymous on Mon, 07/25/2016 - 2:43pm
CALL FOR PAPERS - Final Deadline extended to October 12, 2016
4th PDP special session on FORmal approaches to PArallel and Distributed systems (4PAD 2017)
St. Petersburg, Russia | 6-8 March 2017 | http://www.pdp2017.org/4pad.html
Please notice the following updates:
- program committee
- double-blind policy
- links to LaTeX and MS Word templates
Important dates
event
Submitted by Anonymous on Mon, 07/25/2016 - 2:37pm
25th Euromicro International Conference on Parallel, Distributed and Network-based Processing
The PDP 2017 conference organized by Laboratory of Computer Security Problems of SPIIRAS will be held in St. Petersburg, Russia.
Parallel, Distributed, and Network-Based Processing
forum
Submitted by Anonymous on Mon, 07/25/2016 - 2:26pm
CALL FOR PAPERS
A satellite workshop of FM2016, November 8, 2016, Limassol, Cyprus
Submission due: August 14, 2016
Website: https://sites.google.com/site/fideworkshop2016/
Formal Integrated Development Environment (F-IDE) is a workshop dedicated to formal tools for the rigorous specification, design, analysis, and documentation of a system.
forum
Submitted by Anonymous on Mon, 07/25/2016 - 2:24pm
CALL FOR PAPERS
A satellite workshop of FM2016, November 8, 2016, Limassol, Cyprus
Submission due: August 14, 2016
Website: https://sites.google.com/site/fideworkshop2016/
Formal Integrated Development Environment (F-IDE) is a workshop dedicated to formal tools for the rigorous specification, design, analysis, and documentation of a system.
event
Submitted by Anonymous on Mon, 07/25/2016 - 2:24pm
3rd Workshop on Formal Integrated Development Environment (F-IDE2016)
A satellite workshop of FM2016
Formal Integrated Development Environment (F-IDE) is a workshop dedicated to formal tools for the rigorous specification, design, analysis, and documentation of a system.
forum
Submitted by haksu on Mon, 07/18/2016 - 1:23pm
forum
Submitted by Anonymous on Fri, 07/15/2016 - 3:12pm
Formal Methods 2016 - Tutorial on Cyber-Physical Systems Engineering: Next Generation Foundations, Methods and Tools
In conjunction with the 21st Symposium on Formal Methods
Limassol, Cyprus | November 8th, 2016 | http://fm2016.cs.ucy.ac.cy/tutorials.html
forum
Submitted by Anonymous on Fri, 07/15/2016 - 3:12pm
Formal Methods 2016 - Tutorial on Cyber-Physical Systems Engineering: Next Generation Foundations, Methods and Tools
In conjunction with the 21st Symposium on Formal Methods
Limassol, Cyprus | November 8th, 2016 | http://fm2016.cs.ucy.ac.cy/tutorials.html
forum
Submitted by Anonymous on Fri, 07/15/2016 - 2:52pm
forum
Submitted by Anonymous on Fri, 07/15/2016 - 2:52pm
