Program

Time slots for talks - 45 min including questions and discussion.
30 min coffee breaks are after the first two talks in the morning sessions (except the first day) and after the first talk in the afternoon sessions.

Monday, June 27, 2016

09:30 Bus from the Troyka Hotel to the Program Systems Institute

09:45 Registration, coffee break

10:45 Session 1: Valentin Turchin Memorial

• Opening the workshop

• Andrei Klimov (Keldysh IAM RAS, Moscow, Russia) (with Robert Glück)
  Introduction to Valentin Turchin's Cybernetic Foundation of Mathematics

• Antonina Nepeivoda (Ailamazyan PSI RAS, Pereslavl-Zalessky, Russia)
  Complexity of Turchin's Relation for Call-by-Name Computations (paper) (slides)

12:45 Walk to the restaurant «Botik»
           Lunch
14:00 Walk from the restaurant «Botik»

14:30 Session 2

• Neil D. Jones (University of Copenhagen, DIKU, Denmark)
  On Programming and Biomolecular Computation (invited talk)

• Robert Glück (University of Copenhagen, DIKU, Denmark)
  Preliminary Report on Polynomial-Time Program Staging by Partial Evaluation

17:00 Bus from the Program Systems Institute to the Troyka hotel

18:00 Welcome party in the restaurant of the Troyka hotel 

Tuesday, June 28, 2016

09:30 Bus from the Troyka Hotel to the Program Systems Institute

10:00 Session 3

• Neil D. Jones (University of Copenhagen, DIKU, Denmark) (with Daniil Berezun)
  Working Notes: Compiling ULC to Lower-level Code by Game Semantics and Partial Evaluation (invited talk)

• Julia Belyakova (Southern Federal University, Rostov-on-Don, Russia)
  Language Support for Generic Programming in Object-Oriented Languages: Design Challenges

• G.W. Hamilton (Dublin City University, Ireland) (with Venkatesh Kannan)
  Distilling New Data Types

12:45 Walk to the restaurant «Botik»
           Lunch
14:00 Walk from the restaurant «Botik»

14:30 Session 4

• Dimitur Krustev (IGE+XAO Balkan, Bulgaria)
  A Supercompiler Assisting Its Own Formal Verification

• Arkady Klimov (IDPM RAS, Moscow, Russia)
  Derivation of Parallel Programs of Recursive Doubling Type by Supercompilation with Neighborhood Embedding

17:00 Bus from the Program Systems Institute to the Troyka hotel

Wednesday, June 29, 2016

10:00 Bus from the Troyka hotel

• Excursion around Pereslavl-Zalessky. Visiting ancient Russian monasteries, churches and museums. Lunch at to the restaurant «Botik» at the same time.

17:00 Back to the Troyka hotel

Thursday, June 30, 2016

09:30 Bus from the Troyka Hotel to the Program Systems Institute

10:00 Session 5

• Robert Glück (University of Copenhagen, DIKU, Denmark)
  On the Simulation of Two-Way Nondeterministic Pushdown Automata

• Antonina Nepeivoda (Ailamazyan PSI RAS, Pereslavl-Zalessky, Russia)
  Ping-Pong Protocols as Prefix Grammars: Modeling and Verification via Program Transformation (slides)

• Nikolay Shilov (Ershov IIS RAS, Novosibirsk, Russia)
  Algorithm Design Patterns: Programming Theory Perspective

12:45 Walk to the restaurant «Botik»
           Lunch
14:00 Walk from the restaurant «Botik»

14:30 Session 6

• Sergei Grechanik (Keldysh IAM RAS, Moscow, Russia)
  Towards Unification of Supercompilation and Equality Saturation

• Dimitur Krustev (IGE+XAO Balkan, Bulgaria)
  Simple Programs on Binary Trees – Testing and Decidable Equivalence

17:00 Bus from the Program Systems Institute to the Troyka hotel

Friday, July 1, 2016

09:30 Bus from the Troyka Hotel to the Program Systems Institute

10:00 Session 7

• Husni Khanfar (with Björn Lisper) (Mälardalen University, Sweden)
  Enhanced PCB-Based Slicing

• Andrei Klimov (Keldysh IAM RAS, Moscow, Russia) (with Robert Glück and Antonina Nepeivoda)
  Non-Linear Configurations for Superlinear Speedup by Supercompilation

• Andrew Mironov (Moscow State University, Russia)
  On a Method of Verification of Functional Programs

12:45 Walk to the restaurant «Botik»
           Lunch
14:00 Walk from the restaurant «Botik»

14:30 Session 8

• Nikolai Nepejvoda (Ailamazyan PSI RAS, Pereslavl-Zalessky, Russia)
  Turchin's Metasystems Transitions and "Constructive Set Theory" from the Viewpoint of Current State of Constructive Knowledge

• Discussion, closing the workshop

16:30 Bus from the Program Systems Institute to the Troyka hotel

17:30 Bus from the Troyka Hotel to the restaurant «Popov loog»

18:00 Workshop dinner in the restaurant «Popov loog»