Principles of Security and Trust : 8th International Conference,POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of S
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference,TACAS 2019, Held as Part of the European Joint Conf
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics,Held as Part of ETAPS 2019, Prague, Czech Republic
Algorithms and Data Structures : Foundations and Probabilistic Methods for Design and Analysis
Membrane Computing : 21st International Conference,CMC 2020, Virtual Event, September 14-18, 2020, Revised Selected Papers
Implementation and Application of Automata : 25th International Conference,CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings
Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
The Multi-Agent Programming Contest 2021 : One-and-a-Half Decades of Exploring Multi-Agent Systems
Machine Learning for Medical Image Reconstruction : 4th International Workshop,MLMIR 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France
Statistical Language and Speech Processing : 9th International Conference,SLSP 2021, Virtual Event, November 22-26, 2021, Proceedings
Formal Methods: Foundations and Applications : 24th Brazilian Symposium,SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
