CALL FOR PAPERS VMCAI'07, [The Eighth International Conference on Verification, Model Checking, and Abstract Interpretation]
Location: Nice, France, January 14-16, 2007 Website: http://research.microsoft.com/vmcai07 VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods. VMCAI'07 is co-located with the POPL'07 conference. The program of VMCAI'07 will consist of invited lectures, tutorials, refereed research papers, and tool demonstrations. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques. Topics include, but are not limited to: program verification program certification model checking debugging techniques abstract interpretation abstract domains static analysis type systems deductive methods optimization Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. The proceedings will be published by Springer in the Lecture Notes in Computer Science series. The page limit for submissions is 15 pages in Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewer. Formatting style files can be found at: http://www.springer.de/comp/lncs/authors.html Submissions deviating from these guidelines risk summary rejection. Important Dates: * Submission Deadline: September 8, 2006 * Notification of Acceptance: October 27, 2006 * Final Version Due: November 10, 2006 * Conference: January 14-16, 2006 Invited Speakers: * Tom Reps, * Moshe Vardi, * Hongseok Yang Invited Tutorial Speakers: * Ken McMillan, * Madhusudan Parthasarathy, * Peter Revesz Organizers: Byron Cook and Andreas Podelski Program Committee: Marsha Chechik Ed Clarke Byron Cook Radhia Cousot Javier Esparza Limor Fix Roberto Giacobazzi Patrice Godefroid Neil Jones Ken McMillan Kedar Namjoshi Andreas Podelski Jean-Francois Raskin Scott Stoller Yassine Lakhnech Markus Mueller-Olm Peter O'Hearn Tayssir Touili Lenore Zuck _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
