Deadline for research and industrial paper submissions: May 31, 2006
Workshop Proposals due to the Workshop Chair: March 30, 2006
Tutorial Proposals due to the Tutorial Chair: May 31, 2006
Conference Date: Nov 6-11, 2006
February 21-23, 2007 * Expression of interest to submit paper with abstract: August 15, 2006 * Submission of full paper: September 15, 2006 * Notification of acceptance with comments: October 31, 2006 * Submission of the final papers
A. Balasubramanian. 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), том 182 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 37:1--37:15. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)#conference.
N. Bertrand, M. Lazić, и J. Widder. Verification, Model Checking, and Abstract Interpretation, стр. 219--239. Springer International Publishing, (2021)