• Methodologies and tools for design and development of control industrial applications _Panel Discussion_ We organize the discussion on topic “The use of languages and formal methods to improve the quality of cyber-physical systems: what should we do to meet the Industry 4.0 Challenge?”. The...
Computational mathematics, numerical analysis, stochastic processes, graph theory, discrete mathematics, computational geometry, differential algebra, linear systems, multivariate calculus, probability and statistics, combinatorics, etc. Submission of proposals for special...