posted by user: jyotirmoy || 8389 views || tracked by 24 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 2024   International Colloquium on Automata, Languages and Programming
AVC 2024   Advances in Vision Computing: An International Journal
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
FM 2024   Formal Methods
OOPSLA 2024   The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R2)
SPM 2024   11th International Conference on Signal, Image Processing and Multimedia
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
NLPA 2024   5th International Conference on Natural Language Processing and Applications
APL 2024   Advances in Programming Languages (APL) Thematic Track at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
NYC-2024-SE 2024   New York Annual Conference on Software Engineering 2024