Magic in Science

June 17, 2017

Turku, Finland


This symposium will be co-located with “Computability in Europe (CiE) 2017“. It takes place on June 17, 2017, immediately after CiE. The symposium celebrates the 75th birthday of Prof. Grzegorz Rozenberg, University of Leiden, the Netherlands and University of Colorado at Boulder, USA (the actual birthday date is March 14).

Grzegorz Rozenberg is one of the world leaders in research on Theoretical Computer Science and Natural Computing. As a matter of fact, he is often called the guru of Natural Computing, having started promoting it as a coherent scientific discipline already from the 1970s – he gave this area its name and defined its scope. He played a central role in the development of theoretical computer science in Europe. His research is very broad in scope and it is a prime example of interdisciplinary research. He  has  authored exceptionally  many research  papers opening  new  vistas as  well  as  well-known books about  theoretical computer science and natural computing. He  supervised  numerous  Ph.D.  students,   many  of  whom  have  become  known scientists.

He serves or has served the international computer science community in numerous roles, including: president of the European Association for Theoretical Computer Science (EATCS); cofounder and president of the International Society for Nanoscale Science, Computation, and Engineering (ISNSCE); chair of the steering committee of the DNA Computing Conference; cofounder and chair of the steering committee of the International Conference on Application and Theory of Petri Nets; chair of the steering committee of the European Educational Forum; cofounder and chair of the steering committee of the International Conference on Developments in Language Theory; co-chair of the steering committee of the International Conference on Unconventional Computation and Natural Computation; and director of European Molecular Computing Consortium.

He also served on the editorial boards of many international journals and book series. He is the editor-in-chief and either the founder or a cofounder of some very well-known journals and book series: the journal Natural Computing, the journal Theoretical Computer Science C (Theory of Natural Computing), the book series Monographs and Texts in Theoretical Computer Science, the book series Natural Computing, and the book series Advances in Petri Nets. For over 20 years, he was the editor of the Bulletin of the European Association for Theoretical Computer Science. He edited four handbooks: on formal languages, on graph grammars and computing by graph transformations, on membrane computing, and on natural computing.

G. Rozenberg is a Foreign Member of the Finnish Academy of Sciences and Letters, a member of Academia Europaea, and the holder of Honorary Doctorates of the University of Turku, Finland, the Technical University of Berlin, Germany, the University of Bologna, Italy, the Åbo Akademi University, Finland, the Warsaw University of Technology, Poland, and the University of Bucharest, Romania. He has received the Distinguished Achievements Award of the European Association for Theoretical Computer Science “in recognition of his outstanding scientific contributions to theoretical computer science”. He is an ISI highly cited researcher.

He has also a very active and creative life outside science. For example, he is a performing magician, which is also reflected in his research. His very impressive numerous scientific results are somehow sprinkled with a touch of magic: this explains the title of the symposium. Also, he is an expert in paintings of Dutch painter Hieronymus Bosch.

The talks given at the symposium will have an overview character and together they will cover a broad range of topics reflecting Grzegorz Rozenberg’s broad research interests. Among the topics covered are: P vs NP, stochastic search, natural computing, biologically-inspired models of computation, reaction systems, chemical reaction networks, membrane computing, graph isomorphism, graph polynomials, matroids, synthesis of concurrent systems, Petri nets, formal language theory and combinatorics on words, DNA rearrangements in ciliates, patterns in genomes, smart textiles, smart drones, magic squares, wonder cubes, and odor reproduction.


Speakers:

  • David Harel, Weizmann Institute of Science, Israel – “On odor reproduction and how to test for it
  • Hendrik Jan Hoogeboom, Leiden University, the Netherlands – “From DNA rearrangements in ciliates to elegant graph problems
  • Juraj Hromkovic, Swiss Federal Institute of Technology Zurich, Switzerland  – “Why P vs. NP is so hard that even magicians failed to solve it
  • Natasha Jonoska, University of South Florida, USA – “Patterns emerging from a scrambled ciliate genome
  • Juhani Karhumäki, University of Turku, Finland – “Combinatorics on words and k-abelian equivalence
  • Jetty Kleijn, Leiden University, the Netherlands – “The spellbinding simplicity of complex reaction systems
  • Maciej Koutny, Newcastle University, UK – “Regions: the magic ingredient in synthesis of concurrent systems
  • Hermann Maurer, Academia Europaea and Graz University of Technology, Austria – “Some unusual applications of computer science
  • Giancarlo Mauri, University of Milano-Bicocca, Italy – “Modelling and simulation of biochemical reaction systems
  • George Paun, Institute of Mathematics of the Academy of Romania – “Borderlines or limits? (in Natural Computing)
  • Azaria Paz, Technion, Israel – “Linked magic squares on a cube. Theme and variations
  • Moshe Vardi, Rice University, USA – “The automated-reasoning revolution: from theory to practice and back
  • Erik Winfree, Caltech, USA – “Chemical reaction networks and stochastic local search


Important dates:

  • Registration deadline: June 5, 2017
  • Symposium: June 17, 2017


Registration and fees:

  • The registration can be done through this link.
  • Fees:
    • The symposium is free of charge.
    • The on-site university restaurant offers lunch on June 17, for which a coupon (8 EUR/person) must be purchased through the registration link. Lunch can also be bought separately from one of the off-site restaurants; in this case please note however that the time reserved for lunch in the program is only one hour.
    • The symposium dinner will take place in the evening of June 17 at the Koulu (“Old School”) restaurant. The cost of the dinner (80 EUR/person) can be paid through the registration link.


Program:

8:00 – 9:00 Registration
9:00 – 9:30 Opening
9:30 – 10:00 Hermann Maurer, Academia Europaea and Graz University of Technology, Austria – “Some unusual applications of computer science
10:00 – 10:30 David Harel, Weizmann Institute of Science, Israel – “On odor reproduction and how to test for it
10:30 – 11:00 Coffee Break
11:00 – 11:30 Moshe Vardi, Rice University, USA – “The automated-reasoning revolution: from theory to practice and back
11:30 – 12:00 Juraj Hromkovic, Swiss Federal Institute of Technology Zurich, Switzerland  – “Why P vs. NP is so hard that even magicians failed to solve it
12:00 – 12:30 Azaria Paz, Technion, Israel – “Linked magic squares on a cube. Theme and variations
12:30 – 13:30 Lunch Break
13:30 – 14:00 Juhani Karhumäki, University of Turku, Finland – “Combinatorics on words and k-abelian equivalence
14:00 – 14:30 Maciej Koutny, Newcastle University, UK – “Regions: the magic ingredient in synthesis of concurrent systems
14:30 – 15:00 Jetty Kleijn, Leiden University, the Netherlands – “The spellbinding simplicity of complex reaction systems
15:00 – 15:30 Giancarlo Mauri, University of Milano-Bicocca, Italy – “Modelling and simulation of biochemical reaction systems
15:30 – 16:00 Coffee Break
16:00 – 16:30 Erik Winfree, Caltech, USA – “Chemical reaction networks and stochastic local search
16:30 – 17:00 Natasha Jonoska, University of South Florida, USA – “Patterns emerging from a scrambled ciliate genome
17:00 – 17:30 Hendrik Jan Hoogeboom, Leiden University, the Netherlands – “From DNA rearrangements in ciliates to elegant graph problems
17:30 – 18:00 George Paun, Institute of Mathematics of the Academy of Romania – “Borderlines or limits? (in Natural Computing)
20:00 – 23:00 Dinner


Accommodation:

The conference organizers have reserved rooms for the conference guests in the following hotels. The number of reserved rooms is limited so make sure to make your reservations early.

Hotel Scandic Julia

Eerikinkatu 4, 20100 Turku
Telephone: +358 2 336 000
julia@scandichotels.com | webpage

single room 111 €/night
double room 131 €/night

Reservations by 12.5.2017. Use reservation code CiE2017.


Hotel Centro

Yliopistonkatu 12a, 20100 Turku
Telephone: +358 2 211 8100
centro@centrohotel.com| webpage

single room 92 €/night

Reservations by 15.5.2017. Use reservation code CiE2017.


Sokos Hotel Seurahuone

Eerikinkatu 23, 20100, Turku
Telephone: +358 2 337 301
| webpage

single room 92 €/night
double room 102 €/night

Reservations by 14.5.2017 through www.sokoshotels.fi/en:
– choose the hotel (Seurahuone Turku)
– Use the reservation code BCIE2017
– search for available rooms


A small number of rooms have also been reserved in the following low cost lodging alternatives. For further options you can refer to the visitturku and wikitravel pages which also provide useful information about staying in Turku in general.

Guesthouse Kupittaa

Lemminkäisenkatu 36, 20520 Turku
Telephone: +358 2 233 4484
respa@majatalo.fiwebpage

single room 35 €/night
price valid until: 15.5.2017


Bed & Breakfast Tuure

Tuureporinkatu 17 C, 3rd floor, 20100 Turku
Telephone: +358 2 233 0230
tuure@netti.fi | webpage

single room 39 €/night
double room 45 €/night/person
price valid until: 14.5.2017


How to get to Turku:

By a plane

There are direct flights from Helsinki (Finnair), Stockholm (SAS), Riga (AirBaltic), Gdansk (WizzAir). A viable option is also to fly to Helsinki-Vantaa airport and take a train or a bus from the airport to Turku (see below.)

The bus number 1 connects the Turku airport with the market square (Kauppatori) and the port, the ticket price 3€ is paid to the driver. A taxi to the city center costs approximately 20€.

By a train

There are trains from Helsinki and Tampere almost every hour, see VR’s pages for more information.

By a bus

There are several bus companies operating in Finland: MatkahuoltoPohjolan Liikenne, OnniBus and Åbus have connections to Turku. The first two mentioned operate a line from Helsinki-Vantaa airport. Note that there is a 0 minute bus transfer in Espoo which should not be worried about — the buses wait for each other.

You may try out the aggregated seach engine www.pikavuorot.fi (finnish only). The bus tickets can be purchased from the driver but online prices might be cheaper.

By a ferry

Turku is also accessible by a ferry from Stockholm which sails through the beautiful archipelago. More information can be found at at Viking Line and Tallink Silja pages.


Organisers:

  • Ion Petre, Åbo Akademi University and Turku Centre for Computer Science, Finland
  • Arto Salomaa, University of Turku and Turku Centre for Computer Science, Finland
  • Jarkko Kari, University of Turku and Turku Centre for Computer Science, Finland
  • Juhani Karhumäki, University of Turku and Turku Centre for Computer Science, Finland


Contact:

  • Ion Petre, ipetre at abo.fi