posted by user: jyotirmoy || 6529 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 2021   International Colloquium on Automata, Languages and Programming
FM 2021   Formal Methods 2021
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
CAV 2021   33rd International Conference on Computer-Aided Verification
ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems
NFM 2021   13th NASA Formal Methods Symposium
LCPC 2020   Languages and Compilers for Parallel Computing
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
IJPLA 2020   International Journal of Programming Languages and Applications
LATA 2020 & 2021   14th International Conference on Language and Automata Theory and Applications