Foundations of Software Science and Computational Structures

• Other Authors: Amadio, Roberto
• Format: Book
• Language: English
• Published: Springer 2017
• Subjects: Computer Science; Theoretical Computer Science; 005.1
• Online Access: http://repository.vnu.edu.vn/handle/VNU_123/26391
• Institution: Vietnam National University, Hanoi

ETAPS 2008 was the 11th instance of the European Joint Conferences on Theoryand Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences.This year it comprised five conferences (CC, ESOP, FASE, FOSSACS, TACAS),22 satellite workshops (ACCAT, AVIS, Bytecode, CMCS, COCV, DCC, FESCA,FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL,RV, SafeCert, SC, SLA++P, WGT, and WRLA), nine tutorials, and seven invited lectures (excluding those that were specific to the satellite events). The five main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%.Congratulations therefore to all the authors who made it to the final program me!I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area.