Dines Bjørner

Fredsvej 11, DK-2840 Holte, Denmark. bjorner@gmail.com.

Moscow 21-24 April 2015

Compiled: April 26, 2015

Host:
- Academician, Prof. Victor Petrovich Ivannikov. Director, ISP-RAS
  Phone: +7(495) 912-44-25, E-mail: ivan@ispras.ru
  Victor Petrovich
- Ms Darya Dmitrievna Echina, ISP-RAS, director@ispras.ru
  Darya Echina
Tuesday, 21 March 2015
- Flight: SU2659, CPH Terminal 2, SVO E: 12:20-15:50
- Hotel: Old Town Hotel On Kuznetsky Bridge
  Ulitsa Kuznetesky Most, Bolshaya Dmitrovka Street 8 Bld.5, 125009 Moskva.
  Phone: 8 (929) 656-38-89 (cell), Phone: 8 (495) 369-60-14
- Italian Restaurant: La Provincia
  Kaluzhskaya pl., 1, Moscow, Phone +7 495 287-00-66.
  Victor Petrovich Victor Petrovich & Dines
Wednesday, 22 March 2015
- 8:30 AM: Breakfast, Rest. Kitchenette, Ulitsa Kuznetesky Most
  Restaurant Kitchenette Restaurant Kitchenette
- 10 AM: Sightseeing: Kolomeskoe
- 4 PM: Faculty of Computer Science , 3 Kochnovsky Proezd, Moscow.
  Higher School of Economics, National Research University
  - Host: Prof., Dr. Efim Grinkrug
    Efim Grinkrug
  - Seminar: An Informatics View of The World
    - Paper
    - Slides
  - Abstract:
    This talk is for beginners in the serious study of computer science. Behind the presentation of this paper lies the attitude that software, including programmes, denote mathematical objects. Through three examples I provide a glimpse into a universe of domains for which software is developed every day but for which, in most instances, there are no formal, i.e., mathematical understanding. The three examples are: road transport and platooning systems, oil/gas pipeline systems, and stock exchange sell offer/buy bid matching. The objective of this paper is to show you what it means to develop software using mathematics, albeit it new kind of mathematics, not differential equations, nor integrals, nor statistics, etc., but mathematical logic and abstract algebra, so that software can be shown correct, i.e., no bugs, no blue screen, and to met customers expectations!
- Dinner: approx. 7 pm, Georgian Restaurant Genazvali
Thursday, 23 March 2015
- My Street: Ulitsa Kuzneteskiy Most
  Moscow Art Theatre Stanislavski
  Kamergerskiy pereulok
  Sergej Prokofjev Museum
- 10 AM Sightseeing:
  - Danilov Monastery
  - Lunch
- 4PM: Institute of Systems Programming, Russian Academy of Sciences
  ulitsa Aleksandra Solzhenitsyna, 25
  - Seminar: A New Foundation for Computing Science
    A Research & Experimental Engineering Programme
    - Paper
    - Slides
  - Abstract:
    We argue that computing systems requirements must be based on precisely described domain models. We further argue that domain science and engineering offers a new dimension in computing. We review our work in this area and we hint at a research and experimental engineering programme for the first two phases of the triptych of domain enginering, requirements engineering and software design.
- 7PM: Concert: Mozart's Requiem, Moscow International House of Music
  Kosmodamianskaya Emb., 52-8
  
  Mozart's Requiem; Vivaldi: Gloria, Händel: Zadok the Priest, Händel: Messias, Verdi: Nabucco, Wagner: Tannhäuser, Grieg: Peer Gynt, Orf: Carmina Burana, Beethoven: 9th Symphony Finale: Ode to Freedom.
Friday, 24 March 2015
- Morning + Lunch: On my own.
- Shopping for Caviar: Eliseyevsky Gastronom
- Lunch: 1-3PM Central Writer's Club CDL. Moscow, 121825, Povarskaya, 50
- 3PM: Departure: Sheremetevo: SU2496, 19:40-21:15
Kreml, Manege, Pushkin Library:

Manege Pushkin Library
Viktor Petrovich Ivannikov: Viktor Petrovich founded ISP-RAS in 1991. He is now 75 years young. That institute, ISP-RAS is, in my estimation, quite an achievement - considering Russian Academy traditions, government interference, the economic situation, and many other things.

Several of their staff, including
Alexander Petrenko
besides being brillant scientists and technologists also have a fine world-wide reputation in the so-called Formal Methods community.