posted by user: jyotirmoy || 5427 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 2019   46th International Colloquium on Automata, Languages, and Programming
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
POPL 2020   ACM SIGPLAN Symposium on Principles of Programming Languages 2020
FACS 2019   Formal Aspects of Component Software
SEFM 2019   Software Engineering and Formal Methods
WAPL 2019   7th Workshop on Advances in Programming Languages
ICALP ex CITALA 2019   The International Conference on arabic Language Processing (ex CITALA)
SEFM 2019   17th International Conference on Software Engineering and Formal Methods
WiMoA 2019   11th International Conference on Wireless, Mobile Network & Applications
MPLR 2019   Managed Programming Languages and Runtimes 2019