| Event | When | Where | Deadline | |
| DATE 2013 |
Design Automation and Test in Europe | |
| Mar 19, 2013 - Mar 22, 2013 |
Grenoble, France |
Sep 14, 2012 (Sep 9, 2012) |
| DAC 2013 |
50th ACM/EDAC/IEEE Design Automation Conference (DAC) | |
| Jun 2, 2013 - Jun 6, 2013 |
Austin / U.S.A |
Dec 3, 2012 (Nov 27, 2012) |
| ASYNC 2013 |
International Symposium on Asynchronous Circuits and Systems | |
| May 19, 2013 - May 22, 2013 |
Santa Monica, California |
Dec 14, 2012 (Dec 7, 2012) |
| CAV 2013 |
25th International Conference on Computer Aided Verification | |
| Jul 13, 2013 - Jul 19, 2013 |
St. Petersburg, Russia |
Jan 7, 2013 (Jan 3, 2013) |
| Petri Nets 2013 |
34th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY | |
| Jun 26, 2013 - Jun 28, 2013 |
Milano, Italy |
Jan 15, 2013 (Jan 10, 2013) |
| ACSD 2013 |
13th International Conference on Application of Concurrency to System Design | |
| Jul 8, 2013 - Jul 10, 2013 |
Barcelona, Spain |
Feb 3, 2013 (Jan 27, 2013) |
| SAT 2013 |
International Conference on Theory and Applications of Satisfiability Testing | |
| Jul 8, 2013 - Jul 12, 2013 |
Helsinki, Finland |
Feb 8, 2013 (Feb 1, 2013) |
| FPL 2013 |
23rd international conference on field programmable logic and applications | |
| Sep 2, 2013 - Sep 4, 2013 |
Porto, Portugal |
Mar 22, 2013 |
| FOCS 2013 |
2013 IEEE Symposium on Foundations of Computer Science | |
| Oct 27, 2013 - Oct 30, 2013 |
Berkeley, California, USA |
Apr 3, 2013 |
| CONCUR 2013 |
International Conference on Concurrency Theory | |
| Aug 27, 2013 - Aug 30, 2013 |
University of Buenos Aires, Argentina |
Apr 8, 2013 (Apr 1, 2013) |
| ACSD 2014 |
International Conference on Application of Concurrency to System Design | |
| Jun 25, 2014 - Jun 27, 2014 |
Tunis, Tunisia |
Jan 17, 2014 (Jan 10, 2014) |
