|
SEFM 2022
20th International Conference on Software Engineering and Formal Methods
|
|
ICALP 2022
International Colloquium on Automata, Languages and Programming
|
|
AUTOMATA 2022
The 28th International Workshop on Cellular Automata and Discrete Complex Systems
|
|
SECURWARE 2022
International Conference on Emerging Security Information, Systems and Technologies
|
|
POPL 2023
50th Symposium on Principles of Programming Languages
|
|
SYNASC 2022
24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
|
|
EXPRESS/SOS 2022
Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
|
|
IJPLA 2022
International Journal of Programming Languages and Applications
|
|
ICSEA 2022
The Seventeenth International Conference on Software Engineering Advances
|
|
MPLR 2022
19th International Conference on Managed Programming Languages & Runtimes
|
