{"id":361,"date":"2018-07-23T10:18:40","date_gmt":"2018-07-23T10:18:40","guid":{"rendered":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=361"},"modified":"2020-12-16T17:50:21","modified_gmt":"2020-12-16T17:50:21","slug":"doctoral-symposium","status":"publish","type":"page","link":"http:\/\/formalmethods2019.inesctec.pt\/doctoral-symposium\/","title":{"rendered":"Doctoral Symposium"},"content":{"rendered":"<p>\u27a1\ufe0f <strong>RESEARCH ABSTRACTS ON-LINE <\/strong>&#8211; please see below. \u2b05\ufe0f<\/p>\n<p>\u27a1\ufe0f <strong>FINAL PROGRAM <\/strong>&#8211; please visit <a href=\"https:\/\/easychair.org\/smart-program\/DSFM'19\/\">DS@FM&#8217;19<\/a> at Easychair. \u2b05\ufe0f<\/p>\n<p>\u27a1\ufe0f <strong>REGISTRATION<\/strong>\u00a0 &#8211; please visit the <a href=\"http:\/\/formalmethods2019.inesctec.pt\/?page_id=2221#\">Call for Participation<\/a> page. \u2b05\ufe0f<\/p>\n<p>\u27a1\ufe0f <strong>Scholarships:<\/strong> <em>there is a limited number of scholarships available for PhD students wishing to attend the Doctoral Symposium (<strong>DS<\/strong>). PhD students wishing to apply should not register immediately. Instead, an email (application letter) should be sent to the <strong>DS<\/strong> chairs including a support letter by the supervisors.<\/em> \u2b05\ufe0f<\/p>\n<p>A <strong>Doctoral Symposium<\/strong> <a href=\"http:\/\/www.fmeurope.org\/\"><img loading=\"lazy\" class=\"alignright wp-image-560\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/07\/fme.png\" alt=\"\" width=\"97\" height=\"108\" \/><\/a>will be held on the <a href=\"http:\/\/formalmethods2019.inesctec.pt\/?page_id=200\"><strong>7th Octobe<\/strong>r<\/a> in conjunction with the 23rd International Symposium on Formal Methods and <a href=\"http:\/\/formalmethods2019.inesctec.pt\">3rd World Congress<\/a> on Formal Methods which will take place in Porto, Portugal, from <a href=\"http:\/\/formalmethods2019.inesctec.pt\/?page_id=200\">7 to 11 October 2019.<\/a><\/p>\n<h4>Doctoral Symposium Chairs<\/h4>\n<ul>\n<li><a href=\"http:\/\/www.alexandrasilva.org\">Alexandra Silva<\/a>, University College London<\/li>\n<li><a href=\"https:\/\/ciencias.ulisboa.pt\/pt\/perfil\/malopes\">Ant\u00f3nia Lopes<\/a>, Faculty of Science, University of Lisbon<\/li>\n<\/ul>\n<h4>Goals and Scope<\/h4>\n<p>This symposium aims to provide a helpful environment in which selected PhD students can present and discuss their ongoing work, meet other students working on similar topics, and receive helpful advice and feedback from a panel of researchers and academics.<\/p>\n<p>If you are a PhD student researching any topic that falls within the area of formal methods, you are warmly invited to submit a <em>Research Abstract<\/em> for consideration to be selected as a participant.<\/p>\n<p>There will be a best presentation award. Scholarships for attendance will also be available.<\/p>\n<h4>Invited Speaker<\/h4>\n<table border=\"0\" cellspacing=\"10\" align=\"left\">\n<tbody>\n<tr>\n<td style=\"vertical-align: text-top;\"><strong>Sung-Shik Jongmans<\/strong><br \/>\n<a href=\"https:\/\/sungshik.github.io\/\"><img class=\"alignleft\" style=\"padding-top: 5px;\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/06\/sung.png\" alt=\"\" width=\"125\" \/> <\/a>Sung-Shik Jongmans is assistant professor at Open University of the Netherlands and researcher in the Formal Methods group at Centrum Wiskunde &amp; Informatica (CWI), Amsterdam. He has a PhD degree from Leiden University (2016) and was visiting researcher at Imperial College London (2017-2019). His research interests include concurrency and programming languages; at the intersection of theory and practice, he currently works on design and implementation of DSL techniques for code generation, optimization, and verification of synchronization and communication protocols.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h4>Accepted Papers<\/h4>\n<p>Please tap the titles to obtain the research abstracts.<br \/>\n\n<table id=\"tablepress-78\" class=\"tablepress tablepress-id-78\">\n<thead>\n<tr class=\"row-1 odd\">\n\t<th class=\"column-1\"><strong >Title<\/strong><\/th><th class=\"column-2\"><strong >Author(s)<\/strong><\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"row-hover\">\n<tr class=\"row-2 even\">\n\t<td class=\"column-1\"><a target=\"_blank\" href=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/09\/DSFM19_paper_5.pdf\" rel=\"noopener\">Blockmania QED.<\/a><\/td><td class=\"column-2\">Maria A Schett<\/td>\n<\/tr>\n<tr class=\"row-3 odd\">\n\t<td class=\"column-1\"><a target=\"_blank\" href=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/09\/DSFM19_paper_6.pdf\" rel=\"noopener\">Data Types in Logic Programming<\/a><\/td><td class=\"column-2\">Jo\u00e3o Barbosa<\/td>\n<\/tr>\n<tr class=\"row-4 even\">\n\t<td class=\"column-1\"><a target=\"_blank\" href=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/09\/DSFM19_paper_10.pdf\" rel=\"noopener\">Delayed Hybrid Systems<\/a><\/td><td class=\"column-2\">Erzana Berani Abdelwahab<\/td>\n<\/tr>\n<tr class=\"row-5 odd\">\n\t<td class=\"column-1\"><a target=\"_blank\" href=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/09\/DSFM19_paper_4.pdf\" rel=\"noopener\">Discrete Polymorphism with Gradual Typing<\/a><\/td><td class=\"column-2\">Pedro Jorge Fernandes \u00c2ngelo<\/td>\n<\/tr>\n<tr class=\"row-6 even\">\n\t<td class=\"column-1\"><a target=\"_blank\" href=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/09\/DSFM19_paper_8.pdf\" rel=\"noopener\">Formal Verification of Autonomous Driving Systems<\/a><\/td><td class=\"column-2\">Yuvaraj Selvaraj<\/td>\n<\/tr>\n<tr class=\"row-7 odd\">\n\t<td class=\"column-1\"><a target=\"_blank\" href=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/09\/DSFM19_paper_13.pdf\" rel=\"noopener\">Passlab: A Password Security Tool for the Blue Team<\/a><\/td><td class=\"column-2\">Saul Johnson<\/td>\n<\/tr>\n<tr class=\"row-8 even\">\n\t<td class=\"column-1\"><a target=\"_blank\" href=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/09\/DSFM19_paper_2.pdf\" rel=\"noopener\">Provable cyber security for industrial control systems<\/a><\/td><td class=\"column-2\">Tomas Kulik<\/td>\n<\/tr>\n<tr class=\"row-9 odd\">\n\t<td class=\"column-1\"><a target=\"_blank\" href=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/09\/DSFM19_paper_12.pdf\" rel=\"noopener\">Robustness Verification of Support Vector Machines<\/a><\/td><td class=\"column-2\">Marco Zanella<\/td>\n<\/tr>\n<tr class=\"row-10 even\">\n\t<td class=\"column-1\"><a target=\"_blank\" href=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/09\/DSFM19_paper_3.pdf\" rel=\"noopener\">Static Analysis of Python Programs<\/a><\/td><td class=\"column-2\">Rapha\u00ebl Monat<\/td>\n<\/tr>\n<tr class=\"row-11 odd\">\n\t<td class=\"column-1\"><a target=\"_blank\" href=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/09\/DSFM19_paper_1.pdf\" rel=\"noopener\">Synthesising Monitors for Autonomous Traffic<\/a><\/td><td class=\"column-2\">Christopher Bischopink<\/td>\n<\/tr>\n<tr class=\"row-12 even\">\n\t<td class=\"column-1\">Automata-Theoretic Protocol Programming (Invited Talk)<\/td><td class=\"column-2\"><a target=\"_blank\" href=\"https:\/\/sungshik.github.io\/\" rel=\"noopener\">Sung-Shik Jongmans<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<!-- #tablepress-78 from cache --><\/p>\n<h4><\/h4>\n<h4>Research Abstracts<a href=\"https:\/\/www.springer.com\/gp\/computer-science\/lncs\"><img loading=\"lazy\" class=\"alignright wp-image-560\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/springer_lncs-300x209.png\" alt=\"\" width=\"152\" height=\"106\" srcset=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/springer_lncs-300x209.png 300w, http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/springer_lncs.png 500w\" sizes=\"(max-width: 152px) 100vw, 152px\" \/> <\/a><\/h4>\n<p>Research Abstracts should be no more than 4 pages in LNCS format. Your Research Abstract should:<\/p>\n<ul>\n<li>Outline the problem being addressed, its relevance, the solution you are working on, your research approach (such as your research method) and your expected contribution.<\/li>\n<li>Contain a very brief literature survey indicating the most important references related to:\n<ol>\n<li>the problem being addressed and\/or<\/li>\n<li>existing solutions as appropriate.<\/li>\n<\/ol>\n<\/li>\n<li>Indicate your progress to date and the current stage of research.<\/li>\n<\/ul>\n<p>The Research Abstract should be written by yourself as sole author, but should include references to any papers you have already published, including joint publications with your supervisor.<\/p>\n<h4><\/h4>\n<h4>Important Dates<\/h4>\n<ul>\n<li><em>Submission deadline<\/em>: <del>June 10, 2019<\/del> June 18, 2019<\/li>\n<li><em>Notification<\/em>: July 5th, 2019<\/li>\n<\/ul>\n<h4>How to Submit<\/h4>\n<p>Please upload a PDF version of your Research Abstract, including your name, affiliation, and email address to:<br \/>\n<a href=\"https:\/\/easychair.org\/conferences\/?conf=dsfm19\">https:\/\/easychair.org\/conferences\/?conf=dsfm19.<\/a><\/p>\n<h4>Program Committee<\/h4>\n<ul>\n<li><a href=\"http:\/\/www-users.cs.york.ac.uk\/~alcc\/\" target=\"_blank\" rel=\"noopener noreferrer\">Ana Cavalcanti<\/a> &#8211; University of York<\/li>\n<li><a href=\"https:\/\/www.csd.cs.cmu.edu\/people\/faculty\/andre-platzer\" target=\"_blank\" rel=\"noopener noreferrer\">Andr\u00e9 Platzer<\/a> &#8211; Carnegie Mellon University<\/li>\n<li><a href=\"https:\/\/stlab.dinfo.unifi.it\/fantechi\/\" target=\"_blank\" rel=\"noopener noreferrer\">Alessandro Fantechi<\/a> &#8211; Universita&#8217; degli Studi di Firenze<\/li>\n<li><a href=\"https:\/\/www.chalmers.se\/en\/staff\/Pages\/furia.aspx\" target=\"_blank\" rel=\"noopener noreferrer\">Carlo A. Furia<\/a> &#8211; Universit\u00e0 della Svizzera Italiana<\/li>\n<li><a href=\"https:\/\/www.doc.ic.ac.uk\/~da04\/\" target=\"_blank\" rel=\"noopener noreferrer\">Dalal Alrajeh<\/a> &#8211; Imperial College<\/li>\n<li><a href=\"http:\/\/einarj.at.ifi.uio.no\/\" target=\"_blank\" rel=\"noopener noreferrer\">Einar Broch Johnson<\/a> &#8211; University of Oslo<\/li>\n<li><a href=\"https:\/\/www.researchgate.net\/profile\/Elvira_Albert\" target=\"_blank\" rel=\"noopener noreferrer\">Elvira Albert<\/a> &#8211; Universidad Complutense de Madrid<\/li>\n<li><a href=\"http:\/\/wwwhome.cs.utwente.nl\/~vdpol\/\" target=\"_blank\" rel=\"noopener noreferrer\">Jaco van de Pol<\/a> &#8211; University of Twente<\/li>\n<li><a href=\"http:\/\/home.deib.polimi.it\/rossi\/\" target=\"_blank\" rel=\"noopener noreferrer\">Matteo Rossi<\/a> &#8211; Politecnico di Milano<\/li>\n<li><a href=\"http:\/\/fmt.isti.cnr.it\/~gnesi\/\" target=\"_blank\" rel=\"noopener noreferrer\">Stefania Gnesi<\/a> &#8211; ISTI-CNR<\/li>\n<li><a href=\"https:\/\/members.loria.fr\/SMerz\/\" target=\"_blank\" rel=\"noopener noreferrer\">Stephan Merz<\/a> &#8211; INRIA Nancy<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>\u27a1\ufe0f RESEARCH ABSTRACTS ON-LINE &#8211; please see below. \u2b05\ufe0f \u27a1\ufe0f FINAL PROGRAM &#8211; please visit DS@FM&#8217;19 at Easychair. \u2b05\ufe0f \u27a1\ufe0f REGISTRATION\u00a0 &#8211; please visit the Call for Participation page. \u2b05\ufe0f &#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/361"}],"collection":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/comments?post=361"}],"version-history":[{"count":38,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/361\/revisions"}],"predecessor-version":[{"id":3866,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/361\/revisions\/3866"}],"wp:attachment":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/media?parent=361"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}