Formal methods in computer science and knowledge modelling
Pascale Le Gall
THE 31ST IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS IFIP-ICTSS 2019 will take place in Paris, France on October 15-17, 2019. Please, find further information on ICTSS and its policies on the website of ICTSS Conference Series.
The call for papers is availablehereand the deadline for submission of abstract isSunday, May 12, 2019 (AoE).
More details on the conference can be found on thewebsite