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

ICALP 2010 : International Colloquium on Automata, Languages and Programming


Conference Series : International Colloquium on Automata, Languages and Programming
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


Related Resources

ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
LICS 2018   Logic in Computer Science
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
IJESA 2017   International Journal of Embedded Systems and Applications
FM 2018   22nd International Symposium on Formal Methods
PLDI 2018   Programming Language Design and Implementation
NATP 2017   3rd International Conference on Natural Language Processing
CONCUR 2018   29th International Conference on Concurrency Theory
CCEAI 2018   2018 2nd International Conference on Control Engineering and Artificial Intelligence (CCEAI 2018)
ABZ 2018   6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018