1 / 12

Welcome to ETAPS 2008 March 29 – April 6, Budapest, Hungary

Welcome to ETAPS 2008 March 29 – April 6, Budapest, Hungary. March 30 th, S un day 14 :00 - 1 6 : 0 0. Where to Find What?. Events in Hotel Thermal. GT- VMT. Reg istration. WR L A. JML. Lunch (GT-VMT , WRLA ). Session 1 (March 30 th, SUN ).

samuru
Télécharger la présentation

Welcome to ETAPS 2008 March 29 – April 6, Budapest, Hungary

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Welcome to ETAPS 2008March 29 – April 6, Budapest, Hungary March 30th, Sunday14:00 - 16:00

  2. Where to Find What?

  3. Events in Hotel Thermal GT-VMT Registration WR LA JML Lunch(GT-VMT, WRLA)

  4. Session 1 (March 30th, SUN) 14:00 - 16:00 GT-VMT (Magnolia / Thermal) • The GP Programming System Greg Manning, Detlef Plump • Type Checking C++ Template Instantiation by Graph Programs Karl Azab, Karl-Heinz Pennemann • A Graph-Based Type Representation for Objects Cong-Cong Xing • Using Graph Transformation Systems to Specify and Verify Data Abstractions Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga • Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators Steffen Mazanek, Mark Minas

  5. Session 1 (March 30th, SUN) 14:30 - 16:00 WRLA (Toboz II / Thermal) • Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol Adrian Riesco and Alberto Verdejo • Hierarchical Design Rewriting with Maude Roberto Bruni, Alberto Lluch Lafuente and Ugo Montanari

  6. Where to Find What?

  7. Events in Grand Hotel 4th Floor: ACCAT (I) Lunch(DCC, ACCAT, RV, QAPL, MBT, SC) RV (X) MBT (IV) DCC (III) SC QAPL

  8. Session 1 (March 30th, SUN) 14:00 - 15:30 ACCAT (Room I / Grand) • The Power of Functors in Programming: Case Study Theorema B.Buchberger • Abstraction Based Information Technology J.Calmet • Graph Rewritings in Computational Origami Tetsuo Ida 14:00 - 16:00 DCC (Margit / Grand) • Efficient Circuit Design with uDL Steve Hoover (Massachusetts Microprocessor Design Center, Intel) • Bridging the Gap between Abstract RTL and Bit-Level Designs Andrew K. Martin (IBM)

  9. Session 1 (March 30th, SUN) 14:00 - 16:00 RV (Room X / Grand) • Invited talk: Runtime Certification John Rushby • Deadlocks: from Exhibiting to Healing Yarden Nir-Buchbinder, Rachel Tzoref and Shmuel Ur • A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity Horatiu Jula and George Candea 14:00 - 16:00 QAPL (Béla / Grand) • Invited talk: Formal Modelling and Analysis of Quantum Protocols Simon Gay, University of Glasgow, UK • Oracle-Based Poly-Controlled Partial Evaluation Claudio Ochoa and German Puebla • Verification of Resource Requirements of Distributed Reasoning Agents N. Alechina, B. Logan, H. Nga Nguyen and A. Rakib

  10. Session 1 (March 30th, SUN) 14:30 - 16:00 MBT (Room IV / Grand) • Improving Fault-based Conformance Testing Bernhard K. Aichernig, Martin Weiglhofer, and Franz Wotawa • Cooperative Testing of Uncontrollable Timed Systems Alexandre David, Kim G. Larsen, Shuhao Li, and Brian Nielsen • Model-based Security Testing using UMLsec. A case-study Jan Jürjens 14:00 - 15:30 SC (Ybl / Grand) • A Reflective Framework for Fine-Grained Adaptation of Aspect-Oriented Compositions Paul Grace, Bert Lagaisse, Eddy Truyen and Wouter Joosen • Composing Safely - A Type System for Aspects Florian Kammueller and Henry Sudhof • Practical Conflict Resolution for the Composition of Program Transformations Andreas I. Schmied and Franz J. Hauck

  11. Where to Find What?

  12. Important Notice Dinner • Pre-Conference dinner: Borkatakomba Restaurant,19:30-23:30 • Buses will leave from the conference hotel at 19:00 • Please assure that you informed us about where you stay so that our buses can take you back • Dinner tickets are still availableat the registration desk (45 EUR) Lunch • For your own convenience, we recommend having your lunch at the conference venue during weekdays as well • Lunch tickets are still available at the registration desk for the days of the main conference • We can only guarantee to fulfill your lunch requests if received 24 hours ahead

More Related