posted by user: jyotirmoy || 11492 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 2026   International Colloquium on Automata, Languages and Programming
SIMULTECH 2026   16th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
Digital Futures Indigenous Languages 2026   Advances in Northeast Indian Languages and Technologies Volume 1
NeuS 2026   3rd International Conference on Neuro-Symbolic Systems
LaTeLL 2026   LAnguage TEchnologies for Low-resource Languages
DisCoTec 2026   21st International Federated Conference on Distributed Computing Techniques
ICCLL 2026   2026 The 12th International Conference on Culture, Languages, and Literature (ICCLL 2026)
ICGT 2026   International Conference on Graph Transformation