Call for Papers


The integrated Formal Methods conference offers as a satellite event a PhD Symposium. Last year we had a very interesting program, including an invited industrial talk, presentations by PhD students, and feedback to the talks and personal mentoring of the participants by senior researchers. This year we plan to organize it in the same style, and we are happy that Grant Olney Passmore agreed to give an invited talk!

If you would like to attend, just submit a short description of your PhD topic or any scientific work you have done and which you would like to present. For more information, click on the link below.


External Links