META 2016 program

[Andrei Klimov]

​Dear colleagues,

The program of the Fifth International Valentin Turchin Workshop on Metacomputation (META 2016) has been published on page http://meta2016.pereslavl.ru/program/program.html. For your convenience it is reproduced below.

Notice that

​t​

he pdf files of papers can be downloaded by clicking the titles. You may also want to have a look at the list of accepted papers and talks and the pdf file of the whole proceedings o

​n​

page http://meta2016.pereslavl.ru/papers/papers.html.

The META 2016 workshop will be held in June 27 - July 1, 2016, in an ancient Russian town Pereslavl-Zalessky, on the bank of Pleshcheevo lake, in Ailamazyan Program Systems Institute of Russian Academy of Sciences.

Best regards,

Andrei Klimov 

---

META 2016 Workshop 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

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 Welcome party in 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. Dinner 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

• 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

• Nikolai Nepejvoda (Ailamazyan PSI RAS, Pereslavl-Zalessky, Russia)
  Algebraic Transformations as Program Transformations

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

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

• 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

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

• 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»

• Workshop dinner