posted by user: jyotirmoy || 7381 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

SEFM 2022   20th International Conference on Software Engineering and Formal Methods
ICALP 2022   International Colloquium on Automata, Languages and Programming
AUTOMATA 2022   The 28th International Workshop on Cellular Automata and Discrete Complex Systems
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies
POPL 2023   50th Symposium on Principles of Programming Languages
SYNASC 2022   24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
IJPLA 2022   International Journal of Programming Languages and Applications
ICSEA 2022   The Seventeenth International Conference on Software Engineering Advances
MPLR 2022   19th International Conference on Managed Programming Languages & Runtimes