TOOLS 50+1: Technology of Object-Oriented Languages and Systems Innopolis University Innopolis (Kazan), Russia, October 14-20, 2019

This new edition of the TOOLS conference series revives a tradition going back 50 conferences from 1989 to 2012. TOOLS was originally “Technology of Object-Oriented Languages and Systems” and grew to encompass all innovative aspects of software technology. Many of today’s most important software concepts were first introduced there. The 2019 TOOLS 50+1, taking place near Kazan, in Russia, continues the series in the same spirit of creativity, passion for everything software-related, combination of scientific soundness and industrial applicability, and an open attitude welcoming all trends and communities in the field.

TOOLS 50+1 will be held in the week of October 14, 2019,  with the conference proper on October 15 to 17 (Tuesday to Thursday) and colocated events on the surrounding days. Proposers of colocated events are welcome to contact organizers. The conference location is the  campus of Innopolis University, a new IT-only university, part of the recently created Innopolis technology city near Kazan, one of the main historic centers of Russia, capital of Tatarstan and about 800 kilometers from Moscow, easily reached by domestic and international flights as well as train. For an excellent conference experience, participants will be housed on site, and will benefit from tours of Kazan and neighboring attractions. The conference organizers will provide travel and visa assistance.

Proceedings will be published as a volume of the Springer's Lecture Notes in Computer Science.

Keynote speakers

• Davide Sangiorgi (University of Bologna, Italy)
• Bertrand Meyer (Innopolis University, Russia and Politecnico di Milano, Italy)

Submission Guidelines

All papers must be original and not simultaneously submitted to another journal or conference. Papers should be formatted using Springer LNCS guidelines and should be at most 15 pages long.

Topics

All topics in modern software technology are suitable. Examples include:

• New development in object technology
• Cloud, web and big data applications
• Microservices
• Rapid development and deployment techniques
• New software processes
• Experience reports, technology transfer
• Challenges of developing software for embedded systems and Internet of Things
• Applications of AI and machine learning techniques
• Reliabilty and dependability
• Hybrid and cyber-phisical systems modeling and verification

Committees

Program chairs: Manuel Mazzara (Innopolis), Jean-Michel Bruel (University of Toulouse), Alexander Petrenko (ISPRAS)

Program Committee

• Danilo Ardagna (Politecnico di Milano, Italy)
• Sergey Avdoshin (Higher School of Economics, Russia)
• Alexandre Bergel (University of Chile)
• Jean Bézivin (University of Nantes, France)
• Judith Bishop (Stellenbosch University, South Africa)
• Antonio Bucchiarone (Fondazione Bruno Kessler, Italy)
• Paolo Ciancarini (University of Bologna, Italy)
• Salvatore Distefano (University of Messina, Italy)
• Nicola Dragoni (Technical University of Denmark)
• Catherine Dubois (ENSIIE, France)
• Schahram Dustdar (Vienna University of Technology, Austria)
• Sophie Ebersold (University of Toulouse, France)
• Angelo Gargantini (University of Bergamo, Italy)
• Adil Khan (Innopolis University, Russia)
• Victor Kuliamin (Moscow State University, Russia)
• Dmitrij Koznov (Saint Petersburg State University, Russia)
• Cosimo Laneve (University of Bologna, Italy)
• Jooyoung Lee (Innopolis University, Russia)
• Hernán Melgratti (University of Buenos Aires, Argentina)
• Raffaela Mirandola (Politecnico di Milano, Italy)
• James Noble (Victoria University of Wellington, New Zealand)
• Manuel Oriol (ABB Corporate Research)
• Richard Paige (University of York, UK)
• Mauro Pezzè (Università della Svizzera italiana)
• Victor Rivera (Innopolis University, Russia)
• Andrey Sadovykh (Innopolis University, Russia)
• Andrey Terekhov (Saint Petersburg State University, Russia)
• Jan Vitek (Northeastern University, USA)
• Jim Woodcock (University of York, UK)

Organizing committee

• Inna Baskakova (Innopolis)
• Mansur Khazeev (Innopolis)
• Alexandr Naumchev (Innopolis)
• Oksana Zhirosh (Innopolis)

Publication

TOOLS 50+1 proceedings will be published as a volume of Springer's Lecture Notes in Computer Science.

Venue

All conference events will take place at Innopolis University (http://university.innopolis.ru).

Contact

All questions about submissions should be emailed to Manuel Mazzara ([email protected]).