Submitted by Anonymous on Thu, 02/05/2015 - 12:57pm
INDIN'15 extended paper submission deadline: 17th February 2015
The 2015 edition of the IEEE International Conference on Industrial Informatics (INDIN) will be hosted in the historical city of Cambridge, UK, on July 22-24, 2015. The conference provides a forum for industry experts, researchers and academics to gather together to share ideas and experiences surrounding frontier technologies, breakthroughs, innovative solutions and research results, as well as initiatives related to industrial informatics and their applications.
Submitted by Anonymous on Wed, 01/28/2015 - 1:24pm
2nd International Workshop about Sets and Tools (SETS 2015) Affiliated to FM 2015, Oslo - Norway
The workshop aims at bringing together researchers interested in set theory, especially to design tools for dealing with set theory, such as interactive or automated theorem provers, proof checkers, theories for general purpose proof tools, constraint solvers, programming languages etc. See the call for papers for more details regarding the scope of this workshop.
2015 NSF Early-Career Investigators' Workshop on Cyber-Physical Systems in Smart Cities
Seattle, WA / April 13-17, 2015
Background on CPS and Smart Cities
Cyber-physical systems (CPS) are engineered systems that are built from, and depend upon, the seamless integration of computational algorithms and physical components.
Submitted by Anonymous on Mon, 01/19/2015 - 12:58pm
2nd International Workshop on Safety and Formal Methods
Overview
The SaFoMe workshop aims at providing a forum for people from academia and industry to communicate their latest results on theoretical advances, industrial case studies, and lessons learned in the application of formal methods to safety certification, verification and/or validation in (but not limited to) component-based systems.
