Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)
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)