Email Gateway (Aug 17 2022 at 13:26): Email Gateway (Aug 17 2022 at 13:26):From: Hanne Gottliebsen <hago@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@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.
Last updated: Nov 21 2024 at 12:39 UTC