DATES
---
* Submission of papers: February 11, 2013.
* Notification: April 26, 2013.
GUEST EDITORS
--
* Gudmund Grov (Heriot-Watt University, UK)
* Thomas Wies (New York University, USA)
CONTACT
--
Please send any queries you may have to:
wing2...@easychair.org
---
* Submission of papers: February 11, 2013.
* Notification: April 26, 2013.
GUEST EDITORS
--
* Gudmund Grov (Heriot-Watt University, UK)
* Thomas Wies (New York University, USA)
CONTACT
--
Please send any queries you may have to:
wing2...@easychair.org
-
Sunday
---
* Submission of papers: February 11, 2013.
* Notification: April 26, 2013.
GUEST EDITORS
--
* Gudmund Grov (Heriot-Watt University, UK)
* Thomas Wies (New York University, USA)
CONTACT
--
Please send any queries you may have to:
wing2...@easychair.org
-
Sunday Times
:
* 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
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
:
* 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
Checking,
- Theorem Proving,
- Theory Formation,
- Algebraic Techniques
* Tools for inductive assertion generation and verification
* Alternative techniques for reasoning about loops
Committee
-
Program Chairs:
* Gudmund Grov (University of Edinburgh, UK)
* Thomas Wies (New York
*
*** Final Call for Participation ***
VSTTE 2012
Verified Software: Theories, Tools and Experiments
January 28-29, 2012
Philadelphia, USA (co-located with POPL and VMCAI)
*
*** First Call for Participation ***
VSTTE 2012
Verified Software: Theories, Tools and Experiments
January 28-29, 2012
Philadelphia, USA (co-located with POPL and VMCAI)
***Note: due to a clash with SEFM 2011, ***
*** we have moved the competition to November 8-10 ***
VSTTE 2012 Verification Competition
---
A software verification competition is organized on behalf of the
VSTTE 2012 conference
VSTTE 2012 Verification Competition
---
A software verification competition is organized on behalf of the
VSTTE 2012 conference (https://sites.google.com/site/vstte2012).
The purposes of this competition are: to help promote approaches and
tools, to provide new
Matthew Parkinson, Microsoft Research
Corina Pasareanu, NASA Ames
Wolfgang Paul, Saarland University
Andreas Podelski, University of Freiburg
Natasha Sharygina, University of Lugano
Willem Visser, University of Stellenbosch
Thomas Wies, IST Austria
PUBLICITY CHAIR
Gudmund Grov, University
, NASA Ames
Wolfgang Paul, Saarland University
Andreas Podelski, University of Freiburg
Natasha Sharygina, University of Lugano
Willem Visser, University of Stellenbosch
Thomas Wies, IST Austria
PUBLICITY CHAIR
Gudmund Grov, University of Edinburgh
VERIFICATION COMPETITION ORGANISER
Jean
Wolfgang Paul, Saarland University
Andreas Podelski, University of Freiburg
Natasha Sharygina, University of Lugano
Willem Visser, University of Stellenbosch
Thomas Wies, IST Austria
PUBLICITY CHAIR
Gudmund Grov, University of Edinburgh
VERIFICATION COMPETITION ORGANISER
Jean-Christophe
CHAIR
Gudmund Grov, University of Edinburgh
VERIFICATION COMPETITION ORGANISER
Jean-Christophe Filliatre, CNRS Université Paris Sud
STEERING COMMITTEE
Tony Hoare, Microsoft Research
Andrew Ireland, Heriot-Watt University
Jay Misra, UT Austin
Natarajan Shankar, SRI International
Jim Woodcock
CHAIR
Gudmund Grov, University of Edinburgh
VERIFICATION COMPETITION ORGANISER
Jean-Christophe Filliatre, CNRS Université Paris Sud
STEERING COMMITTEE
Tony Hoare, Microsoft Research
Andrew Ireland, Heriot-Watt University
Jay Misra, UT Austin
Natarajan Shankar, SRI International
Jim Woodcock
: Main conference
CONFERENCE CHAIR
Ernie Cohen, European Microsoft Innovation Center
PROGRAM CHAIRS
Rajeev Joshi, NASA Jet Propulsion Laboratory
Peter Müller, ETH Zurich
Andreas Podelski, University of Freiburg
PROGRAM COMMITTEE
To be announced
PUBLICITY CHAIR
Gudmund Grov, University
(Apologies if you receive multiple copies of this announcement)
*
*** Second Call for Participation -- Early Registration ends this week!
***
Third International Conference on Verified Software:
Theories, Tools,
(Apologies if you receive multiple copies of this announcement)
*
*** Second Call for Participation -- Early Registration ends in 2 weeks
***
Third International Conference on Verified Software:
Theories, Tools,
(Apologies if you receive multiple copies of this announcement)
*
*** First Call for Participation ***
Third International Conference on Verified Software:
Theories, Tools, and Experiments
University by:
* Lucas Dixon (Edinburgh)
* Gudmund Grov (Edinburgh)
* Ewen Maclean (Heriot-Watt)
CONTACT
-
The organisers can be contacted at the following email address:
ssfrr-2...@inf.ed.ac.uk.
--
The University of Edinburgh is a charitable body, registered in
Scotland
Margaria (Universitat Potsdam; marga...@cs.uni-potsdam.de)
PUBLICITY CHAIR
Gudmund Grov (Edinburgh University; gg...@inf.ed.ac.uk)
LOCAL ARRANGEMENT CHAIR
Ewen Maclean (Heriot-Watt University; e.a.h.macl...@hw.ac.uk)
CONFERENCE PROGRAM COMMITTEE
Ahmed Bouajjani
Leo Freitas
Philippa Gardner
John
(Universitat Potsdam; marga...@cs.uni-potsdam.de)
PUBLICITY CHAIR
Gudmund Grov (Edinburgh University; gg...@inf.ed.ac.uk)
LOCAL ARRANGEMENT CHAIR
Ewen Maclean (Heriot-Watt University; e.a.h.macl...@hw.ac.uk)
CONFERENCE PROGRAM COMMITTEE
Ahmed Bouajjani
Leo Freitas
Philippa Gardner
John
the strategy language.
** BACKGROUND NEEDED
A background in mathematics, logic or formal methods is required to provide the
necessary mathematical maturity to undertake this project.
** CONTACT
If you have any queries, please contact:
- Gudmund Grov: gg...@inf.ed.ac.uk , or
- Alan Bundy: bu
-- Apologies for multiple copies --
VSTTE 2010: Workshops on Theories, Tools and Experiments
Edinburgh, Scotland, 19th August 2010
(*** NEW SUBMISSION DEADLINE: May 28, 2010 *)
The Third International Conference on Verified Software: Theories,
Tools, and
-- Apologies for multiple copies --
VSTTE 2010: Workshops on Theories, Tools and Experiments
Edinburgh, Scotland, 19th August 2010
(*** only 1 week to go! *)
The Third International Conference on Verified Software: Theories,
Tools, and Experiments
-- Apologies for multiple copies --
VSTTE 2010: Workshops on Theories, Tools and Experiments
Edinburgh, Scotland, 19th August 2010
The Third International Conference on Verified Software: Theories,
Tools, and Experiments (VSTTE) is part of the Verified Software
)
Tiziana Margaria (Universitat Potsdam; marga...@cs.uni-potsdam.de)
PUBLICITY CHAIR
Gudmund Grov (Edinburgh University; gg...@inf.ed.ac.uk)
LOCAL ARRANGEMENT CHAIR
Ewen Maclean (Heriot-Watt University; e.a.h.macl...@hw.ac.uk)
CONFERENCE PROGRAM COMMITTEE
Ahmed Bouajjani
Leo Freitas
Philippa Gardner
-- Apologies for multiple copies --
VSTTE 2010: Workshops on Theories, Tools and Experiments
Edinburgh, Scotland, 19th August 2010
The Third International Conference on Verified Software: Theories,
Tools, and Experiments (VSTTE) is part of the Verified Software
)
PUBLICITY CHAIR
Gudmund Grov (Edinburgh University; gg...@inf.ed.ac.uk)
LOCAL ARRANGEMENT CHAIR
Ewen Maclean (Heriot-Watt University; e.a.h.macl...@hw.ac.uk)
CONFERENCE PROGRAM COMMITTEE
Ahmed Bouajjani
Leo Freitas
Philippa Gardner
John Hatcliff
Ranjit Jhala
Joseph Kiniry
Rustan Leino
Xavier Leroy
)
Tiziana Margaria (Universität Potsdam; marga...@cs.uni-potsdam.de)
PUBLICITY CHAIR
Gudmund Grov (Edinburgh University; gg...@inf.ed.ac.uk)
LOCAL ARRANGEMENT CHAIR
Ewen Maclean (Heriot-Watt University; e.a.h.macl...@hw.ac.uk)
CONFERENCE PROGRAM COMMITTEE
Ahmed Bouajjani
Leo Freitas
Philippa Gardner
(Edinburgh)
* Gudmund Grov (Edinburgh)
* Ewen Maclean (Heriot-Watt)
CONTACT
-
The organisers can be contacted at the following email address:
ssfrr-2...@inf.ed.ac.uk.
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336
; rajeev.jo...@jpl.nasa.gov)
Tiziana Margaria (Universität Potsdam; marga...@cs.uni-potsdam.de)
PUBLICITY CHAIR
Gudmund Grov (Edinburgh University; gg...@inf.ed.ac.uk)
LOCAL ARRANGEMENT CHAIR
Ewen Maclean (Heriot-Watt University; e.a.h.macl...@hw.ac.uk)
CONFERENCE PROGRAM COMMITTEE
Ahmed
33 matches
Mail list logo