The full version of this Call for Papers is available.
The 3rd AMAST Workshop on Real-Time Systems is aimed at the promotion and development of mathematical foundations of real-time systems. The theoretical investigation of real-time systems, however, has still not reached maturity. The variety of approaches distance designers from theoretical methodologies and their implementations described in the literature. Abstract and formal methods, although providing powerful tools for designers, are applied only by academics. It is the aim of the third AMAST Workshop to launch a challenge for unified approaches in modeling and designing real-time systems. For this reason the organizers will try to gather together top researchers in the area of real-time systems from both the computer science and control areas of expertise. As in all AMAST conferences and workshops, emphasis will be given to algebraic and logical foundations of software technology.
Submissions
The program will consist of invited talks and twelve selected papers. We invite papers reporting original research in algebra and logic. Prospective authors are invited to submit 6 copies, at most 15 double spaced pages in length, in an area relevant to the conference theme. Submissions must be sent to the program chair at the address below.
Aurel Cornell, III International AMAST Workshop on Real-Time SystemsMore detailed submission information can be found at the URL at the top of this page and prospective authors are advised to consult this.
Program Chair, Department of Computer Science
230 TMCB Brigham Young University, Provo, Utah 84602, USA
e-mail: AUREL@csoffice.byu.edu
Important Dates
Submission of Papers: October 15, 1995
Submission of System Demo Proposals: November 15, 1995
Notification of Acceptance/Rejection: December 1, 1995
Camera-ready Version of Accepted Papers: January 15, 1996