| Event | When | Where | Deadline | |
| LICS 2014 |
Joint meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science | |
| Jul 14, 2014 - Jul 18, 2014 |
Vienna, Austria |
Jan 20, 2014 (Jan 13, 2014) |
| STACS 2019 |
36th International Symposium on Theoretical Aspects of Computer Science | |
| Mar 13, 2019 - Mar 16, 2019 |
TU Berlin, Berlin, Germany |
Oct 1, 2018 |
| APIT 2019 |
2019 Asia Pacific Information Technology Conference APIT in Jeju Island, South Korea | |
| Jan 25, 2019 - Jan 27, 2019 |
Jeju Island, South Korea |
Nov 10, 2018 (Dec 25, 2018) |
| LATA 2019 |
13th International Conference on Language and Automata Theory and Applications | |
| Mar 25, 2019 - Mar 29, 2019 |
Saint Petersburg |
Nov 11, 2018 |
| APIT 2019 |
2019 Asia Pacific Information Technology Conference APIT in Jeju Island, South Korea | |
| Jan 25, 2019 - Jan 27, 2019 |
Jeju Island, South Korea |
Dec 10, 2018 (Dec 25, 2018) |
| LICS 2019 |
Thirty-Fourth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) | |
| Jun 24, 2019 - Jun 27, 2019 |
Vancouver |
Jan 11, 2019 (Jan 4, 2019) |
| CAI 2019 |
8th International Conference on Algebraic Informatics | |
| Jun 30, 2019 - Jul 4, 2019 |
Niš, Serbia |
Jan 15, 2019 |
| CAI 2019 |
8th International Conference on Algebraic Informatics | |
| Jun 30, 2019 - Jul 4, 2019 |
Niš, Serbia |
Jan 25, 2019 |
| AUTOMATA 2019 |
25th International Workshop on Cellular Automata and Discrete Complex Systems | |
| Jun 26, 2019 - Jun 28, 2019 |
Guadalajara, Mexico |
Feb 17, 2019 |
| ICALP 2019 |
46th International Colloquium on Automata, Languages, and Programming | |
| Jul 8, 2019 - Jul 12, 2019 |
Patras, Greece |
Feb 18, 2019 |
| PRICAI 2019 |
16th Pacific Rim International Conference on Artificial Intelligence | |
| Aug 26, 2019 - Aug 30, 2019 |
Fiji |
Feb 28, 2019 |
| DLT 2019 |
Developments in Language Theory | |
| Aug 5, 2019 - Aug 9, 2019 |
Warsaw, Poland |
Mar 17, 2019 (Mar 10, 2019) |
| HPCC 2019 |
The 21st IEEE International Conference on High Performance Computing and Communications | |
| Aug 10, 2019 - Aug 12, 2019 |
Zhangjiajie |
Mar 23, 2019 |
| LearnAut 2019 |
Learning and Automata (LearnAut) 2019 -- LICS 2019 Workshop | |
| Jun 23, 2019 - Jun 23, 2019 |
Vancouver, Canada |
Mar 30, 2019 |
| IEEE--ICAIBD--Ei and Scopus 2019 |
IEEE--2019 The 2nd International Conference on Artificial Intelligence and Big Data (ICAIBD 2019)--Ei Compendex, Scopus | |
| May 25, 2019 - May 28, 2019 |
Chengdu, China |
Mar 31, 2019 |
| TSC-Blockchain 2019 |
IEEE Transactions on Services Computing Special Issue on Blockchain-Based Services Computing | |
| N/A |
N/A |
Mar 31, 2019 |
| BICAS 2019 |
Biologically Inspired Parallel and Distributed Computing, Algorithms and Solutions 2019 | |
| Jul 15, 2019 - Jul 19, 2019 |
Dublin, Ireland |
Apr 1, 2019 |
| NCMA 2019 |
11th International Workshop on Non-Classical Models of Automata and Applications | |
| Jul 2, 2019 - Jul 3, 2019 |
Valencia, Spain |
Apr 8, 2019 |
| IEEE/ACM SC 2019 |
IEEE/ACM International Conference on High Performance Computing, Networking, Storage and Analysis | |
| Nov 19, 2019 - Nov 21, 2019 |
Denver, Colorado, USA |
Apr 10, 2019 (Apr 2, 2019) |
| FM 2019 |
23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods | |
| Oct 7, 2019 - Oct 11, 2019 |
Porto, Portugal |
Apr 11, 2019 (Mar 28, 2019) |
|
