The Coq mailing list

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

CALL FOR PAPERS: 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.

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 
following:

  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 
analysis

SUBMISSIONS

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.

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. Information about 
registration for the workshop will be available at 
http://www.dcs.qmul.ac.uk/~pbo/NETCA-workshop.html