Integrated Semantic Visual Perception and Control for Autonomous Systems
Sergiu Nedevschi, TUCN
in the framework of the PN-III-P4-ID-PCCF-2016-0180 SEPCA project
Bosch Students Workshop In Automated Driving
Catalin Golban, BOSCH
Working Formal Methods Symposium
Faculty of Mathematics and Computer Science of Babes-Bolyai University, the STAR-UBB Institute, the Faculty of Computer Science of the Alexandru Ioan Cuza University of Iasi, ICUB (The Research Institute of the University of Bucharest), and the Faculty of Mathematics and Computer Science of the University of Bucharest.
FROM aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. Formal methods emphasize the use of mathematical techniques and rigour for developing software and hardware. They can be used to specify, verify, and analyse systems at any stage in their life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user effectively apply these methods/frameworks.