Laurent Doyen: Conference Publications by Venue

ACSD (Conference on Application of Concurrency to System Design)

ATVA (Symposium on Automated Technology for Verification and Analysis)

CAV (Conference on Computer-Aided Verification)

CONCUR (Conference on Concurrency Theory)

CSL (Conference for Computer Science Logic)

CSR (Computer Science Symposium in Russia)

EMSOFT (ACM Conference on Embedded Software)

FCT (Symposium on Fundamentals of Computation Theory)

FM (Symposium on Formal Methods)

FORMATS (Conference on Formal Modeling and Analysis of Timed Systems); formerly also FTRTFT

FoSSaCS (Conference on Foundations of Software Science and Computation Structures)

FSTTCS (IARCS Conference on Foundations of Software Technology and Theoretical Computer Science)

HSCC (Workshop on Hybrid Systems: Computation and Control)

ICALP (EATCS International Colloquium on Automata, Languages, and Programming)

LICS (IEEE Symposium on Logic in Computer Science)

LPAR (Logic for Programming, Artificial Intelligence, and Reasoning)

MEMICS (Doctoral Workshop on Mathematical and Engineering Methods in Computer Science)

MFCS (Symposium on Mathematical Foundations of Computer Science)

RP (Workshop on Reachability Problems)

STACS (Symposium on Theoretical Aspects of Computer Science)

TACAS (Conference on Tools and Algorithms for the Construction and Analysis of Systems)

VMCAI (Conference on Verification, Model Checking, and Abstract Interpretation)


Last updated in August 2022.