posted by user: ndisp || 5757 views || tracked by 7 users: [display]

ACSD 2016 : 16th International Conference on Application of Concurrency to System Design

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Application of Concurrency to System Design
 
Link: http://pn2016.mat.umk.pl/
 
When Jun 19, 2016 - Jun 21, 2016
Where Toruń, Poland
Abstract Registration Due Jan 12, 2016
Submission Deadline Jan 25, 2016
Notification Due Mar 15, 2016
Final Version Due Apr 15, 2016
Categories    formal methods   concurrency   verification   software engineering
 

Call For Papers

[Empty]

Related Resources

ACSD 2017   Application of Concurrency to System Design
HVC 2017   Haifa Verification Conference
ISED 2017   IEEE 7th International Symposium on Embedded computing and system Design (ISED)
FACS 2017   14th International Conference on Formal Aspects of Component Software
ACCS 2017   12th Asian Conference on Chemical Sensors
ICSIP-IEEE 2017   2nd International Conference on Signal and Image Processing - IEEE
ICCD 2017   International Conference on Computer Design
ICIST 2017   23rd International Conference on Information and Software Technologies
NSDI 2018   15th USENIX Symposium on Networked Systems Design and Implementation
ModComp 2017   4rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2017