The submission period has ended.
DyProSo2015 will feature invited talks, contributed talks and posters.
The speakers are encouraged to present their latest results and discuss open problems, and they are asked to include a tutorial introduction for non specialists.