Workshops

TUCN

Workshop Name:
Integrated Semantic Visual Perception and Control for Autonomous Systems

Organizers:
Sergiu Nedevschi, TUCN
in the framework of the PN-III-P4-ID-PCCF-2016-0180 SEPCA project

Location: -

Abstract:

Presentations

BOSCH

Bosch Workshop Wokshop Name:
Bosch Students Workshop In Automated Driving
Organizers:
Catalin Golban, BOSCH

Location: -

Abstract:

Presentations:

FROM 2020

 

Workshop Name:
Working Formal Methods Symposium

Workshop Co-Chairs:
TBA

Organizers:
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

http://www.cs.ubbcluj.ro/from2020/

Location: TBA

Abstract:

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.

Presentations: TBA