| Event | When | Where | Deadline | | | Expired CFPs |
| CfP - CONCUR 2017 |
Call for Papers - 28th International Conference on Concurrency Theory | |
| Sep 5, 2017 - Sep 8, 2017 |
Berlin |
Apr 21, 2017 |
| CMC18 |
18th International Conference on Membrane Computing | |
| Jul 24, 2017 - Jul 28, 2017 |
Bradford, UK |
Apr 17, 2017 |
| LearnAut 2017 |
Learning and Automata - LICS 2017 Workshop | |
| Jun 19, 2017 - Jun 19, 2017 |
Reykjavik (Iceland) |
Apr 1, 2017 |
| Computation SI 2017 |
Special Issue in Computational Aspects Related to Unconventional, Bioinspired and Quantum Methods | |
| Oct 10, 2016 - Mar 31, 2017 |
N/A |
Mar 31, 2017 |
| Tbilisi 2017 |
The Twelfth International Tbilisi Symposium on Language, Logic and Computation | |
| Sep 18, 2017 - Sep 22, 2017 |
Kakheti, Georgia |
Mar 15, 2017 |
| CIAA 2017 |
22nd International Conference on Implementation and Application of Automata | |
| Jun 27, 2017 - Jun 30, 2017 |
Marne-la-Vallée (Fr |
Mar 1, 2017 |
| DCFS 2017 |
19th International Conference on Descriptional Complexity of Formal Systems | |
| Jul 3, 2017 - Jul 5, 2017 |
Milano, Italy |
Mar 1, 2017 |
| ICALP 2017 |
44th International Colloquium on Automata, Languages, and Programming | |
| Jul 10, 2017 - Jul 14, 2017 |
Warsaw, Poland |
Feb 17, 2017 |
| CfW-CONCUR 2017 |
Call for Workshops in The 28th International Conference on Concurrency Theory | |
| Sep 4, 2017 - Sep 9, 2017 |
Berlin |
Jan 27, 2017 |
| Petri Nets 2017 |
CFP 38th Int. Conf. on APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY (Petri nets 2017), Zaragoza, Spain, June 25-30, 2017 | |
| Jun 25, 2017 - Jun 25, 2017 |
Zaragoza, Spain |
Jan 15, 2017 (Jan 10, 2017) |
| LICS 2017 |
Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science | |
| Jun 20, 2017 - Jun 23, 2017 |
Reykjavik, Iceland |
Jan 9, 2017 (Jan 3, 2017) |
| LATA 2017 |
11th International Conference on Language and Automata Theory and Applications | |
| Mar 6, 2017 - Mar 10, 2017 |
Umeå, Sweden |
Oct 21, 2016 |
| ITCS 2017 |
Innovations in Theoretical Computer Science | |
| Jan 9, 2017 - Jan 1, 2017 |
Berkeley |
Sep 15, 2016 |
| FSTTCS 2016 |
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | |
| Dec 13, 2016 - Dec 15, 2016 |
Chennai, India |
Jul 15, 2016 |
| LACL 2016 |
Logical Aspects of Computational Linguistics | |
| Dec 5, 2016 - Dec 7, 2016 |
Nancy, France |
Jun 15, 2016 |
| EXPRESS/SOS 2016 |
Combined 23th International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016) | |
| Aug 22, 2016 - Aug 22, 2016 |
Québec |
Jun 13, 2016 |
| RP 2016 |
Reachability Problems | |
| Sep 19, 2016 - Sep 21, 2016 |
Aalborg, Denmark |
Jun 10, 2016 |
| Stringology 2016 |
Prague Stringology Conference | |
| Aug 29, 2016 - Aug 31, 2016 |
Prague, Czech Republic |
May 19, 2016 |
| VSTTE 2016 |
Verified Software: Theories, Tools, Experiments | |
| Jul 17, 2016 - Jul 18, 2016 |
Toronto, Canada |
May 2, 2016 (Apr 25, 2016) |
| TTATT 2016 |
4th International Workshop on Trends in Tree Automata and Tree Transducers | |
| Jul 18, 2016 - Jul 18, 2016 |
Seoul, South Korea |
May 2, 2016 |
|
