[TYPES] NETCA Workshop - Final Call for Participation

[Hanne Gottliebsen]

             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.