Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] WING 2012: Call for Presentations

Email Gateway (Aug 18 2022 at 19:27):

From: Gudmund Grov <ggrov@staffmail.ed.ac.uk>
[Please post - apologies for multiple copies.]

WING 2012 - 4th International Workshop on INvariant Generation
http://cs.nyu.edu/acsys/wing2012/
June 30, 2012
Manchester, UK (a satellite Workshop of IJCAR 2012)

--- Call for Presentations ---

General

The ability to automatically extract and synthesize auxiliary
properties of programs has had a profound effect on program analysis,
testing, and verification over the last several decades. A key
impediment for program verification is the overhead associated with
providing, debugging, and verifying auxiliary invariant
annotations. This workshop aims to bring together researchers from
the diverse field of invariant generation to discuss recent developments.

Scope

We encourage ONE-PAGE ABSTRACT submissions on work in
progress, new ideas, tools under development, as well as
work by PhD students, to be presented at WING 2012.

Relevant topics include (but are not limited to) the following:

• Program analysis and verification
• Inductive Assertion Generation
• Inductive Proofs for Reasoning about Loops
• Applications to Assertion Generation using the following tools:
• Abstract Interpretation,
• Static Analysis,
• Model Checking,
• Theorem Proving,
• Theory Formation,
• Algebraic Techniques
• Tools for inductive assertion generation and verification
• Alternative techniques for reasoning about loops

Submission

Submissions need not be original. Extended versions of submissions
may have been published previously, or submitted concurrently with
or after WING 2012 to another workshop, conference or a journal.

Submission is by email to:

wing2012@easychair.org

Please submit a ONE-PAGE abstract in PDF.

Important Dates

Submission deadline: May 15, 2012
Notification of acceptance: May 18, 2012
Workshop: June 30, 2012

Invited Speakers

• Aditya Nori (Microsoft Research)

Committee

Program Chairs:

• Gudmund Grov (University of Edinburgh, UK)
• Thomas Wies (New York University, USA)

Program Committee:

• Clark Barrett (New York University, USA)
• Nikolaj Bjorner (Microsoft Research, USA)
• Gudmund Grov (University of Edinburgh, UK)
• Ashutosh Gupta (IST Austria)
• Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
• Moa Johansson (Chalmers University of Technology, Sweden)
• Laura Kovacs (Vienna University of Technology, Austria)
• David Monniaux (VERIMAG, France)
• Enric Rodriguez Carbonell (Technical University of Catalonia, Spain)
• Helmut Veith (Vienna University of Technology, Austria)
• Thomas Wies (New York University, USA)

Student Support

Students will pay a reduced fee, and the difference will be reimbursed
after the workshop.

Publication

Extended versions of accepted contributions may be submitted later to
a special issue of the Journal of Science of Computer Programming.

Email Gateway (Aug 18 2022 at 19:36):

From: Gudmund Grov <ggrov@staffmail.ed.ac.uk>
[Please post - apologies for multiple copies.]

WING 2012 - 4th International Workshop on INvariant Generation
http://cs.nyu.edu/acsys/wing2012/
June 30, 2012
Manchester, UK (a satellite Workshop of IJCAR 2012)

--- Call for Presentations ---

General

The ability to automatically extract and synthesize auxiliary
properties of programs has had a profound effect on program analysis,
testing, and verification over the last several decades. A key
impediment for program verification is the overhead associated with
providing, debugging, and verifying auxiliary invariant
annotations. This workshop aims to bring together researchers from
the diverse field of invariant generation to discuss recent developments.

Scope

We encourage ONE-PAGE ABSTRACT submissions on work in
progress, new ideas, tools under development, as well as
work by PhD students, to be presented at WING 2012.

Relevant topics include (but are not limited to) the following:

• Program analysis and verification
• Inductive Assertion Generation
• Inductive Proofs for Reasoning about Loops
• Applications to Assertion Generation using the following tools:
• Abstract Interpretation,
• Static Analysis,
• Model Checking,
• Theorem Proving,
• Theory Formation,
• Algebraic Techniques
• Tools for inductive assertion generation and verification
• Alternative techniques for reasoning about loops

Submission

Submissions need not be original. Extended versions of submissions
may have been published previously, or submitted concurrently with
or after WING 2012 to another workshop, conference or a journal.

Submission is by email to:

wing2012@easychair.org

Please submit a ONE-PAGE abstract in PDF.

Important Dates

Submission deadline: May 15, 2012
Notification of acceptance: May 18, 2012
Workshop: June 30, 2012

Invited Speakers

• Aditya Nori (Microsoft Research)

Committee

Program Chairs:

• Gudmund Grov (University of Edinburgh, UK)
• Thomas Wies (New York University, USA)

Program Committee:

• Clark Barrett (New York University, USA)
• Nikolaj Bjorner (Microsoft Research, USA)
• Gudmund Grov (University of Edinburgh, UK)
• Ashutosh Gupta (IST Austria)
• Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
• Moa Johansson (Chalmers University of Technology, Sweden)
• Laura Kovacs (Vienna University of Technology, Austria)
• David Monniaux (VERIMAG, France)
• Enric Rodriguez Carbonell (Technical University of Catalonia, Spain)
• Helmut Veith (Vienna University of Technology, Austria)
• Thomas Wies (New York University, USA)

Student Support

Students will pay a reduced fee, and the difference will be reimbursed
after the workshop.

Publication

Extended versions of accepted contributions may be submitted later to
a special issue of the Journal of Science of Computer Programming.

Last updated: Apr 23 2024 at 04:18 UTC