| Saturday, 13 August | |
| 08.30-09.00 | Registration |
| 09.00-10.00 | Margus Veanes Testing Concurrent Object-Oriented Systems With Spec Explorer |
| 10.00-10.30 | Coffee break |
| 10.30-12.30 | Mika Haapakorpi, Maarit Harsu, Kai Koskimies An Architecture Supporting Variation in Graphical User Interfaces |
| Heli Tervo, Pekka Kilpeläinen, Tommi Penttinen Automating the XML Conversion and XSL Formatting of Textual Legacy Data |
|
| Natalia Tomassova, Jüri Kiho Grammar-Based Visual Software Converter Development |
|
| Antero Järvi, Tuomas Mäkilä Observations on Modeling Software Processes with SPEM Process Components |
|
| 12.30-14.00 | Lunch |
| 14.00-16.00 | Janne Merilinna and Eila Niemelä A Stylebase as a Tool of Quality-Driven Software Architecture Modelling |
| Sami Mäkelä, Ville Leppänen Taking Purpose of Class into Consideration in Cohesion Metrics |
|
| Zoltán Porkoláb, Ádám Sillye Towards a Multiparadigm Complexity Measure |
|
| Tamás Gergely, Ferenc Havasi, Tibor Gyimóthy Binary Code Compression Based on Decision Trees |
|
| 16.00-16.30 | Coffee break |
| 16.30-18.00 | Endre Horváth, István Forgács, Ákos Kiss, Judit Jász, Tibor Gyimóthy General Flow-Sensitive Pointer Analysis and Call Graph Construction |
| Härmel Nestra Transfinite Semantics in Program Slicing |
|
| Kimmo Surakka, Tommi Mikkonen, Hannu-Matti Järvinen, Timo Vuorela, Jukka Vanhala Towards Compiler Backend Optimization for Low Energy Consumption at Instruction Level |
|
| 20.00- | Conference dinner |
| Sunday, 14 August | |
| 09.00-10.00 | Leo Mőtus Ubiquity of Computing: the Impact on Computer Science |
| 10.00-10.30 | Coffee break |
| 10.30-12.00 | Taivo Lints Multiagent Modelling of a Bacterial Cell, a DnaA Titration Model Based Agent Model as an Example |
| Ákos Dávid, Tamás Pozsgai, László Kozma Educational Framework for Developing Applications from Verified Components |
|
| Jari Peltonen, Maarit Harsu Commonalities of Model Relationships within Product Line Processes |
|
| 12.00-12.30 | Coffee break |
| 12.30-14.00 | Katalin Pásztor Varga, Magda Várterész Theorem Proving Methods, Implementations: An Overview |
| Vahur Kotkas Structural Synthesis of Programs with Preconditions |
|
| Viktória Zsók, Zoltán Hernyák, Zoltán Horváth Distributed Pattern Design in D-Clean |
|