ETAPS 2008
European Joint Conferences on Theory and Practice of Software. Az ETAPS 1998-ban alakult, mint 5 szoftver konferencia (CC, ESOP, FASE, FOSSACS, TACAS) konföderációja, amely évente tart konferenciát. Jelenlegi a 11-ik konferencia. Steering Comitee elnöke: Vladimiro Sassone. Szervező Bizottság elnöke: Varró Dániel
A fő Konferenciák: International Conference on Compiler Construction (CC); European Symposium on Programming (ESOP); Fundamental Approaches to Software Engineering (FASE); Foundations of Software Science and Computation Structures (FOSSACS); Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Szatellit Konferenciák: ACCAT, Applied and Computational Category Theory. AVIS, (cancelled) Seventh International Workshop on Automated Verification of Infinite-State Systems. Bytecode – Bytecode Semantics, Verification, Analysis and Transformation. CMCS, Coalgebraic Methods in Computer Science. COCV, Compiler Optimization Meets Compiler Verification. DCC, Designing Correct Circuits. FESCA, Formal Foundations of Embedded Software and Component-Based Software Architectures. FIT, Foundations of Interface Technologies. FORMED, Formal Methods in Computer Science Education. GaLoP, Games for Logic and Programming Languages. GT-VMT, 7th International Workshop on Graph Transformation and Visual Modeling Techniques. LDTA, Eighth Workshop on Language Descriptions, Tools and Applications. MBT, Fourth Workshop on Model-Based Testing. MOMPES, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. PDMC, Parallel and Distributed Methods of verifiCation. QAPL, 6th Workshop on Quantitative Aspects of Programming Languages. RV, 8th International Workshop on Runtime Verification SafeCert, Certification of Safety-Critical Software Controlled Systems. SC, Software Composition SLA++P, Model-driven High-level Programming of Embedded Systems. WGT, Workshop on Generative Technologies. WRLA, 7th International Workshop on Rewriting Logic and its Applications
- Szervezőbizottság: Varró Dániel (elnök); Alföldi István; Aranyos Gabriella; J-P. Katoen; Pataricza András; J. Saraiva.
Programfüzet és 5 kötet Proceedings a Springernél. (LNCS számok: 3792, 4954, 4960, 4962, 4963) 2006. ISBN 978-3-540-78497-5. A NJSZT könyvtárában megtalálhatók (iTA/357/1-5, melléklet, ITA/1135/1-4).
A Konferencia videói megtalálhatók az NJSZT Könyvtárában (iTA/1303/1-4).
Konferenciák: International Conference on Compiler Construction (CC); European Symposium on Programming (ESOP); Fundamental Approaches to Software Engineering (FASE); Foundations of Software Science and Computation Structures (FOSSACS); Tools and Algorithms for the Construction and Analysis of Systems (TACAS);
www.etaps.org/2008/
