Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers
Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers
复制标题
代数发展技术的最新趋势：第 13 届国际研讨会，WADT’98，葡萄牙里斯本，1998 年 4 月 2-4 日 论文选集
DOI：
10.1007/3-540-48483-3
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
Marta Simeoni
中科院分区：
文献类型：
--
作者：
M. Große;F. Presicce;Marta Simeoni
在软件科学领域的欧洲会议情况一直被认为是不令人满意的。相当多的中小型会议和研讨会不定期举行，竞争高质量的贡献和足够的与会者，使他们？nancially可行的。至少自1992年以来，一直在进行旨在合并的讨论，具体规划始于1994年夏季，并在奥胡斯TAPSOFT'95的公开会议上达到高潮。在广泛共识的基础上，决定在当时由TAPSOFT和CAAP/ESOP/CC占据的时间段内建立一个单一的年度联合春季会议，包括一些现有的和新的会议，涵盖从理论到实践的范围。ETAPS'98，？第一次欧洲软件理论与实践联合会议将于今年在里斯本举行。它包括？5场会议（FoSSaCS、FASE、ESOP、CC、TACAS）、4场研讨会（ACoS、VISUAL、WADT、CMCS）、7场特邀讲座和9场教程。
The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi-sized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them? nancially viable. Discussions aiming at a consolidation have been underway since at least 1992, with concrete planning beginning in summer 1994 and culminating in a public meeting at TAPSOFT’95 in Aarhus. On the basis of a broad consensus, it was decided to establish a single annual federated spring conference in the slot that was then occupied by TAPSOFT and CAAP/ESOP/CC, comprising a number of existing and new conferences and covering a spectrum from theory to practice. ETAPS’98, the? rst instance of the European Joint Conferences on Theory and Practice of Software, is taking place this year in Lisbon. It comprises? ve conferences (FoSSaCS, FASE, ESOP, CC, TACAS), four workshops (ACoS, VISUAL, WADT, CMCS), seven invited lectures, and nine tutorials.