Raven Beutner

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

IEEE Computer Security Foundations Symposium (CSF)

Computer Aided Verification (CAV)

ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

IEEE Symposium on Logic in Computer Science (LICS)

International Conference on Concurrency Theory (CONCUR)