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)

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)

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 December 2014.