Theoretical Computer Science
| No. | Title Abbr. | Title | Location | Date | Submission Due Date |
|---|---|---|---|---|---|
| 1 | ICDS 2022 |
The Sixteenth International Conference on Digital Society (ICDS 2022) () |
Portugal, Porto |
2022-06-26 ~ 2022-06-30 |
2022-03-12 [Passed] |
| 2 | DESTINI Sattelite Event on SummerSoc 2022 () | Greece, Herakleion |
2022-07-03 ~ 2022-07-09 |
2022-06-25 [Passed] (Abstract Submission Due Date: 2022-05-15 [Passed]) |
|
| 3 | LearnAut 2022 |
Learning & Automata 2022 (LearnAut 2022) () |
Paris, France |
2022-07-04 ~ 2022-07-04 |
2022-04-07 [Passed] |
| 4 | RC 2022 |
Reversible Computation (RC 2022) () |
Urbino, Italy |
2022-07-05 ~ 2022-07-06 |
2022-02-21 [Passed] (Abstract Submission Due Date: 2022-02-07 [Passed]) |
| 5 | TASE 2022 |
Theoretical Aspects of Software Engineering (TASE 2022) () |
Cluj-Napoca, Romania |
2022-07-08 ~ 2022-07-10 |
2022-02-13 [Passed] (Abstract Submission Due Date: 2022-01-31 [Passed]) |
| 6 | CDS 2022 |
4th International Conference on Computing and Data Science（CONF-CDS） (CDS 2022) () |
China, Macau |
2022-07-16 ~ 2022-07-16 |
2022-07-04 |
| 7 | IWLS 2022 |
International Workshop on Logic & Synthesis (IWLS 2022) () |
Virtual |
2022-07-18 ~ 2022-07-21 |
2022-04-18 [Passed] (Abstract Submission Due Date: 2022-04-11 [Passed]) |
| 8 | FOMEO 2022 |
Formal Methods Education Online: Tips, Tricks & Tools 2022 (FOMEO 2022) () |
Haifa, Israel |
2022-07-31 ~ 2022-08-01 |
2022-05-10 [Passed] (Abstract Submission Due Date: 2022-05-01 [Passed]) |
| 9 | Linearity & TLLA - 2022 |
Third Joint International Workshop on Linearity and Trends in Linear Logic and its Applications (Linearity & TLLA - 2022) () |
Haifa, Israel |
2022-07-31 ~ 2022-08-01 |
2022-05-20 [Passed] |
| 10 | CIAP 2022 |
The International Conference on Computing Innovation and Applied Physics（CONF-CIAP）2022 (CIAP 2022) () |
United States of America, San Francisco |
2022-08-07 ~ 2022-08-07 |
2022-07-20 |
| 11 | PAAR 2022 |
8th Workshop on Practical Aspects of Automated Reasoning (PAAR 2022) () |
Haifa, Israel, |
2022-08-11 ~ 2022-08-12 |
2022-04-26 [Passed] (Abstract Submission Due Date: 2022-04-19 [Passed]) |
| 12 | NSV 2022 |
15th International Workshop on Numerical Software Verification (NSV 2022) () |
Haifa, Israel |
2022-08-11 ~ 2022-08-11 |
2022-05-10 [Passed] |
| 13 | EBL 2022 |
20th EBL: XX Encontro Brasileiro de Lógica - XX Brazilian Logic Conference (EBL 2022) () |
Salvador - Bahia, Brazil |
2022-09-12 ~ 2022-09-16 |
2022-06-05 [Passed] |
| 14 | DT4BP 2022 |
1st International Workshop on Digital Twins for Business Processes (DT4BP 2022) () |
Italy, Catanzaro |
2022-09-12 ~ 2022-09-15 |
2022-06-15 [Passed] (Abstract Submission Due Date: 2022-05-27 [Passed]) |
| 15 | SEFM 2022 |
20th International Conference on Software Engineering and Formal Methods (SEFM 2022) () |
Berlin, Germany |
2022-09-28 ~ 2022-09-30 |
2022-06-26
(Abstract Submission Due Date: 2022-06-20 [Passed]) |
| 16 | SBLP 2022 |
XXVI Brazilian Symposium on Programming Languages (SBLP 2022) () |
Uberlândia, Brazil |
2022-10-03 ~ 2022-10-07 |
2022-05-22 [Passed] (Abstract Submission Due Date: 2022-05-15 [Passed]) |
| 17 | AUTOMATA 2022 |
The 28th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2022) () |
Kharagpur, India |
2022-10-10 ~ 2022-10-12 |
2022-05-15 [Passed] |
| 18 | MEMOCODE 2022 |
20th ACM/IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE 2022) () |
Shanghai, China |
2022-10-13 ~ 2022-10-14 |
2022-06-03 [Passed] (Abstract Submission Due Date: 2022-05-27 [Passed]) |
| 19 | SECURWARE 2022 |
International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2022) () |
Lisbon, Portugal |
2022-10-16 ~ 2022-10-20 |
2022-06-02 [Passed] |
| 20 | VSTTE 2022 |
14th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2022) () |
Trento, Italy |
2022-10-17 ~ 2022-10-18 |
2022-07-22
(Abstract Submission Due Date: 2022-07-15) |
| 21 | FMCAD 2022 |
Formal Methods in Computer-Aided Design (FMCAD 2022) () |
Trento, Italy |
2022-10-18 ~ 2022-10-21 |
2022-05-15 [Passed] (Abstract Submission Due Date: 2022-05-08 [Passed]) |
| 22 | ICFEM 2022 |
23th International Conference on Formal Engineering Methods (ICFEM 2022) () |
Madrid |
2022-10-24 ~ 2022-10-27 |
2022-04-17 [Passed] (Abstract Submission Due Date: 2022-04-10 [Passed]) |
| 23 | SEAPP 2022 | 11th International Conference on Software Engineering and Applications (SEAPP 2022) () | Zurich |
2022-11-19 ~ 2022-11-20 |
2022-07-02 |
| 24 | SLE 2022 |
Software Language Engineering (SLE 2022) () |
Auckland, New Zealand |
2022-12-05 ~ 2022-12-10 |
2022-04-13 [Passed] (Abstract Submission Due Date: 2022-04-06 [Passed]) |
| 25 | sas 2022 |
29th Static Analysis Symposium (sas 2022) () |
Auckland, New Zealand |
2022-12-05 ~ 2022-12-10 |
2022-05-04 [Passed] |
| 26 | CSL 2022 |
Computer Science Logic 2023 (CSL 2022) () |
Warsaw, Poland |
2023-02-13 ~ 2023-02-17 |
2022-07-16
(Abstract Submission Due Date: 2022-07-09) |
MANUSCRIPTLINK © 2015 -
