We aim to organize a special session for PhD students on the use of software engineering methods, such as formal verification and functional testing, in modelling, simulation, analysis and testing applications based on P systems formalisms.
The first part of this session, planned to run in the first day of the workshop, will consist of lectures given by key speakers as well as seminars, in which research problems, case-studies and demonstrations will be presented.
The students will be working to find solutions to the problems presented in the seminars or to related issues until the last day, when the second part of this session will be dedicated to the presentation of the most significant results.

Although the orgnizers will seek to provide some financial support, the students are expected to be supported by their universities or to identify sponsors.