posted by user: jyotirmoy || 4855 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 2018   International Colloquium on Automata, Languages and Programming
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
ICTAC 2018   15th International Colloquium on Theoretical Aspects of Computing
CPPS 2018   CYBER PHYSICAL PRODUCTION SYSTEMS: THEORY AND PRACTICES
POPL 2019   Symposium on Principles of Programming Languages
ASPLOS 2019   Architectural Support for Programming Languages and Operating Systems
APLAS 2018   16th Asian Symposium on Programming Languages and Systems
STACS 2019   36th International Symposium on Theoretical Aspects of Computer Science
FACS 2018   15th International Conference on Formal Aspects of Component Software
CAIJ 2018   Computer Applications: An International Journal