posted by user: wimmer || 8270 views || tracked by 24 users: [display]

VMCAI 2011 : 12th International Conference on Verification, Model Checking, and Abstract Interpretation

FacebookTwitterLinkedInGoogle


Conference Series : Verification, Model Checking and Abstract Interpretation
 
Link: http://vmcai11.cis.ksu.edu/
 
When Jan 23, 2011 - Jan 25, 2011
Where Austin, TX, USA
Abstract Registration Due Aug 22, 2010
Submission Deadline Aug 29, 2010
Notification Due Oct 10, 2010
Final Version Due Nov 3, 2010
Categories    formal methods   verification   model checking
 

Call For Papers

----------------------------------------------------------------------

VMCAI 2011

The Twelfth International Conference on
Verification, Model Checking, and Abstract Interpretation

Austin, Texas, USA, January 23-25, 2011
(Co-located with POPL 2011)

http://santos.cis.ksu.edu/schmidt/vmcai11
http://santos.cis.ksu.edu/vmcai11

----------------------------------------------------------------------

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'11 is co-located with the POPL'11 conference.

The program of VMCAI'11 will consist of invited lectures, invited
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 reviewers. Formatting style files can be found at:

http://www.springer.de/comp/lncs/authors.html

Please visit the conference website for more information.

Important Dates (extended):

- Submission of abstracts: August 22, 2010
- Submission of papers: August 29, 2010
- Notification of acceptance: October 10, 2010
- Final version due: November 3, 2010
- Conference: January 23-25, 2011

Program Chairs:

Ranjit Jhala, University of California, San Diego
David Schmidt, Kansas State University

Program Committee:



Steering Committee:

Tino Cortesi, Universita Ca Foscari, Venice, Italy
Patrick Cousot, Ecole Normale Superieure, France
E. Allen Emerson, University of Texas at Austin, USA
Giorgio Levi, University of Pisa, Italy
Andreas Podelski, Universitaet Freiburg, Germany
Thomas W. Reps, University of Wisconsin at Madison, USA
David Schmidt, Kansas State University, USA
Lenore Zuck, University of Illinois at Chicago, USA

----------------------------------------------------------------------

Related Resources

SAS 2020   Static Analysis Symposium, SAS 2020
CPP 2021   Certified Programs and Proofs
WiL 2020   4th Women in Logic Workshop - WiL 2020
ASYDE 2020   Automated and verifiable Software sYstem DEvelopment
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
RP 2020   14th International Conference on Reachability Problems (RP'20)
MODELS 2020   Model Driven Engineering Languages and Systems
PSSV 2020   XI Workshop Program Semantics, Specification and Verification
SBMF 2020   23rd Brazilian Symposium on Formal Methods
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis