META 2016

Fifth International Valentin Turchin Workshop on Metacomputation

 

 

June 27 - July 1, 2016, Pereslavl-Zalessky (120 km to the north-east from Moscow), Russia

Home
Call For Papers
Submissions
Important Dates
News & Forums
Invited Speakers
Papers
Program
Registration
Visa Support
Place
Contacts
History
Sponsors

 

Russian Foundation for Basic Research

 

Ailamazyan Program Systems Institute of RAS

 

Keldysh Institute of Applied Mathematics of RAS

 

Refal Community

 

 

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

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

14:30 Session 2

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

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

14:30 Session 4

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

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

14:30 Session 6

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

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»