IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
TOOLS 2019 : Technology of Object-Oriented Languages and Systems Conference Series : Technology of Object-Oriented Languages and Systems  
TOOLS 2019 : Technology of Object-Oriented Languages and Systems Conference Series : Technology of Object-Oriented Languages and Systems  

TOOLS 2019 : Technology of Object-Oriented Languages and Systems Conference Series : Technology of Object-Oriented Languages and Systems  

Innopolis, Russia
Event Date: October 15, 2019 - October 17, 2019
Abstract Submission Deadline: April 05, 2019
Submission Deadline: April 19, 2019
Notification of Acceptance: May 19, 2019
Camera Ready Version Due: June 10, 2019




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 ([email protected]).



Credits and Sources

[1] TOOLS 2019 : Technology of Object-Oriented Languages and Systems Conference Series : Technology of Object-Oriented Languages and Systems  


Check other Conferences, Workshops, Seminars, and Events


OTHER SOFTWARE VERIFICATION EVENTS

ICFEME 2022: International Conference on Formal Engineering Methods and Applications ICFEME
Paris, France
May 17, 2022
ATVA 2022: The 20th International Symposium on Automated Technology for Verification and Analysis
Beijing, China
Oct 25, 2022
ATVA 2021: The 19th International Symposium on Automated Technology for Verification and Analysis
Gold Coast, Australia
Oct 18, 2021
FAACS 2019: 3rd Workshop on Formal Approaches for Advanced Computing Systems
Paris, France
Sep 9, 2019
SHOW ALL

OTHER MACHINE LEARNING EVENTS

NLPAI 2024: 2024 5th International Conference on Natural Language Processing and Artificial Intelligence (NLPAI 2024)
Chongqing, China
Jul 12, 2024
ICAITE 2024: 2024 the International Conference on Artificial Intelligence and Teacher Education (ICAITE 2024)
Beijing, China
Oct 12, 2024
DL for Neuro-heuristic Brain Analysis 2024: Workshop on Deep Learning for Neuro-heuristic Brain Analysis @ ICANN'24
Lugano, Switzerland
Sep 17, 2024
Informed ML for Complex Data@ESANN 2024: Informed Machine Learning for Complex Data special session at ESANN 2024
Bruges, Belgium
Oct 9, 2024
LearnAut 2024: Learning and Automata
Tallinn, Estonia
Jul 7, 2024
SHOW ALL