[UAI] CfP FMCAD 2017 - Formal Methods in Computer Aided Design

2017-04-14 Thread no-reply
2nd CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD) Vienna, Austria, October 2-6, 2017 http://www.fmcad.org/FMCAD17 IMPORTANT DATES Abstract Submission:May 01, 2017 Paper Submission: May 08, 2017 Author Response Period:

[UAI] [CFP] (EXTENDED DATE 1st May) International Workshop on Computation Sustainability, Technologies and Applications (CoSTA'2017)

2017-04-14 Thread fabiosilva
(Deadline Extended) - CALL FOR PAPERS - International Workshop on Computational Sustainability, Technologies and Applications (CoSTA'2017) 5-8 September 2017 - Porto https://web.fe.up.pt/~epia2017/thematic-tracks/costa/