UFMFCN 2016 - International Workshop on the Use of Formal Methods in Future Communication Networks (UFMFCN’2016)

The development of communication networks and technologies grows in important speed. New innovations occur every day at hardware level as well as at software. New concepts are proposed and new challenges are imposed for the designers and the developers to enhance the reliability of the proposed technologies. The next generation networks are expected to touch and to influence the whole areas of our lives: such as health, energy consumption, environment transport, entertainment or education. Hence, these technologies are so critical, their design and development must be done in the correct way. The verification and validation processes must be included in the design process. The use of formal methods to verify and validate products have given many results in networking domain, however these formal methods are obliged to follow the unstopped growing technologies in a domain as communication networks, pervasive and ubiquitous computing, ambient intelligence, etc.
The aim of this workshop is the offer a space to present and discuss the latest research, at theoretical and technological levels, done in the domain of formal methods suitable for the above technologies. The workshop aims to bring together researchers from the two domains; formal methods as a theoretical field with those of communication technologies. We expect to receive papers that deal with the proposition of new formalisms dedicated to the future communication technologies as well as the application of existent formalisms and tools (Automatons, Petri nets, classical process algebra, B method, Z language, Joint calculus, Ambient calculus, ...) in the specification, verification or simulation.