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)