EasyChair Smart CFPHelp/Log in
All CFPs for "verification"

CFPs in the table are ordered by the end date.

Click on the CFP acronym to open this CFP.

To add a CFP to your watchlist, click .

Click on a topic to see related CFPs.

CFPs are ordered by the end date.

Acronym
NameLocation
Submission
deadline
Start date
TopicsAdd to watchlist
HSB 20207th International Workshop on Hybrid Systems BiologyVienna, AustriaJan 17, 2020Apr 15, 2020computational biology modeling verification controladd HSB 2020 to watchlist
MARS2020MARS 2020 (4th Workshop on Models for Formal Analysis of Real Systems)Dublin, IrelandJan 20, 2020Apr 26, 2020software engineering verification formal methods industrial critical systemsadd MARS2020 to watchlist
PLACES 202012th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric SoftwareDublin, IrelandJan 24, 2020Apr 26, 2020programming languages distributed and concurrent programming type systems verificationadd PLACES 2020 to watchlist
PaPoC 20207th Workshop on Principles and Practice of Consistency for Distributed DataHeraklion, Crete, GreeceFeb 21, 2020Apr 27, 2020distributed systems consistency replication verificationadd PaPoC 2020 to watchlist
FSCD 2020International Conference on Formal Structures for Computation and DeductionParis, FranceFeb 9, 2020Jun 29, 2020calculi semantics computation verificationadd FSCD 2020 to watchlist
CAV 202032nd International Conference on Computer Aided VerificationLos Angeles, CA, United StatesJan 28, 2020Jul 19, 2020formal methods verification synthesis logicadd CAV 2020 to watchlist
Copyright © 2002 – 2020 EasyChair