Programme

0900 - 0930 Registration

0930 - 1030 Invited Talk: Prof. Mike Holcombe

• Agile Formal Methods for a Dynamic Business World

1030 - 1100 Coffee Break

1100 - 1330 Session A

• A Holistic View for Modeling and Testing of User Interactions Using Finite-State Techniques, F.Belli, Ismir University and University of Paderborn
• Modelling and Performance Evaluation of Hybrid Systems, I.Kotini, G.Hassapis, Aristotle University of Thessaloniki
• An Agile Formal Development Methodology, G.Eleftherakis, A.J.Cowling, City College, University of Sheffield
• Formal experimentation for agile formal methods, P.Sfetsos, I.Stamelos, Technological Educational Institution of Thessaloniki, Aristotle University of Thessaloniki
• Applying XP Ideas Formally, C.Thomson, M.Holcombe, University of Sheffield
• Formal modelling of use cases with X-machines, D.Dranidis, K.Tigka, P.Kefalas, City College

1330 - 1430 Lunch Break

1430 - 1630 Session B

• Verification of Random Behaviours, S.Andova, T.A.C.Willemse, Twente University, Eindhoven University
• An Action Computation Tree Logic with Unless Operator, R.Meolic, T.Kapus, Z.Brezocnik, University of Maribor
• Model Checking and Design Verification, H.Anderson, G.Ciobanu, National University of Singapore
• A Formal And Executable Model For Robot Planning, N. Maragos, D.N.Kleftouris, C.Ziogou, Technological Educational Institution of Thessaloniki
• Verification of Imperative Programs in Theorema, T.Jebelean, L.I.Kovacs, N.Popov, Johannes Kepler University, Institute e-Austria Timisoara

1630 - 1730 Panel discussion: Trends in Formal Methods and Opportunities for South-East Europe

• Panel chair A.Sotiriadou
• Panel members: M. Holcombe, F. Belli, A. Eskenazi, M. Gheorghe

1730 - 1800 Coffee Break

1800 - 1945 Session C

• Polymorphic System with Arrays: Decidability and Undecidability, R.Lazic, T.Newcomb, B.Roscoe, University of Warwick, University of Oxford
• Rapid Trainings on Specification Based Testing Tools, O.L.Petrenko, V.A.Omelchenko, Institute for System Programming of Russian Academy of Sciences
• Formal Metamodelling and Agile Method Engineering in MetaCASE and CAME Tool Environments, E.Berki, University of Jyvaskyla
• A Fast Natural Algorithm for Searching, J.J.Arulanandham, C.S.Calude, M.J.Dinneen, University of Auckland

1945 - 2000 Closing