[TYPES] CFP - NETCA Workshop on Verification and Theorem Proving for Continuous Systems

Hanne Gottliebsen hago at dcs.qmul.ac.uk
Wed Apr 13 13:06:44 EDT 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 *


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 

The organisers welcome submissions of extended abstracts or draft papers 
on all aspects of verification of continuous systems and theorem proving 
for continuous mathematics, both theoretical work and applications. The 
topics related to the workshop include (but are not limited to) the 

   o  Computational models for continuous and hybrid systems
   o  Verification of continuous systems (e.g. control systems and 
embedded systems)
   o  Applications of theorem provers to continuous systems
   o  Formalisation of continuous mathematical theories such as real 


Submissions of extended abstract or draft papers are invited (5-10 
pages). These will be gently reviewed and those selected will appear as 
a Queen Mary, University of London, Department of Computer Science 
research report (with ISBN and online availability).

   o Submission deadline: 16 May 2004

Submissions should be emailed directly to the organisers using the email 
address "pbo at dcs.qmul.ac.uk". This email address can also be used for 
any enquiries concerning the conference.


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. Information about 
registration for the workshop will be available at 

More information about the Types-list mailing list