Home
Agenda
Call for Papers
Workshops and Tutorials
Important Dates
Invited Speakers
Organization
Venue
Submission
Registration

Sponsors:
 

Conference Agenda

PDF Format

Monday 08 November: Workshops and Tutorials
09.00—12.30	International Workshop on Software Verification and Validation
09.00—12.30	[Tutorial]Model-based Development: Combining Engineering Approaches and Formal Techniques
12.30—14.00	Lunch
14.00—17.30	International Workshop on Software Verification and Validation
14.00—17.30	[Tutorial]  The RAISE Language, Methods, and Tools
Tuesday 09 November: Workshops and Tutorials
09.00—12.30	[Tutorial]Model-based Testing with Spec#
12.30—14.00	Lunch
14.00—17.30	[Tutorial]Formal Engineering For Industrial Software Development — An Introduction to the SOFL Specification Language and Method
14.00—17.30	[Tutorial]Software Model Checking
Wednesday 10 November: Technical Program
09.00—10.00	Amitabh Srivastava, Engineering Quality Software
10.00—10.30	Break
10.30—12.30	Session 1
12.30—14.00	Lunch
14.00—15.30	Session 2
15.30—16.00	Break
16.00—17.30	Session 3
20.00—22.00	Conference Banquet   -–  Peter Neumann, When Can Formal Methods Make a Real Difference?
Thursday 11 November: Technical Program
09.00—10.00	J Strother Moore, On the Adoption of Formal Methods by Industry: The ACL2 Experience
10.00—10.30	Break
10.30—12.30	Session 4
12.30—14.00	Lunch
14.00—16.30	Underground Seattle Tour
16.30—18.00	Session 5
18.00—18.30	Break
18.30—20.00	Session 6
21.00—23.00	“5 minute madness”
Friday 12 November: Technical Program
09.00—10.00	Joxan Jaffar, A CLP Approach to Modelling Systems
10.00—10.30	Break
10.30—12.30	Session 7
12.30—13.30	Lunch (note: shortened lunch)
13.30—15.00	Session 8
15.00—15.30	Closing

Wednesday 10 November

Invited Talk     09.00—10.00
	Engineering Quality Software Amitabh Srivastava, Microsoft Corporation
Session 1     10.30—12.30
	Multi-Prover Verification of C Programs Jean-Christophe Filliâtre, Claude Marché (Université Paris-sud)
	Memory-Model-Sensitive Data Race Analysis Yue Yang (Microsoft Research), Ganesh Gopalakrishnan, Gary Lindstrom ( University of Utah)
	Formal Models for Web Navigations with Session Control and Browser Cache Jessica Chen, Xiaoshao Zhao ( University of Windsor, Ontario)
	Managing Verification Activities Using SVM Bill Aldrich (MathWorks), Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh (Carnegie Mellon University), Eric Lim (MathWorks), Shiva Sivashankar (Emmeskay)
Session 2     14.00—15.30
	A General Model for Reachability Testing of Concurrent Programs Richard H. Carver ( George Mason University), Yu Lei ( University of Texas at Arlington )
	A Knowledge Based Analysis of Cache Coherence Kai Baukus, Ron van der Meyden ( University of New South Wales)
	A Propositional Logic-Based Method for Verification of Feature Models Wei Zhang, Haiyan Zhao, Hong Mei ( Peking University, Beijing )
Session 3     16.00—17.30
	Deriving Probabilistic Semantics Via the ‘Weakest Completion’ Jifeng He (UNU/IIST, Macau), Carroll Morgan ( University of New South Wales), Annabelle McIver ( Macquarie University )
	CSP Representation of Game Semantics for Second-order Idealized Algol Aleksandar Dimovski, Ranko Lazić ( University of Warwick)
	An Equational Calculus for Alloy Marcelo F. Frias, Carlos G. López Pombo ( University of Buenos Aires), Nazareno M. Aguirre (Universidad Nacional de Río Cuarto)
Banquet and Invited Talk  20.00—22.00
	When Can Formal Methods Make a Real Difference? Peter Neumann, SRI International

Send mail to schulte@microsoft.com with questions or comments about this web site.
Last modified: 09/08/2004