Call for Participation WorS 2019
Please find the following Call for Participation of this quite special and interesting School and Workshop on reaction systems.
Hans-Jörg Kreowski (University of Bremen, Germany)
======================= Call for Participation ===========================
2nd International Workshop on Reaction Systems
1st School on Reaction Systems
Toruń, Poland, June 3-7, 2019
Participation in both the School and the Workshop (including coffee
breaks and lunches) is free, however, the registration on the event
website before May 17 is necessary.
School and Workshop:
Since their introduction about 10 years ago, reaction systems
matured into a fruitful and dynamically evolving research area, which
attracted a noticeable group of researchers. The original motivation was
the understanding of interactions of biochemical reactions in the
living cell and since then reaction systems have developed as an
innovative approach to formal modelling of biological systems. They have
also become a popular novel model of interactive computation.
Due to growing interest in this research area, the need has arisen
to organise a periodic workshop providing a forum for exchanging
research ideas and, hopefully, initiating new or strengthening already
existing collaborative research efforts. The first workshop took place
in Milano, Italy, in June 2018. The second meeting will take place in
Toruń, Poland, in the period 3-7 June 2019.
The meeting in Toruń will consist of a school and a workshop. The
school will take place from Monday, June 3, until Wednesday, June 5. The
school program consists of tutorial lectures accessible also to
participants who are not yet familiar with reaction systems. They will
cover the biological aspects of reaction systems, the computational
aspects of reaction systems (reaction systems as a model of interactive
computation), and the relationship of reaction systems to other models
of computation. Then the workshop will take place from Wednesday, June
5, until Friday, June 7. The workshop program will cover the recent as
well as by now established scientific results. Also, the presentations
of work in progress are welcome. Moreover, the program of the workshop
is designed in such a way as to provide enough time (and classroom
space) to instigate collaboration between participants.
The lectures of the school are scheduled as follows:
• G. Rozenberg, Leiden, The Netherlands – “Introduction to reaction systems”
• A.E. Porreca, Marseille, France – “State sequences of reaction systems”
• D. Besozzi, Milano, Italy – “Biological aspects of reaction systems”
• Ł. Mikulski, Toruń, Poland – “Equivalences for reaction systems”
• J. Kleijn, Leiden, The Netherlands – “Evolving reaction systems”
• G. Rozenberg, Leiden, The Netherlands – “Qualitative vs quantitative reaction systems”
• W. Penczek, Warsaw, Poland – “Logic for reaction systems (model checking)”
• P. Milazzo, Pisa, Italy – “Genetic regulatory networks”
• P. Bottoni, Rome, Italy – “Networks of Reaction Systems”
• R. Brijder, Hasselt, Belgium – “Chemical Reaction Networks”
• H.-J. Kreowski, Bremen, Germany – “Graph-based reaction systems”
• G. Rozenberg, Leiden, The Netherlands – “Zoom structures and exploration systems”
• A. Leporati, Milan, Italy – “Membrane systems”
• M. Koutny, Newcastle, United Kingdom – “Petri nets and reaction systems”
• A. Yakovlev, Newcastle, United Kingdom – “Asynchronous Computations”
• L. Manzoni, Milano, Italy – “Cellular automata, dynamical systems, and reaction systems”
Invited speakers for the Workshop:
• R. Gori, Pisa, Italy – “Causalities in reaction systems”
• G. Mauri, Milano, Italy – “Membrane systems and computational complexity”
Contributed talks for the Workshop include:
• P. Bottoni, Rome, Italy – “Transactions and contracts based on reaction systems”
• L. Brodo, Sassari, Italy – "Embedding reaction systems into link-calculus"
• E. Csuhaj-Varju, Budapest, Hungary – "Distributed reaction automata"
• D. Genova, Jacksonville, Florida, USA – "Graph representation of equivalent reaction systems"
• D. Genova, Jacksonville, Florida, USA – "Modeling reaction systems by forbidding and enforcing"
• D. Janssens, Antwerp, Belgium – "Process graphs for reaction systems"
• M. Koutny, Newcastle, UK – "Reaction systems, transition systems, and equivalences"
• A. Labella, Rome, Italy – "Reaction systems with influence on the environment"
• L. Manzoni, Milano, Italy – "Elementary reaction systems"
• L. Manzoni, Milano, Italy and A.E. Porreca, Marseille,
France – "What do we know (and what we don't) about the computational
complexity of reaction systems"
• W. Penczek, Warsaw, Poland – "A temporal logic for chemical exploration systems"
• A.E. Porreca, Marseille, France – "Shapes of dependencies in reaction systems"
• A. Skowron, Warsaw, Poland – "Rough sets and reaction systems"
• A. Yakovlev, Newcastle, UK – "Bringing asynchrony to reaction systems"
Abstracts of the workshop talks will be placed on the event website.
Student grants, provided by the City Council of Toruń and Nicolaus
Copernicus University, are still available. For more details, see the
Toruń, one of the oldest cities in Poland, is located on the Vistula
river in the northern part of the country, and is best known as the
birthplace of the astronomer Nicolaus Copernicus. In 1997 the medieval
part of the city was designated a UNESCO World Heritage Site, and in
2007 the Old Town in Toruń was designated as one of the Seven Wonders of
Poland. Toruń is also European City of Sport in 2019. National
Geographic rated the old town market and the Gothic town hall as one of
the 30 Most Beautiful Places in the World. Toruń has many monuments of
architecture beginning from the Middle Ages. Most of them have an almost
intact medieval layout.
More information about the meeting and the city of Toruń can be found in the attachment and on the meeting website.
Please distribute this announcement as wide as possible.
Co-chair of the PC and OC of the 2nd Workshop and the 1st School on Reaction Systems
[demime 1.01d removed an attachment of type application/pdf which had a name of WoRS-Torun-CfP.pdf]
EASST's Eurograd mailing list
Eurograd (at) lists.easst.net
Unsubscribe or edit subscription options: http://lists.easst.net/listinfo.cgi/eurograd-easst.net
Meet us via https://twitter.com/STSeasst
Report abuses of this list to Eurogradfirstname.lastname@example.org