Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: jyotirmoy || 8088 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 2023   International Colloquium on Automata, Languages and Programming
CGDEIJ 2023   Computer Game Development and Education: An International Journal
ASPLOS 2024   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Fall)
MECHAN 2023   6th International Conference on Mechanical Engineering
OOPSLA 2024   The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R2)
ABZ 2024   Abstract State Machines, Alloy, B and Z
ASPLOS 2024   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Summer)
OOPSLA 2024   The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R1)
FLOPS 2024   FLOPS 2024: 17th International Symposium on Functional and Logic Programming
IJPLA 2023   International Journal of Programming Languages and Applications
About Us | Contact Us | Data | Privacy Policy | Terms and Conditions
Partners: AI2's Semantic Scholar
This wiki is licensed under a Creative Commons Attribution-Share Alike 3.0 License.