posted by user: jyotirmoy || 6324 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
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
LCPC 2020   Languages and Compilers for Parallel Computing
ASYDE 2020   Automated and verifiable Software sYstem DEvelopment
SPM 2020   7th International Conference on Signal, Image Processing and Multimedia
CPP 2021   Certified Programs and Proofs
COMPUTATION TOOLS 2020   The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
ICAASE 2020   The 4th International Conference on Advanced Aspects of Software Engineering
COMIT 2020   4th International Conference on Computer Science and Information Technology
SBLP 2020   24th Brazilian Symposium on Programming Languages