NICTA Managing Complexity theme: Formal Methods activities

Welcome!

This page contains links to resources and events maintained or hosted by Formal Methods researchers within the NICTA Managing Complexity research theme.

Seminars

We host semi-regular seminars that include talks by visitors, staff and students. Talks on incomplete and/or on-going work are encouraged. All are welcome to attend. Please contact Timothy Bourke or Ralf Huuck for further information.

Upcoming Seminars

Seminar details, locations and times may be found by following the links .

There are currently no scheduled seminars.

Previous Seminars

Seminar materials, when given, may be found by following the links.

Links

Resources Events

Isabelle wiki OS Verify Workshop 2004

Group calendar FM for WSN Workshop 2005

Internal web pages NICTA Formal Methods Workshop 2005

Workshop on Symbolic Methods for Uncertainty, May 2006

NICTA System Verification Workshop, 7-8 August 2006

Structural Operational Semantics, Germany, 26 August 2006

Structural Operational Semantics, Poland, 9 July 2007

Systems Software Verification (SSV 08), Sydney, 25/26 February 2008

Projects

L4.verified

Goanna

Pewna

Resources	Events
Isabelle wiki	OS Verify Workshop 2004
Group calendar	FM for WSN Workshop 2005
Internal web pages	NICTA Formal Methods Workshop 2005
	Workshop on Symbolic Methods for Uncertainty, May 2006
	NICTA System Verification Workshop, 7-8 August 2006
	Structural Operational Semantics, Germany, 26 August 2006
	Structural Operational Semantics, Poland, 9 July 2007
	Systems Software Verification (SSV 08), Sydney, 25/26 February 2008

Projects
L4.verified
Goanna
Pewna

Last updated by tbourke at Sun Mar 1 00:05:01 2009 GMT+1100