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, AustriaFeb 11, 2020Sep 4, 2020computational biology modeling verification controladd HSB 2020 to watchlist
LOPSTR 202030th International Symposium on Logic-based Program Synthesis and TransformationBologna, ItalyJun 12, 2020Sep 7, 2020program transformation verification modellingadd LOPSTR 2020 to watchlist
PPDP 202022nd International Symposium on Principles and Practice of Declarative ProgrammingBologna, ItalyMay 15, 2020Sep 8, 2020declarative programming artificial intelligence verification databasesadd PPDP 2020 to watchlist
ICFEM'20The 22nd International Conference on Formal Engineering MethodsSingapore, SingaporeMay 24, 2020Nov 2, 2020software engineering formal methods verification program analysisadd ICFEM'20 to watchlist
Copyright © 2002 – 2020 EasyChair