posted by user: jyotirmoy || 6029 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 2020   47th International Colloquium on Automata, Languages and Programming
SEFM 2020   Software Engineering and Formal Methods
OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
LATA 2020   14th International Conference on Language and Automata Theory and Applications
VCLA Student Awards in Logic and CS 2020   CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive)
LCPC 2020   Languages and Compilers for Parallel Computing
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
FCST 2020   8th International Conference on Foundations of Computer Science & Technology
IJPLA 2020   International Journal of Programming Languages and Applications