Monday, June 15

10.00-13.00 TUTORIAL (Chair Mikhail Bulyonkov)

10.00 Wolfram Schulte (Microsoft Research Redmond, USA)
Parameterized Unit Testing: Principles, Techniques, and Applications in Practice

11.30 Refreshments

12.00 Wolfram Schulte (Microsoft Research Redmond, USA)
Parameterized Unit Testing: Principles, Techniques, and Applications in Practice

13.00-14.00 Lunch

14.00-18.00 The History of Informatics in Siberia. Commemorating the 50th Anniversary of Programming Department, Computing Center, Novosibirsk

19.00-23.00 Welcome Party

Tuesday, June 16

9.00-10.30 Opening PSI´09 (Chair Alexander Marchuk)

9.30 Wolfram Schulte (Microsoft Research Redmond, USA)
Invited Talk: VCC: Contract-based Modular Verification of Concurrent C

10.30-11.00 Refreshments

11.00-12.45 Session 1 (Chair Andrei Voronkov)

11.00 Florian Fischer, Gulay Unel, Barry Bishop, Dieter Fensel (U Innsbruck, Austria)
Towards a Scalable, Pragmatic Knowledge Representation Language for the Web

11.30 J. Guadalupe Ramos (ITLP, DGEST, Mexico), Josep Silva, Gustavo Arroyo (TU Valencia, Spain), Juan C. Solorio (ITLP, DGEST, Mexico)
Information Retrieval From the Semantic Web Based on Microformats and Semantic Networks

12.00 Thomas Studer (U. Bern, Switzerland)
Privacy Preserving Modules for Ontologies

12.15 Laura Kovacs (EPFL, Switzerland)
A Complete Invariant Generation Approach for P-solvable Loops

13.00-14.00 Lunch

14.00-15.30 Session 2 (Chair Wolfram Schulte)

14.00 Lothar Thiele (ETH Zurich, Switzerland)
Invited Talk: Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction

15.00 Nikolay Pakulin, Vladimir Rubanov (Inst. System Programming,  Moscow, Russia)
A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems

15.30-16.00 Refreshments

16.00-17.45 Session 3 (Chair Dines Bjørner)

16.00 Artur Niewiadomski (U Podlasie, Siedlce, Poland), Wojciech Penczek (Inst. Comp. Sci., Warsaw, Poland), Maciej Szreter (Inst. Comp. Sci., Warsaw, Poland)
Towards Checking Parametric Reachability for UML State Machines

16.30 Jens Kohlmeyer, Walter Guttmann (U Ulm, Germany)
Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams

17.00 Andrei Sabelfeld, Alejandro Russo (Chalmers U Techn., Gothenburg, Sweden)
From dynamic to static and back: Riding the roller coaster of information-flow control research

17.30 Vladimir A. Zakharov, Egor Kostylev, Petr Bulychev (Lomonosov Moscow State U, Russia)
Anti-unification algorithms and their applications in program analysis

Wednesday, June 17

9.00-10.30 Session 4 (Chair Lothar Thiele)

9.00 Dines Bjørner (TU Denmark, Denmark)
FME Invited Talk: The Role of Domain Engineering in Software Development. Why Current Requirements Engineering is Fundamentally Wrong!

10.00 Thomas Wuerthinger (U Linz, Austria), Michael Van De Vanter, Doug Simon (Sun Microsystems Labs, Menlo Park, USA)
Multi-Level Virtual Machine Debugging using the Java Platform Debugger Architecture

10.30-11.00 Refreshments & Group Photo

11.00-13.00 Session 5 (Chair Torben Ægidius Mogensen)

11.00 Robert Glück (DIKU, U Copenhagen, Demnark)
An Experiment with the Fourth Futamura Projection

11.30 Geoff Hamilton (Dublin City U, Ireland)
Extracting the Essence of Distillation

12.00 Andrei V. Klimov (Keldysh Inst. Applied Mathematics, Moscow, Russia)
A Java Supercompiler and its Application to Verification of Cache-Coherence Protocols

12.30 Ilya Klyuchnikov, Sergei Romanenko (Keldysh Inst. Applied Mathematics, Moscow, Russia)
Proving the Equivalence of Higher-Order Terms by Means of Supercompilation

13.00-14.00 Lunch

 15.00-21.00 Barbecue

Thursday, June 18

9.30-11.00 Session 6 (Chair Kim G. Larsen)

9.30 Samson Abramsky (Oxford University, UK)
Invited Talk: Games, Interaction and Computation

10.30 Margus Veanes, Nikolaj Bjørner (Microsoft Research Redmond, USA)
Symbolic Bounded Conformance Checking of Model Programs

11.00-11.30 Refreshments

11.30-13.00 Session 7 (Chair Dieter Fensel)

11.30 Nieves R. Brisaboa, Miguel R. Luaces, Oscar Pedreira, Angeles S. Places, Diego Seco (U A Coruña, Spain)
Indexing Dense Nested Metric Spaces for Efficient Similarity Search

12.00 Victor Felea (U Iaşi, Romania)
On the Containment Problem for Queries in Conjunctive Form with Negation

12.30 Jean Beney (U Lyon, France), Cornelis H. A. Koster (Radboud U, Nijmegen, The Netherlands),
SVM paradoxes

13.00-14.00 Lunch

14.00-16.00 Session 8 (Chair Frederic Benhamou)

14.00 Roberto Barbuti (U Pisa, Italy), Daniela Lepri (U Oslo, Norway), Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama (U Pisa, Italy)
Simulation of Kohn's Molecular Interaction Maps through translation into Stochastic CLS

14.30 Torben Æ. Mogensen (DIKU, U Copenhagen, Denmark)
Planet Map Generation by Tetrahedral Subdivision

15.00 Margarita Korovina (Inst. Inform. Syst., Novosibirsk, Russia), Oleg Kudinov (Inst. Math., Novosibirsk, Russia)
Σ_K-constraints for Hybrid Systems

15.30 Andrei Mantsivoda, Anton Malykh (Irkutsk State U, Russia)
A Query Language for Logic Architectures

16.00-16.30 Refreshments

16.30-21.00 Visiting Opera & Ballet Theatre

Friday, June 19

9.30-11.00 Session 9 (Chair Samson Abramsky)

9.30 Kim G. Larsen (Aalborg University, Denmark)
Invited Talk: Compositional Model Checking

10.30 Emanuel Kolb (ABB Corporate Research, Ladenburg, Germany), Ondrej Šerý (Charles U Prague, Czech Republic), Roland Weiss (ABB Corporate Research, Ladenburg, Germany)
Applicability of the Blast Model Checker: An Industrial Case Study

11.00-11.30 Refreshments

11.30-13.00 Session 10 (Chair Valery Nepomniaschy)

11.30 Philipp Kumar, Thomas Baar (Software Analysis & Refactoring Gr., Berlin, Germany)
Using AOP for Discovering and Defining Executable Test Cases

12.00 Victor Kuliamin (Inst. System Programming, Moscow, Russia)
Standardization and Testing of Mathematical Functions

12.30 Dmitry Kichigin (Inst. System Programming, Moscow, Russia)
A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules

13.00-14.00 Lunch

14.00-15.30 Session 11 (Chair Nikolay Shilov)

14.00 Dominique Méry, Nazim Benaissa (LORIA, Nancy, France)
Cryptologic protocols analysis using proof-based patterns

14.30 Dmitry Beloglazov, Valery Nepomniaschy (Inst. Inform. Syst., Novosibirsk, Russia)
A two-level approach for modeling and verification of telecommunication systems

15.00 Helen Schonenberg, Natalia Sidorova, Wil van der Aalst, Kess van Hee (Techn. U Eindhoven, The Netherlands)
History-Dependent Stochastic Petri Nets

15.30-16.00 Refreshments

16.00-17.30 Session 12 (Chair Victor Kasyanov)

16.00 Alexander Stasenko (Intel, Novosibirsk, Russia)
A Model of Automata for Visual Description of Syntax Parsing

16.30 Katerina Troshina, Alexander Chernov (Inst. System Programming, Moscow, Russia)
High-Level Composite Type Reconstruction During Decompilation from Assembly Programs

17.00 Alexey Khoroshilov, Vadim Mutilin, Alexander Petrenko, Vladimir Zakharov (Inst. System Programming, Moscow, Russia)
Establishing Linux Driver Verification Process

19.00-23.00  Concluding Session - Conference Dinner