posted by user: jyotirmoy || 7484 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 2022   International Colloquium on Automata, Languages and Programming
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
POPL 2023   50th Symposium on Principles of Programming Languages
FM 2023   Formal Methods
ASPLOS 2023   Architectural Support for Programming Languages and Operating Systems
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
iccq 2023   The Third International Conference on Code Quality
FTSCS 2022   8th International Workshop on Formal Techniques for Safety-Critical Systems
CSTY 2022   8th International Conference on Computer Science and Information Technology