Provenance and Annotation of Data and Processes : 8th and 9th International Provenance and Annotation Workshop,IPAW 2020 + IPAW 2021, Virtual Event
Leveraging Applications of Formal Methods,Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of F
Big Data Analytics and Knowledge Discovery : 23rd International Conference,DaWaK 2021, Virtual Event, September 27-30, 2021, Proceedings
Science of Cyber Security : Third International Conference,SciSec 2021, Virtual Event, August 13-15, 2021, Revised Selected Papers
Descriptional Complexity of Formal Systems : 23rd IFIP WG 1.02 International Conference,DCFS 2021, Virtual Event, September 5, 2021, Proceedings
Digital Forensics and Watermarking : 20th International Workshop,IWDW 2021, Beijing, China, November 20-22, 2021, Revised Selected Papers
Languages and Compilers for Parallel Computing : 33rd International Workshop,LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers
Formal Methods for Industrial Critical Systems : 23rd International Conference,FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Reasoning Web. Learning,Uncertainty, Streaming, and Scalability : 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22-2
Electronic Voting : Third International Joint Conference,E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings
Information Retrieval : 24th China Conference,CCIR 2018, Guilin, China, September 27-29, 2018, Proceedings
System Analysis and Modeling. Languages,Methods, and Tools for Systems Engineering : 10th International Conference, SAM 2018, Copenhagen, Denmark, Oc
