posted by user: jyotirmoy || 6348 views || tracked by 25 users: [display]

ICALP 2010 : International Colloquium on Automata, Languages and Programming

FacebookTwitterLinkedInGoogle


Conference Series : International Colloquium on Automata, Languages and Programming
 
Link: http://icalp10.inria.fr/index.php?n=Main.CallForPapers
 
When Jul 5, 2010 - Jul 12, 2010
Where Bordeaux France
Submission Deadline Feb 10, 2010
Notification Due Apr 6, 2010
Categories    formal methods   automata theory   model checking
 

Call For Papers

[Empty]

Related Resources

ICALP 2020   47th International Colloquium on Automata, Languages and Programming
FM 2021   Formal Methods 2021
ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems
CPP 2021   Certified Programs and Proofs
NLAI 2020   International Conference on NLP & Artificial Intelligence Techniques
SAC-SVT 2021   Software Verification and Testing Track at SAC 2021
LCPC 2020   Languages and Compilers for Parallel Computing
PSSV 2020   XI Workshop Program Semantics, Specification and Verification
COMIT 2020   4th International Conference on Computer Science and Information Technology
LATA 2020 & 2021   14th International Conference on Language and Automata Theory and Applications