The Coq mailing list

[Hanne Gottliebsen <hago AT dcs.qmul.ac.uk>]

            FINAL CALL FOR PARTICIPATION: NETCA WORKSHOP 2005

                            NETCA workshop on
         Verification and Theorem Proving for Continuous Systems
                               Oxford, UK

                         Friday 26 August 2005

         ******************************************************
         * http://www.dcs.qmul.ac.uk/~pbo/NETCA-workshop.html *
         ******************************************************

TOPICS

The UK Network in Computer Algebra (NETCA) is organising a workshop on
various aspects of continuous systems verification, mainly with the
focus on theorem proving. The workshop will take place on the day after
TPHOLs and CSL, and is intended as a forum for work in progress on new
and emerging areas to be presented and discussed, and experiences to be
shared.

PRELIMINARY PROGRAM

The preliminary program is available on the workshop web site:
http://www.dcs.qmul.ac.uk/~pbo/NETCA-workshop.html

REGISTRATION

Participation at the workshop is free of charge. We require, however,
that you confirm participation by sending an email to the organisers
at 
pbo AT dcs.qmul.ac.uk,
 as the workshop can accomodate a limit of 50
participants. A buffet lunch will be provided to all registered
participants.

INVITED SPEAKERS

Alban Quadrat, INRIA:
  An Algebraic Analysis Approach to Mathematical System Theory

Sofiene Tahar, Concordia University:
  Incorporating Formal Methods in the Design Flow of DSP Systems

Nicholas Tudor, Qinetiq:
  Certification of Complex Systems

ACCEPTED REGULAR PAPERS

Symbolic Analysis of Control Systems
  Ruth Hardy

Transfer Principle Proof Tactic for Nonstandard Analysis
  Brian Huffman

Towards a Hoare Logic for Continuous Systems
  Erik Mathiesen

On the formal Analysis of Analog Systems using Interval Abstraction
  Mohamed Zaki

Formal Verification of Spacing Properties of an Air Traffic Management 
Concept
  Cesar Munoz

WORKSHOP ORGANISATION

The workshop chair is Graham White, and the organisers are Max Kanovich,
Hanne Gottliebsen and Paulo Oliva of the Computer Science Department at
Queen Mary, University of London.

The workshop is affiliated with TPHOLs 2005.