posted by organizer: jooyoungl || 3726 views || tracked by 6 users: [display]

TOOLS 2019 : Technology of Object-Oriented Languages and Systems


Conference Series : Technology of Object-Oriented Languages and Systems
When Oct 15, 2019 - Oct 17, 2019
Where Innopolis, Russia
Abstract Registration Due Apr 5, 2019
Submission Deadline Apr 19, 2019
Notification Due May 19, 2019
Final Version Due Jun 10, 2019
Categories    object oriented   software verification   software modelling   machine learning

Call For Papers

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 51 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)

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)
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)
Victor Kuliamin (Moscow State University, Russia)
Dmitrij Koznov (Saint Petersburg State University, Russia)
Cosimo Laneve (University of Bologna, Italy)
Jooyoung Lee (Innopolis, 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, Russia)
Andrey Sadovykh (Innopolis, Russia)
Andrey Terekhov (Saint Petersburg State University, Russia)
Jan Vitek (Northeastern University, USA)
Jim Woodcock (University of York, UK)


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

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

All conference events will take place at Innopolis University (

All questions about submissions should be emailed to Manuel Mazzara (

Related Resources

OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications
ICDM 2021   21th Industrial Conference on Data Mining
ICRE--EI, Scopus 2021   2021 5th International Conference on Reliability Engineering (ICRE 2021)--EI Compendex, Scopus
AICA 2020   O'Reilly AI Conference San Jose
ECOOP 2021   Call for papers: 35th European Conference on Object-Oriented Programming
MLDM 2021   17th International Conference on Machine Learning and Data Mining
COMPUTATION TOOLS 2020   The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
ECIR 2021   European Conference on Information Retrieval
ECOOP 2020   European Conference on Object-Oriented Programming
ICLR 2021   Ninth International Conference on Learning Representations