Edit Event: VSTTE 2008

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

Acronym *:		Acronym of the event such as "ESWC 2009".
Title:		Full title of the given event, e.g. "5th European Semantic Web Conference"
Ordinal:		Ordinal of the event e.g. 1 for 1st.
Series:		Abbreviation of event series, in case the event belongs to a continuing series
Type *:	Conference	Select type of the event or create a new type.
Field:		Primary scientific field of the event (additional ones can be added with '[[Category:some Scientific Field]]' to the article text, or use ", " to separate them here; if left empty the field of the associated event series is used)
Superevent:		Reference to a super event, in case the event is part of another event
Start date *:		Start date of the event.
End date *:		End date of the event.
Submission deadline:		general deadline for (most relevant kinds of) submissions
Homepage:		URL of the homepage
Twitter account:		twitter account handle, e.g. @EKAWConf2014
Logo:
City:
State:
Country:

Event description:

AdvancedSpecial charactersHelp

Latin

Latin extended

IPA

Symbols

Greek

Greek extended

Cyrillic

Arabic

Arabic extended

Hebrew

Bangla

Tamil

Telugu

Sinhala

Devanagari

Gujarati

Thai

Lao

Khmer

Canadian Aboriginal

ÁáÀàÂâÄäÃãǍǎĀāĂăĄąÅåĆćĈĉÇçČčĊċĐđĎďÉéÈèÊêËëĚěĒēĔĕĖėĘęĜĝĢģĞğĠġĤĥĦħÍíÌìÎîÏïĨĩǏǐĪīĬĭİıĮįĴĵĶķĹĺĻļĽľŁłŃńÑñŅņŇňÓóÒòÔôÖöÕõǑǒŌōŎŏǪǫŐőŔŕŖŗŘřŚśŜŝŞşŠšȘșȚțŤťÚúÙùÛûÜüŨũŮůǓǔŪūǖǘǚǜŬŭŲųŰűŴŵÝýŶŷŸÿȲȳŹźŽžŻżÆæǢǣØøŒœßÐðÞþƏə

Formatting

Links

Headings

Lists

Files

References

Discussion

Description	What you type	What you get
Italic	''Italic text''	Italic text
Bold	'''Bold text'''	Bold text
Bold & italic	'''''Bold & italic text'''''	*Bold & italic text*

''source'': https://mail.in.tu-clausthal.de/Lists/event/Message/888.html?Language=english

<pre>
FINAL CALL FOR PARTICIPATION
Second Working Conference on
Verified Software: Theories, Tools, and Experiments (VSTTE 2008)
Oct 6--9, 2008, Toronto, Canada

http://qpq.csl.sri.com/vsr/vstte-08

Program Chairs:
    Jim Woodcock, University of York
    jim@cs.york.ac.uk

Natarajan Shankar, SRI International
    shankar@csl.sri.com

Conference Chair:

Eric Hehner, University of Toronto
    hehner@cs.utoronto.ca

The Second Working Conference on Verified Software: Theories,
Tools, and Experiments follows a successful inaugural working conference
at Zurich, Switzerland in 2005. This conference formally inaugurates the
Verified Software Initiative (VSI), a fifteen-year, cooperative,
international project directed at the scientific challenges of large-scale
software verification. The Working Conference is open to anyone who is
interested in participating actively in the VSI effort.

There will be plenary sessions Monday (6 Oct) through Thursday (9 Oct).
Thursday is also devoted to three workshops: one on Theories, one on
Tools, and one on Experiments. There will be a conference dinner on
Wednesday evening on a boat that tours the Toronto harbour and Scarborough
Bluffs and the shore of Lake Ontario.

Registration can be made online at http://www.regonline.ca/VSTTE08
Regular registration is CAN $550; student registration is CAN $275.

Local information can be found at http://www.cs.york.ac.uk/vstte08/

The Conference Venue is the Novotel Toronto Centre; all sessions for the
conference will take place at this hotel. Please make your own
reservation, and quote "Verified Software Conference" to obtain the
conference rate of $169 (plus taxes) per night.
http://www.novotel-toronto-centre.com/

Invited Talks:

* Andreas Podelski, University of Freiburg.
      Verification, Least-Fixpoint Checking, Abstraction
    * Sriram Rajamani, Microsoft Research.
      Combining Tests and Proofs
    * John Reynolds, Carnegie-Mellon University.
      Readable Formal Proofs
    * Moshe Vardi, Rice University.
      From Verification to Synthesis

Tutorials:

* Eric Hehner.
      Practical Predicative Programming Primer
    * Ernie Cohen.
      Verifying the Microsoft Hypervisor
    * Leonardo de Moura.
      SMT@Microsoft

Accepted Papers:

* Artem Starostin and Alexandra Tsyban.
      Verified Process-Context Switch for C-Programmed Kernels
    * Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa and Koichi
Takahashi.
      Verification of the Deutsch-Schorr-Waite marking algorithm with
Modal Logic
    * Xinyu Feng, Zhong Shao, Yu Guo and Yuan Dong.
      Combining Domain-Specific and Foundational Logics to Verify Complete
Software Systems
    * Bruce Weide, Murali Sitaraman, Heather K. Harton, Bruce Adcock,
Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum and
David Frazier.
      Incremental Benchmarks for Software Verification Tools and Techniques
    * Dhammika Elkaduwe, Gerwin Klein and Kevin Elphinstone.
      Verified Protection Model of the seL4 Microkernel
    * Gerwin Klein and Rafal Kolanski.
      Mapped Separation Logic
    * Eyad Alkassar, Mark Hillebrand, Dirk Leinenbach, Norbert W. Schirmer
and Artem Starostin.
      The Verisoft Approach to Systems Verification
    * Eyad Alkassar and Mark Hillebrand.
      Formal Functional Verification of Device Drivers
    * Mark Bickford.
      Unguessable Atoms: A Logical Foundation for Security
    * Joey Coleman.
      Expression Decomposition in a Rely/Guarantee Context
    * Matthias Daum, Jan Dörrenbächer, Burkhart Wolff and Mareike Schmidt.
      A Verification Approach for System-level Concurrent Programs
    * Anindya Banerjee, Michael Barnett and David Naumann.
      Boogie Meets Regions: a Verification Experience Report
    * Rustan Leino, Peter Müller and Angela Wallenburg.
      Flexible Immutability with Frozen Objects
    * Patrice Chalin, Perry R. James and George Karabotsos.
      JML4: Towards an Industrial Grade IVE for Java and Next Generation
Research Platform for JML
    * Gregory Dennis, Kuat Yessenov and Daniel Jackson.
      Bounded Verification of Voting Software
    * Daniel Leivant.
      Propositional dynamic logic for recursive procedures

Workshops:

* Workshop on Theories (David Naumann and Peter O'Hearn)
http://www.cs.stevens.edu/~naumann/vstte-theory-2008/

* Workshop on Tools (Daniel Kroening and Tiziana Margaria)
http://www.verify.ethz.ch/vstte-tools-2008/

* Workshop on Experiments (Rajeev Joshi and Joe Kiniry)
http://web.mac.com/kiniry/VS-EXPERIMENTS_2008/Workshop_on_Experiments_in_Verified_Software.html

Program Committee:

Egon Borger, Supratik Chakraborty, Patrick Cousot, Jin Song Dong,
Jose Luiz Fiadeiro, Kokichi Futatsugi, Chris George, Ian Hayes,
Eric Hehner, Rajeev Joshi, Joseph Kiniry, Yassine Lakhnech,
Gary Leavens, Zhiming Liu, Peter Manolios, Tiziana Margaria,
David Naumann, Peter O'Hearn, Ernst-Rudiger Olderog, Wolfgang Paul,
Augusto Sampaio, Mark Utting, Jian Zhang

Steering Committee:
Tony Hoare, Jay Misra
</pre>

Summary:

This is a minor edit Watch this page

Cancel

Abstract deadline:		deadline for abstract submissions (usually for papers that are to be submitted later)
Paper deadline:		deadline for submitting papers, a special kind of submission deadline; read the note below
Poster deadline:
Demo deadline:
Workshop deadline:		deadline for submitting workshops proposals
Tutorial deadline:		deadline for submitting tutorial proposals
Notification:		date of acceptance notifications
Camera ready:		deadline for submitting the camera ready
Submission page:		Page for submissions (e.g. on Easychair)

Host organization:		Organizations (institutes, universities) hosting or organizing the event here.
Local organizers:		Add only person names without academic titles from here on.
General Chairs:		general chair
PC Chairs:		program chair
Workshop Chairs:
Panel Chairs:
Tutorial Chairs:
Demonstration Chairs:		demo chair
PC members:		Program Committee Members
Keynote speakers:

Attendance fee currency:		one of €, $ or input another currency
Regular attendance fee (on site):		regular fee for attending the event
Regular attendance fee (early bird):		early bird fee for attending the event
Student attendance fee (on site):		regular student fee for attending the event
Student attendance fee (early bird):		early bird student fee for attending the event
Attendance fee reduced (on site):		reduced fee for attending the event (e.g. for students)
Attendance fee reduced (early bird):		reduced fee for attending the event (e.g. for students)
Registration page:		URL of the registration page

Submitted papers:		number of submitted papers
Accepted papers:		number of accepted papers
Accepted short papers:		Number of accepted short papers
Proceedings link:		Link to the proceedings
Proceedings DOI:		DOI of the proceedings
Conference recording link:		TIB AV Portal]
Proceedings Bibliography:		Link to the proceedings bibliography (e.g. on DBLP) and without http://
Attendees:		Number of conference attendees
Tracks:		Number of conference tracks

Acronym	VSTTE 2008 +
End date	October 9, 2008 +
Event type	Conference +
Has coordinates	43° 39' 13", -79° 23' 2"Latitude: 43.653480555556 Longitude: -79.383933333333 +
Has location city	Toronto +
Has location country	Category:Canada +
Homepage	http://qpq.csl.sri.com/vsr/vstte-08 +
IsA	Event +
Start date	October 6, 2008 +
Title	Verified Software: Theories, Tools, and Experiments 2008 +

Edit Event: VSTTE 2008

Contents

Navigation menu

Personal tools

Namespaces

Variants

Views

More

Search

Navigation

Search

Create

Data

Kuratierung

Tools