Mathematical Sciences: Support for FORTE '93 The Sixth International Conference on Formal Description Techniques

9302591 Tenney Forte‘93将是第六届形式描述技术国际会议(“FDTS”)。Forte系列会议集中讨论适用于分布式系统和协议的正式技术。最初的重点是ISO和CCITT标准化的技术(ESTELLE、LOTOS和SDI)，但范围已经大大扩大，最近的FORTE会议还包括关于CCS、CSP、ANS、1、Z、ACTOR、VDM、RAISE和其他技术的论文。除了一个强大的理论部分，FOTE一直包括一个实践部分，通过积极向业界征集论文并包括操纵系统正式描述的电子工具的演示，吸引该领域的从业人员。这些形式化技术的很大一部分重要性在于它们的使用可以在改进分布式系统的软件方面做出贡献。会议为展示正式技术的理论、应用、工具和产业化的最新水平提供了一个论坛，并为新来者提供了一个极好的方向。通过将研究人员和实践者聚集在一起，Forte会议打开了这些群体之间的交流。这有助于保持研究的活力，并提高从业者的艺术水平。通过促进研究生的参与，NSF拓宽了学生的经验，并帮助确保在美国这一重要研究领域的发展。

9302591 Tenney FORTE'93 will be the Sixth International Conference on Formal Description Techniques ("FDTs"). The FORTE series of conferences concentrates on formal techniques applicable to distributed systems and protocols. Initially the focus was on the techniques standardized by ISO and CCITT (Estelle, LOTOS, and SDI), but the scope has widened considerably, and recent FORTE conferences have also included papers on CCS, CSP, ANS, 1 , Z, Actor, VDM, RAISE, and other techniques. In addition to a strong theoretical component, FORTE, has always included a practical component, attracting, practitioners in the field by actively soliciting papers from industry and including demonstrations of electronic tools for manipulating formal descriptions of systems. Much of the importance of these formal techniques is the contribution that their use can make in improving the software of distributed systems. The conference provides a forum for presentation of the state of the art in theory, application, tools and industrialization of formal techniques and provides an excellent orientation for newcomers. By bringing together both researchers and practitioners, FORTE conferences open communications between these groups. This helps keep the research vital and improves the state of the practitioner's art. By facilitating the participation of graduate students, the NSF broadens the experience of the students and helps assure growth in the United States in this important research area.