| Event | When | Where | Deadline | | | Expired CFPs |
| VSTTE 2016 |
Verified Software: Theories, Tools, Experiments | |
| Jul 17, 2016 - Jul 18, 2016 |
Toronto, Canada |
May 2, 2016 (Apr 25, 2016) |
| ICTAC 2016 |
13th International Colloquium on Theoretical Aspects of Computing | |
| Oct 24, 2016 - Oct 31, 2016 |
Taipei, Taiwan, ROC |
May 1, 2016 (Apr 23, 2016) |
| AUTOMATA 2016 |
22nd International Workshop on Cellular Automata and Discrete Complex Systems | |
| Jun 15, 2016 - Jun 17, 2016 |
Zurich, Switzerland |
May 1, 2016 |
| IEEE-iCATccT 2016 |
IEEE 2nd International Conference on Applied and Theoretical Computing and Communication Technology (iCATccT - 2016) | |
| Jul 21, 2016 - Jul 23, 2016 |
Bengaluru, India |
Apr 20, 2016 |
| CONCUR 2016 |
The 27th International Conference on Concurrency Theory | |
| Aug 23, 2016 - Aug 26, 2016 |
Québec City, Canada |
Apr 18, 2016 (Apr 11, 2016) |
| PSSV 2016 |
7th Workshop Program Semantics, Specification and Verification | |
| Jun 14, 2016 - Jun 14, 2016 |
Saint Petersburg, Russia |
Apr 15, 2016 |
| PNSE 2016 |
International Workshop on Petri Nets and Software Engineering | |
| Jun 20, 2016 - Jun 21, 2016 |
Toruń, Poland |
Apr 10, 2016 (Mar 29, 2016) |
| WATA 2016 |
Weighted Automata: Theory and Applications | |
| Apr 25, 2016 - Apr 29, 2016 |
Aalborg University, Denmark |
Mar 29, 2016 |
| UTP 2016 |
The 6th International Symposium on Unifying Theories of Programming | |
| Jun 4, 2016 - Jun 5, 2016 |
Reykjavík, Iceland |
Mar 20, 2016 |
| AiML 2016 |
11th International Conference on Advances in Modal Logic | |
| Aug 29, 2016 - Sep 2, 2016 |
Budapest, Hungary |
Mar 17, 2016 (Mar 10, 2016) |
| CIAA 2016 |
21st International Conference on Implementation and Application of Automata | |
| Jul 19, 2016 - Jul 22, 2016 |
SEOUL, SOUTH KOREA |
Mar 15, 2016 |
| CIAA 2016 |
21st International Conference on Implementation and Application of Automata | |
| Jul 19, 2016 - Jul 22, 2016 |
Seoul (South Korea) |
Mar 15, 2016 |
| DCFS 2016 |
Descriptional Complexity of Formal Systems Working Conference | |
| Jul 5, 2016 - Jul 8, 2016 |
Bucharest, Romania |
Mar 1, 2016 |
| ICGT 2016 |
9th International Conference on Graph Transformation | |
| Jul 5, 2016 - Jul 6, 2016 |
Vienna |
Feb 29, 2016 (Feb 15, 2016) |
| LICS 2016 |
Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science | |
| Jul 5, 2016 - Jul 8, 2016 |
New York City, USA |
Jan 18, 2016 (Jan 11, 2016) |
| Petri Nets 2016 |
ICATPN-16: 37th International Conference on Application and Theory of Petri Nets and Concurrency | |
| Jun 19, 2016 - Jun 24, 2016 |
Toruń, Poland |
Jan 15, 2016 |
| BIOMICS 2016 |
3rd International BIOMICS Workshop | |
| Feb 8, 2016 - Feb 10, 2016 |
Passau, Germany |
Jan 11, 2016 |
| CiE 2016 |
Computability in Europe | |
| Jun 27, 2016 - Jul 1, 2016 |
Paris, France |
Dec 15, 2015 |
| Lata 2016 |
10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
| Mar 14, 2016 - Mar 18, 2016 |
Prague, Czech Republic |
Oct 19, 2015 |
| FoSSaCS 2016 |
19th International Conference on Foundations of Software Science and Computation Structures | |
| Apr 2, 2016 - Apr 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
|
