https://www.openresearch.org/mediawiki/index.php?title=VSTTE_2008&feed=atom&action=historyVSTTE 2008 - Revision history2024-03-28T11:50:52ZRevision history for this page on the wikiMediaWiki 1.31.1https://www.openresearch.org/mediawiki/index.php?title=VSTTE_2008&diff=3414&oldid=prevFloebe: new2008-09-12T10:27:51Z<p>new</p>
<p><b>New page</b></p><div>{{Event<br />
|Acronym=VSTTE 2008<br />
|Title=Verified Software: Theories, Tools, and Experiments 2008<br />
|Type=Conference<br />
|Field=Software Verification<br />
|Start date=2008/10/06<br />
|End date=2008/10/09<br />
|Homepage=http://qpq.csl.sri.com/vsr/vstte-08<br />
|City=Toronto<br />
|Country=Canada<br />
}}<br />
''source'': https://mail.in.tu-clausthal.de/Lists/event/Message/888.html?Language=english<br />
<br />
<pre><br />
FINAL CALL FOR PARTICIPATION<br />
Second Working Conference on<br />
Verified Software: Theories, Tools, and Experiments (VSTTE 2008)<br />
Oct 6--9, 2008, Toronto, Canada<br />
<br />
http://qpq.csl.sri.com/vsr/vstte-08<br />
<br />
Program Chairs:<br />
Jim Woodcock, University of York<br />
jim@cs.york.ac.uk<br />
<br />
Natarajan Shankar, SRI International<br />
shankar@csl.sri.com<br />
<br />
Conference Chair:<br />
<br />
Eric Hehner, University of Toronto<br />
hehner@cs.utoronto.ca<br />
<br />
The Second Working Conference on Verified Software: Theories,<br />
Tools, and Experiments follows a successful inaugural working conference<br />
at Zurich, Switzerland in 2005. This conference formally inaugurates the<br />
Verified Software Initiative (VSI), a fifteen-year, cooperative,<br />
international project directed at the scientific challenges of large-scale<br />
software verification. The Working Conference is open to anyone who is<br />
interested in participating actively in the VSI effort.<br />
<br />
There will be plenary sessions Monday (6 Oct) through Thursday (9 Oct).<br />
Thursday is also devoted to three workshops: one on Theories, one on<br />
Tools, and one on Experiments. There will be a conference dinner on<br />
Wednesday evening on a boat that tours the Toronto harbour and Scarborough<br />
Bluffs and the shore of Lake Ontario.<br />
<br />
Registration can be made online at http://www.regonline.ca/VSTTE08<br />
Regular registration is CAN $550; student registration is CAN $275.<br />
<br />
Local information can be found at http://www.cs.york.ac.uk/vstte08/<br />
<br />
The Conference Venue is the Novotel Toronto Centre; all sessions for the<br />
conference will take place at this hotel. Please make your own<br />
reservation, and quote "Verified Software Conference" to obtain the<br />
conference rate of $169 (plus taxes) per night.<br />
http://www.novotel-toronto-centre.com/<br />
<br />
<br />
Invited Talks:<br />
<br />
* Andreas Podelski, University of Freiburg.<br />
Verification, Least-Fixpoint Checking, Abstraction<br />
* Sriram Rajamani, Microsoft Research.<br />
Combining Tests and Proofs<br />
* John Reynolds, Carnegie-Mellon University.<br />
Readable Formal Proofs<br />
* Moshe Vardi, Rice University.<br />
From Verification to Synthesis<br />
<br />
Tutorials:<br />
<br />
* Eric Hehner.<br />
Practical Predicative Programming Primer<br />
* Ernie Cohen.<br />
Verifying the Microsoft Hypervisor<br />
* Leonardo de Moura.<br />
SMT@Microsoft<br />
<br />
Accepted Papers:<br />
<br />
* Artem Starostin and Alexandra Tsyban.<br />
Verified Process-Context Switch for C-Programmed Kernels<br />
* Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa and Koichi<br />
Takahashi.<br />
Verification of the Deutsch-Schorr-Waite marking algorithm with<br />
Modal Logic<br />
* Xinyu Feng, Zhong Shao, Yu Guo and Yuan Dong.<br />
Combining Domain-Specific and Foundational Logics to Verify Complete<br />
Software Systems<br />
* Bruce Weide, Murali Sitaraman, Heather K. Harton, Bruce Adcock,<br />
Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum and<br />
David Frazier.<br />
Incremental Benchmarks for Software Verification Tools and Techniques<br />
* Dhammika Elkaduwe, Gerwin Klein and Kevin Elphinstone.<br />
Verified Protection Model of the seL4 Microkernel<br />
* Gerwin Klein and Rafal Kolanski.<br />
Mapped Separation Logic<br />
* Eyad Alkassar, Mark Hillebrand, Dirk Leinenbach, Norbert W. Schirmer<br />
and Artem Starostin.<br />
The Verisoft Approach to Systems Verification<br />
* Eyad Alkassar and Mark Hillebrand.<br />
Formal Functional Verification of Device Drivers<br />
* Mark Bickford.<br />
Unguessable Atoms: A Logical Foundation for Security<br />
* Joey Coleman.<br />
Expression Decomposition in a Rely/Guarantee Context<br />
* Matthias Daum, Jan Dörrenbächer, Burkhart Wolff and Mareike Schmidt.<br />
A Verification Approach for System-level Concurrent Programs<br />
* Anindya Banerjee, Michael Barnett and David Naumann.<br />
Boogie Meets Regions: a Verification Experience Report<br />
* Rustan Leino, Peter Müller and Angela Wallenburg.<br />
Flexible Immutability with Frozen Objects<br />
* Patrice Chalin, Perry R. James and George Karabotsos.<br />
JML4: Towards an Industrial Grade IVE for Java and Next Generation<br />
Research Platform for JML<br />
* Gregory Dennis, Kuat Yessenov and Daniel Jackson.<br />
Bounded Verification of Voting Software<br />
* Daniel Leivant.<br />
Propositional dynamic logic for recursive procedures<br />
<br />
Workshops:<br />
<br />
* Workshop on Theories (David Naumann and Peter O'Hearn)<br />
http://www.cs.stevens.edu/~naumann/vstte-theory-2008/<br />
<br />
* Workshop on Tools (Daniel Kroening and Tiziana Margaria)<br />
http://www.verify.ethz.ch/vstte-tools-2008/<br />
<br />
* Workshop on Experiments (Rajeev Joshi and Joe Kiniry)<br />
http://web.mac.com/kiniry/VS-EXPERIMENTS_2008/Workshop_on_Experiments_in_Verified_Software.html<br />
<br />
<br />
Program Committee:<br />
<br />
Egon Borger, Supratik Chakraborty, Patrick Cousot, Jin Song Dong,<br />
Jose Luiz Fiadeiro, Kokichi Futatsugi, Chris George, Ian Hayes,<br />
Eric Hehner, Rajeev Joshi, Joseph Kiniry, Yassine Lakhnech,<br />
Gary Leavens, Zhiming Liu, Peter Manolios, Tiziana Margaria,<br />
David Naumann, Peter O'Hearn, Ernst-Rudiger Olderog, Wolfgang Paul,<br />
Augusto Sampaio, Mark Utting, Jian Zhang<br />
<br />
Steering Committee:<br />
Tony Hoare, Jay Misra<br />
</pre></div>Floebe