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

TOOLS 2019 : Technology of Object-Oriented Languages and Systems

FacebookTwitterLinkedInGoogle


Conference Series : Technology of Object-Oriented Languages and Systems
 
Link: https://easychair.org/cfp/TOOLS-50_1
 
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)

Publication:

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


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

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 (m.mazzara@innopolis.ru).

Related Resources

ICML 2020   37th International Conference on Machine Learning
EDOC 2019   Enterprise Distributed Object Computing
IWUAS 2020   2020 International Workshop on Unmanned Aircraft Systems (IWUAS 2020)
BCIOT for COINS 2020   Special Track on Blockchain and Internet of Things (IoT) for IEEE International Conference on Omni-layer Intelligent Systems
ISBDAI 2020   【Ei Compendex Scopus】2018 International Symposium on Big Data and Artificial Intelligence
ECOOP 2019   ECOOP 2019 : European Conference on Object-Oriented Programming
ICPR 2020   International Conference on Pattern Recognition 2020
NSURL 2019   The First Workshop on NLP Solutions for Under Resourced Languages
Journal Special Issue 2019   Machine Learning on Scientific Data and Information
COMPUTATION TOOLS 2020   The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking