{"id":515,"date":"2024-04-22T19:23:35","date_gmt":"2024-04-22T19:23:35","guid":{"rendered":"https:\/\/www.fm24.polimi.it\/?page_id=515"},"modified":"2024-08-20T08:45:28","modified_gmt":"2024-08-20T08:45:28","slug":"doctoral-symposium","status":"publish","type":"page","link":"https:\/\/www.fm24.polimi.it\/?page_id=515","title":{"rendered":"Doctoral Symposium"},"content":{"rendered":"\n<p>A Doctoral Symposium will be held in conjunction with the 26th International Symposium on Formal Methods (FM 2024), 9-13 September 2024. FM 2024 is hosted by Politecnico di Milano.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\"><a href=\"https:\/\/www.easychair.org\/smart-program\/FM24\/ProgramDS.html\" data-type=\"link\" data-id=\"https:\/\/www.easychair.org\/smart-program\/FM24\/ProgramDS.html\">Program is now available!<\/a><\/h3>\n\n\n\n<h2 class=\"wp-block-heading\">Important Dates<\/h2>\n\n\n\n<figure class=\"wp-block-table is-style-stripes\"><table><tbody><tr><td>Submission Open <\/td><td>June 1st, 2024 (Sat)<\/td><td><\/td><\/tr><tr><td>Submission Deadline<\/td><td>June 17th, 2024 (Mon)<\/td><td>23:59 AoE<\/td><\/tr><tr><td>Notification<\/td><td>July 5th, 2024 (Fri)<\/td><td><\/td><\/tr><tr><td>Doctoral Symposium<\/td><td>September 10th, 2024 (Tue)<\/td><td><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\">Goals and Scope<\/h2>\n\n\n\n<p>This doctoral symposium aims to provide an engaging and informal environment where PhD students can present and discuss their ongoing work, meet other students working in formal methods, and receive feedback and advice from experienced researchers. In addition to short talks followed by open group discussions, the doctoral symposium will also provide opportunities for PhD students to meet senior academics in smaller groups to informally discuss research strategies, career aspects, or any other topic of interest.<\/p>\n\n\n\n<p>If you are a PhD student doing research related to formal methods, you are warmly invited to submit a Research Abstract for consideration. Selected submissions will earn you a spot as a participant in the Doctoral Symposium.<\/p>\n\n\n\n<p>There will be a best presentation award.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Invited Speakers<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li><a href=\"http:\/\/www0.cs.ucl.ac.uk\/staff\/b.cook\/\">Byron Cook<\/a>, Amazon and UCL<\/li>\n\n\n\n<li><a href=\"https:\/\/www.aere.iastate.edu\/kyrozier\/\">Kristin-Yvonne Rozier<\/a>, Iowa State University<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Research Abstracts<\/h2>\n\n\n\n<p>Research Abstracts should be up to 4 pages in Springer LNCS format. A Research Abstract should:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Outline the main problems addressed by your research, their relevance, and the solution you are working on \u2013 including your research approach (research method) and the expected contributions.<\/li>\n\n\n\n<li>Contain a very brief literature review indicating the most important references related to the research problem and\/or existing solutions.<\/li>\n\n\n\n<li>Indicate the current state of progress of your research.<\/li>\n<\/ul>\n\n\n\n<p>The Research Abstract should be written by yourself as sole author. It may include references to relevant papers you have already published, including joint publications with your supervisors or other collaborators.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">How to Submit<\/h2>\n\n\n\n<p>Submit your papers at <a href=\"https:\/\/easychair.org\/conferences\/?conf=fm24\">https:\/\/easychair.org\/conferences\/?conf=fm24<\/a><\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Doctoral Symposium Committee<\/h2>\n\n\n\n<figure class=\"wp-block-table is-style-stripes\"><table><tbody><tr><td><strong>Member(s)<\/strong><\/td><td><strong>Affiliation<\/strong><\/td><td><strong>Role<\/strong><\/td><\/tr><tr><td><a href=\"https:\/\/bugcounting.net\/\">Carlo A. Furia<\/a><\/td><td>USI Universit\u00e0 della Svizzera italiana, Switzerland<\/td><td>Doctoral Symposium Co-Chair<\/td><\/tr><tr><td><a href=\"https:\/\/lkovacs.com\/\">Laura Kov\u00e1cs<\/a><\/td><td>TU Wien, Austria<\/td><td>Doctoral Symposium Co-Chair<\/td><\/tr><tr><td><a href=\"https:\/\/www.maynoothuniversity.ie\/faculty-science-engineering\/our-people\/rosemary-monahan\">Rosemary Monahan<\/a><\/td><td>Maynooth University, Ireland<\/td><td>DS Committee Member<\/td><\/tr><tr><td><a href=\"https:\/\/www.uni-muenster.de\/EmbSys\/team\/herber\/\">Paula Herber<\/a><\/td><td>University of M\u00fcnster, Germany<\/td><td>DS Committee Member<\/td><\/tr><tr><td><a href=\"https:\/\/raulpardo.net\/\">Ra\u00fal Pardo<\/a><\/td><td>University of Copenhagen, Denmark<\/td><td>DS Committee Member<\/td><\/tr><tr><td><a href=\"https:\/\/www.cse.chalmers.se\/~ahrendt\/\">Wolfgang Ahrendt<\/a><\/td><td>Chalmers University of Technology, Sweden<\/td><td>DS Committee Member<\/td><\/tr><tr><td><a href=\"https:\/\/www.deib.polimi.it\/eng\/people\/details\/89782\">Marcello M. Bersani<\/a><\/td><td>Politecnico di Milano, Italy<\/td><td>DS Committee Member<\/td><\/tr><tr><td><a href=\"https:\/\/mariekehuisman.personalweb.utwente.nl\/\">Marieke Huisman<\/a><\/td><td>University of Twente, The Netherlands<\/td><td>DS Committee Member<\/td><\/tr><tr><td><a href=\"https:\/\/fm.fbk.eu\/author\/stefano-tonetta.html\">Stefano Tonetta<\/a><\/td><td>Fondazione Bruno Kessler, Italy<\/td><td>DS Committee Member<\/td><\/tr><tr><td><a href=\"https:\/\/formal.kastel.kit.edu\/ulbrich\/\">Mattias Ulbrich<\/a><\/td><td>Karlsruhe Institute of Technology, Germany<\/td><td>DS Committee Member<\/td><\/tr><tr><td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nbjorner\/\">Nikolaj Bj\u00f8rner<\/a><\/td><td>Microsoft, USA<\/td><td>DS Committee Member<\/td><\/tr><tr><td><a href=\"https:\/\/archimendes.com\/\">Alexandra Mendes<\/a><\/td><td>University of Porto, Portugal<\/td><td>DS Committee Member<\/td><\/tr><tr><td><a href=\"https:\/\/www.mn.uio.no\/ifi\/personer\/vit\/sltarifa\/\">Silvia Lizeth Tapia Tarifa<\/a><\/td><td>University of Oslo, Norway<\/td><td>DS Committee Member<\/td><\/tr><tr><td><a href=\"https:\/\/simon-robillard.net\/\">Simon Robillard<\/a><\/td><td>Universit\u00e9 de Montpellier, France<\/td><td>DS Committee Member<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>A Doctoral Symposium will be held in conjunction with the 26th International Symposium on Formal Methods (FM 2024), 9-13 September 2024. FM 2024 is hosted by Politecnico di Milano. Program is now available! Important Dates Submission Open June 1st, 2024 (Sat) Submission Deadline June 17th, 2024 (Mon) 23:59 AoE Notification July 5th, 2024 (Fri) Doctoral &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/www.fm24.polimi.it\/?page_id=515\" class=\"more-link\">Read more<span class=\"screen-reader-text\"> &#8220;Doctoral Symposium&#8221;<\/span><\/a><\/p>\n","protected":false},"author":12,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"inspiro_hide_title":false,"footnotes":""},"class_list":["post-515","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/pages\/515","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/users\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=515"}],"version-history":[{"count":9,"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/pages\/515\/revisions"}],"predecessor-version":[{"id":713,"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/pages\/515\/revisions\/713"}],"wp:attachment":[{"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=515"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}