International Workshop on Real-Time Systems: Iowa City, Iowa: November 1-3, 1993

9313858 RUS这项建议是与代数方法和软件技术会议合作举办的关于代数方法和实时系统的一系列国际研讨会中的第一个。该研讨会将在美国举办，以促进美国、加拿大和ESPRIT计算机科学家在这一研究领域的合作。研讨会的目标是提供一个论坛，将实时系统开发的实践者和代数方法的理论家聚集在一起，为这些领域的统一制定方向，并整合软件开发实践。这次研讨会的成果有望有助于实时和计算机控制系统的代数方法的进步。对该讲习班的支持将确保出版和分发讲习班成果。

9313858 Rus This proposal is for the first of a series of international workshops on algebraic methods and real-time systems in cooperation with the Algebraic Methods and Software Technology(AMAST) conferences. This workshop would be hosted in the United States to foster collaboration in this research area among US, Canadian, and ESPRIT computer scientists. The goals of the workshop are to provide a forum for bringing together practitioners in real-time systems development and theoreticians in algebraic methods, to develop directions for the unification of these fields, and to integrate the software development practices. The results of this workshop are expected to contribute to progress in algebraic methods for real-time and computer controlled systems. Support for this workshop will ensure publication and distribution of the workshop results.