{"id":136,"date":"2018-07-11T16:21:31","date_gmt":"2018-07-11T16:21:31","guid":{"rendered":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=136"},"modified":"2020-12-16T17:48:43","modified_gmt":"2020-12-16T17:48:43","slug":"program-committee","status":"publish","type":"page","link":"http:\/\/formalmethods2019.inesctec.pt\/committees\/program-committee\/","title":{"rendered":"FM 2019 Program Committee"},"content":{"rendered":"<h4>Program Committee Chairs<\/h4>\n<ul>\n<li><a href=\"https:\/\/research.science.mq.edu.au\/verification-lab\/our-people\/\">Annabelle McIver<\/a>, Macquarie University<\/li>\n<li><a href=\"http:\/\/fmt.isti.cnr.it\/~mtbeek\/\">Maurice ter Beek<\/a>, Istituto di Scienza e Tecnologie dell&#8217;Informazione<\/li>\n<\/ul>\n<h4><\/h4>\n<h4>Program Committee Members<\/h4>\n<table>\n<tbody>\n<tr>\n<td><a href=\"http:\/\/aichernig.blogspot.pt\/\" target=\"top\" rel=\"noopener noreferrer\">Bernhard Aichernig<\/a><\/td>\n<td>TU Graz<\/td>\n<td>Austria<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/au-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.researchgate.net\/profile\/Elvira_Albert\" target=\"top\" rel=\"noopener noreferrer\">Elvira Albert<\/a><\/td>\n<td>Complutense University of Madrid<\/td>\n<td>Spain<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/sp-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/users.dsic.upv.es\/grupos\/elp\/alpuente.html\" target=\"top\" rel=\"noopener noreferrer\">Mar\u00eda Alpuente<\/a><\/td>\n<td>Polytechnic University of Valencia<\/td>\n<td>Spain<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/sp-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.doc.ic.ac.uk\/~da04\/\" target=\"top\" rel=\"noopener noreferrer\">Dalal Alrajeh<\/a><\/td>\n<td>Imperial College<\/td>\n<td>UK<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/en_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.dcc.ufmg.br\/~msalvim\" target=\"top\" rel=\"noopener noreferrer\">M\u00e1rio S. Alvim<\/a><\/td>\n<td>Federal University of Minas Gerais<\/td>\n<td>Brasil<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/br-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/ts.data61.csiro.au\/people\/?cn=June+Andronick\" target=\"top\" rel=\"noopener noreferrer\">June Andronick<\/a><\/td>\n<td>CSIRO\/Data61<\/td>\n<td>Australia<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/as-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/wwwtcs.inf.tu-dresden.de\/~baier\/\" target=\"top\" rel=\"noopener noreferrer\">Christel Baier<\/a><\/td>\n<td>TU Dresden<\/td>\n<td>Germany<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/de-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.di.uminho.pt\/~lsb\" target=\"top\" rel=\"noopener noreferrer\">Lu\u00eds Barbosa<\/a><\/td>\n<td>University of Minho and UN University<\/td>\n<td>Portugal<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/po-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/software.imdea.org\/~gbarthe\" target=\"top\" rel=\"noopener noreferrer\">Gilles Barthe<\/a><\/td>\n<td>IMDEA Software Institute<\/td>\n<td>Spain<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/sp-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/sites.google.com\/site\/marcellombersani\/\" target=\"top\" rel=\"noopener noreferrer\">Marcello Bersani<\/a><\/td>\n<td>Polytechnic University of Milan<\/td>\n<td>Italy<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/italy-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.fing.edu.uy\/~gustun\/\" target=\"top\" rel=\"noopener noreferrer\">Gustavo Betarte<\/a><\/td>\n<td>Tilsor SA and University of the Republic<\/td>\n<td>Uruguay<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/uruguay-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/research.microsoft.com\/~nbjorner\" target=\"top\" rel=\"noopener noreferrer\">Nikolaj Bj\u00f8rner<\/a><\/td>\n<td>Microsoft Research<\/td>\n<td>USA<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/us-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/homepages.cwi.nl\/~frb\/\" target=\"top\" rel=\"noopener noreferrer\">Frank de Boer<\/a><\/td>\n<td>CWI<\/td>\n<td>Netherlands<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/netherlands-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/cecs.anu.edu.au\/people\/sergiy-bogomolov\" target=\"top\" rel=\"noopener noreferrer\">Sergiy Bogomolov<\/a><\/td>\n<td>Australian National University<\/td>\n<td>Australia<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/as-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.onera.fr\/en\/staff\/julien-brunel\" target=\"top\" rel=\"noopener noreferrer\">Julien Brunel<\/a><\/td>\n<td>ONERA<\/td>\n<td>France<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/fr_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/dblp.org\/pers\/hd\/c\/Cata=ntilde=o:N=eacute=stor\" target=\"top\" rel=\"noopener noreferrer\">N\u00e9stor Cata\u00f1o<\/a><\/td>\n<td>Universidad del Norte<\/td>\n<td>Colombia<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/colombia-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www-users.cs.york.ac.uk\/~alcc\/\" target=\"top\" rel=\"noopener noreferrer\">Ana Cavalcanti<\/a><\/td>\n<td>University of York<\/td>\n<td>UK<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/en_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/sst.nu.edu.kz\/en\/antonio-cerone\/\" target=\"top\" rel=\"noopener noreferrer\">Antonio Cerone<\/a><\/td>\n<td>Nazarbayev University<\/td>\n<td>Kazakhstan<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/kaza.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.cs.toronto.edu\/~chechik\/\" target=\"top\" rel=\"noopener noreferrer\">Marsha Chechik<\/a><\/td>\n<td>University of Toronto<\/td>\n<td>Canada<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/ca-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.onera.fr\/en\/staff\/david-chemouil\" target=\"top\" rel=\"noopener noreferrer\">David Chemouil<\/a><\/td>\n<td>ONERA<\/td>\n<td>France<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/fr_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/es-static.fbk.eu\/people\/cimatti\/\" target=\"top\" rel=\"noopener noreferrer\">Alessandro Cimatti<\/a><\/td>\n<td>FBK-IRST<\/td>\n<td>Italy<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/italy-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.di.uminho.pt\/~alcino\" target=\"top\" rel=\"noopener noreferrer\">Alcino Cunha<\/a><\/td>\n<td>University of Minho &amp; INESC TEC<\/td>\n<td>Portugal<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/po-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.linkedin.com\/in\/michael-dierkes-07b1592\/?originalSubdomain=fr\" target=\"top\" rel=\"noopener noreferrer\">Michael Dierkes<\/a><\/td>\n<td>Collins Aerospace<\/td>\n<td>France<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/fr_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/stlab.dinfo.unifi.it\/fantechi\/\" target=\"top\" rel=\"noopener noreferrer\">Alessandro Fantechi<\/a><\/td>\n<td>University of Florence<\/td>\n<td>Italy<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/italy-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www-ctp.di.fct.unl.pt\/~cf\/\" target=\"top\" rel=\"noopener noreferrer\">Carla Ferreira<\/a><\/td>\n<td>New University of Lisbon<\/td>\n<td>Portugal<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/po-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/joaoff.com\" target=\"top\" rel=\"noopener noreferrer\">Jo\u00e3o Ferreira<\/a><\/td>\n<td>Teesside University<\/td>\n<td>UK<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/en_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/pure.royalholloway.ac.uk\/portal\/en\/persons\/jose-luiz-fiadeiro(c4ed8fbc-8d78-49af-b591-11638132ab3a).html\" target=\"top\" rel=\"noopener noreferrer\">Jos\u00e9 Fiadeiro<\/a><\/td>\n<td>Royal Holloway University of London<\/td>\n<td>UK<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/en_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www-2.dc.uba.ar\/profesores\/mfrias\/\" target=\"top\" rel=\"noopener noreferrer\">Marcelo Frias<\/a><\/td>\n<td>Buenos Aires Institute of Technology<\/td>\n<td>Argentina<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/ar-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/ece.ut.ac.ir\/en\/~fghassemi\" target=\"top\" rel=\"noopener noreferrer\">Fatemeh Ghassemi<\/a><\/td>\n<td>University of Tehran<\/td>\n<td>Iran<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/iran-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/imft.ftn.uns.ac.rs\/~silvia\/Main\" target=\"top\" rel=\"noopener noreferrer\">Silvia Ghilezan<\/a><\/td>\n<td>University of Novi Sad<\/td>\n<td>Serbia<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/rs.png\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/fmt.isti.cnr.it\/~gnesi\/\" target=\"top\" rel=\"noopener noreferrer\">Stefania Gnesi<\/a><\/td>\n<td>ISTI-CNR<\/td>\n<td>Italy<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/italy-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/ohasan.seecs.nust.edu.pk\/\" target=\"top\" rel=\"noopener noreferrer\">Osman Hasan<\/a><\/td>\n<td>National University of Sciences and Technology<\/td>\n<td>Pakistan<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/pakistan.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.havelund.com\/research.html\" target=\"top\" rel=\"noopener noreferrer\">Klaus Havelund<\/a><\/td>\n<td>NASA Jet Propulsion Laboratory<\/td>\n<td>USA<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/us-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.imm.dtu.dk\/~aeha\/\" target=\"top\" rel=\"noopener noreferrer\">Anne Haxthausen<\/a><\/td>\n<td>TU Denmark<\/td>\n<td>Denmark<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/denmark_flag-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.itee.uq.edu.au\/~ianh\/\" target=\"top\" rel=\"noopener noreferrer\">Ian Hayes<\/a><\/td>\n<td>University of Queensland<\/td>\n<td>Australia<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/as-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.linkedin.com\/in\/connie-heitmeyer-5b526b\/\" target=\"top\" rel=\"noopener noreferrer\">Constance Heitmeyer<\/a><\/td>\n<td>Naval Research Laboratory<\/td>\n<td>USA<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/us-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/homepages.inf.ed.ac.uk\/jeh\/\" target=\"top\" rel=\"noopener noreferrer\">Jane Hillston<\/a><\/td>\n<td>University of Edinburgh<\/td>\n<td>UK<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/en_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.ecs.soton.ac.uk\/people\/tsh2n14\" target=\"top\" rel=\"noopener noreferrer\">Thai Son Hoang<\/a><\/td>\n<td>University of Southampton<\/td>\n<td>UK<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/en_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/research.nii.ac.jp\/~hu\/\" target=\"top\" rel=\"noopener noreferrer\">Zhenjiang Hu<\/a><\/td>\n<td>National Institute of Informatics<\/td>\n<td>Japan<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/japan-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/uet.vnu.edu.vn\/~dvh\/\" target=\"top\" rel=\"noopener noreferrer\">Dang Van Hung<\/a><\/td>\n<td>Vietnam National University<\/td>\n<td>Vietnam<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/vm-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.se.informatik.tu-darmstadt.de\/de\/se\/group-members\/reiner-haehnle\/\" target=\"top\" rel=\"noopener noreferrer\">Reiner H\u00e4hnle<\/a><\/td>\n<td>TU Darmstadt<\/td>\n<td>Germany<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/de-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.fos.kuis.kyoto-u.ac.jp\/~igarashi\/index.html.en\" target=\"top\" rel=\"noopener noreferrer\">Atsushi Igarashi<\/a><\/td>\n<td>Kyoto University<\/td>\n<td>Japan<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/japan-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.cs.columbia.edu\/~suman\/\" target=\"top\" rel=\"noopener noreferrer\">Suman Jana<\/a><\/td>\n<td>Columbia University<\/td>\n<td>USA<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/us-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/scholar.google.com\/citations?user=rWJLBq8AAAAJ&amp;hl=en\" target=\"top\" rel=\"noopener noreferrer\">Ali Jaoua<\/a><\/td>\n<td>Qatar University<\/td>\n<td>Qatar<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/qatar-f.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/einarj.at.ifi.uio.no\/\" target=\"top\" rel=\"noopener noreferrer\">Einar Broch Johnsen<\/a><\/td>\n<td>University of Oslo<\/td>\n<td>Norway<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/norway-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www-i2.informatik.rwth-aachen.de\/~katoen\/\" target=\"top\" rel=\"noopener noreferrer\">Joost-Pieter Katoen<\/a><\/td>\n<td>RWTH Aachen University<\/td>\n<td>Germany<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/de-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/forsyte.at\/people\/kovacs\/\" target=\"top\" rel=\"noopener noreferrer\">Laura Kov\u00e1cs<\/a><\/td>\n<td>TU Vienna<\/td>\n<td>Austria<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/au-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.imm.dtu.dk\/~albl\" target=\"top\" rel=\"noopener noreferrer\">Alberto Lluch Lafuente<\/a><\/td>\n<td>TU Denmark<\/td>\n<td>Denmark<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/denmark_flag-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.montefiore.ulg.ac.be\/~legay\" target=\"top\" rel=\"noopener noreferrer\">Axel Legay<\/a><\/td>\n<td>KU Leuven<\/td>\n<td>Belgium<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/belgium-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/wwwfr.uni.lu\/snt\/people\/gabriele_lenzini\" target=\"top\" rel=\"noopener noreferrer\">Gabriele Lenzini<\/a><\/td>\n<td>University of Luxembourg<\/td>\n<td>Luxemburg<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/luxembourg_flag-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.ntu.edu.sg\/home\/yangliu\/\" target=\"top\" rel=\"noopener noreferrer\">Yang Liu<\/a><\/td>\n<td>Nanyang Technical University<\/td>\n<td>Singapore<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/singapore-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.es.tu-darmstadt.de\/es\/team\/malte-lochau\/\" target=\"top\" rel=\"noopener noreferrer\">Malte Lochau<\/a><\/td>\n<td>TU Darmstadt<\/td>\n<td>Germany<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/de-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.linkedin.com\/in\/michele-loreti-262a394\/?locale=de_DE\" target=\"top\" rel=\"noopener noreferrer\">Michele Loreti<\/a><\/td>\n<td>University of Camerino<\/td>\n<td>Italy<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/italy-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/amavridou.com\/\" target=\"top\" rel=\"noopener noreferrer\">Anastasia Mavridou<\/a><\/td>\n<td>NASA Ames<\/td>\n<td>USA<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/us-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/lafhis.dc.uba.ar\/en\/~melgratti\" target=\"top\" rel=\"noopener noreferrer\">Hern\u00e1n Melgratti<\/a><\/td>\n<td>University of Buenos Aires<\/td>\n<td>Argentina<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/ar-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/scholar.google.com\/citations?user=R8O-iusAAAAJ&amp;hl=en\" target=\"top\" rel=\"noopener noreferrer\">Sun Meng<\/a><\/td>\n<td>Peking University<\/td>\n<td>China<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/ch-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.maynoothuniversity.ie\/people\/rosemary-monahan\" target=\"top\" rel=\"noopener noreferrer\">Rosemary Monahan<\/a><\/td>\n<td>Maynooth University<\/td>\n<td>Ireland<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/ireland-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.researchgate.net\/profile\/Olfa_Mosbahi\" target=\"top\" rel=\"noopener noreferrer\">Olfa Mosbahi<\/a><\/td>\n<td>University of Carthage<\/td>\n<td>Tunisia<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/tunisia-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www2.le.ac.uk\/departments\/informatics\/people\/mohammad-mousavi\" target=\"top\" rel=\"noopener noreferrer\">Mohammad Mousavi<\/a><\/td>\n<td>University of Leicester<\/td>\n<td>UK<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/en_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/shemesh.larc.nasa.gov\/people\/cam\" target=\"top\" rel=\"noopener noreferrer\">C\u00e9sar Mu\u00f1oz<\/a><\/td>\n<td>NASA Langley<\/td>\n<td>USA<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/us-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.loria.fr\/~mery\/\" target=\"top\" rel=\"noopener noreferrer\">Dominique M\u00e9ry<\/a><\/td>\n<td>LORIA and University of Lorraine<\/td>\n<td>France<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/fr_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/cs.brown.edu\/people\/tbn\/\" target=\"top\" rel=\"noopener noreferrer\">Tim Nelson<\/a><\/td>\n<td>Brown University<\/td>\n<td>USA<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/us-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.dcs.gla.ac.uk\/~gethin\/\" target=\"top\" rel=\"noopener noreferrer\">Gethin Norman<\/a><\/td>\n<td>University of Glasgow<\/td>\n<td>UK<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/en_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.linkedin.com\/in\/colin-o-halloran-9887975\/?originalSubdomain=uk\" target=\"top\" rel=\"noopener noreferrer\">Colin O&#8217;Halloran<\/a><\/td>\n<td>D-RisQ Software Systems<\/td>\n<td>UK<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/en_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/users.dcc.uchile.cl\/~folmedo\" target=\"top\" rel=\"noopener noreferrer\">Federico Olmedo<\/a><\/td>\n<td>University of Chile<\/td>\n<td>Chile<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/chile-f.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.um.edu.mt\/ict\/cs\/staff\/Prof.GordonPace\" target=\"top\" rel=\"noopener noreferrer\">Gordon Pace<\/a><\/td>\n<td>University of Malta<\/td>\n<td>Malta<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/malta.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.informatik.uni-bremen.de\/agbs\/jp\/\" target=\"top\" rel=\"noopener noreferrer\">Jan Peleska<\/a><\/td>\n<td>University of Bremen<\/td>\n<td>Germany<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/de-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.researchgate.net\/profile\/Marielle_Doche-Petit\" target=\"top\" rel=\"noopener noreferrer\">Marielle Petit-Doche<\/a><\/td>\n<td>Systerel<\/td>\n<td>France<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/fr_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.crim.ca\/en\/researchers-directory\/alexandre-petrenko\" target=\"top\" rel=\"noopener noreferrer\">Alexandre Petrenko<\/a><\/td>\n<td>Computer Research Institute of Montr\u00e9al<\/td>\n<td>Canada<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/ca-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.cs.ucy.ac.cy\/~annap\/\" target=\"top\" rel=\"noopener noreferrer\">Anna Philippou<\/a><\/td>\n<td>University of Cyprus<\/td>\n<td>Cyprus<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/cy.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.di.uminho.pt\/~jsp\" target=\"top\" rel=\"noopener noreferrer\">Jorge Sousa Pinto<\/a><\/td>\n<td>University of Minho &amp; INESC TEC<\/td>\n<td>Portugal<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/po-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.csd.cs.cmu.edu\/people\/faculty\/andre-platzer\" target=\"top\" rel=\"noopener noreferrer\">Andr\u00e9 Platzer<\/a><\/td>\n<td>Carnegie Mellon University<\/td>\n<td>USA<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/us-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/wwwhome.cs.utwente.nl\/~vdpol\/\" target=\"top\" rel=\"noopener noreferrer\">Jaco van de Pol<\/a><\/td>\n<td>University of Twente<\/td>\n<td>Netherlands<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/netherlands-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/researchers.mq.edu.au\/en\/persons\/tahiry-rabehaja\" target=\"top\" rel=\"noopener noreferrer\">Tahiry Rabehaja<\/a><\/td>\n<td>Macquarie University<\/td>\n<td>Australia<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/as-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.cms.waikato.ac.nz\/people\/stever\" target=\"top\" rel=\"noopener noreferrer\">Steve Reeves<\/a><\/td>\n<td>University of Waikato<\/td>\n<td>New Zealand<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/new_zealand-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/home.deib.polimi.it\/rossi\/\" target=\"top\" rel=\"noopener noreferrer\">Matteo Rossi<\/a><\/td>\n<td>Polytechnic University of Milan<\/td>\n<td>Italy<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/italy-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.di.ufpe.br\/~acas\/\" target=\"top\" rel=\"noopener noreferrer\">Augusto Sampaio<\/a><\/td>\n<td>Federal University of Pernambuco<\/td>\n<td>Brasil<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/br-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.cse.chalmers.se\/~gersch\" target=\"top\" rel=\"noopener noreferrer\">Gerardo Schneider<\/a><\/td>\n<td>Chalmers University of Gothenburg<\/td>\n<td>Sweden<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/sweden-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.linkedin.com\/in\/daniel-schwartz-narbonne-5036b9137\/\" target=\"top\" rel=\"noopener noreferrer\">Daniel Schwartz-Narbonne<\/a><\/td>\n<td>Amazon Web Services<\/td>\n<td>USA<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/us-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.inf.usi.ch\/faculty\/sharygina\/\" target=\"top\" rel=\"noopener noreferrer\">Natasha Sharygina<\/a><\/td>\n<td>University of Lugano<\/td>\n<td>Switzerland<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/switzerland-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/university.innopolis.ru\/en\/about\/teaching-composition\/nikolay-shilov\/\" target=\"top\" rel=\"noopener noreferrer\">Nikolay Shilov <\/a><\/td>\n<td>Innopolis University<\/td>\n<td>Russia<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/rs-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.cs.uni-salzburg.at\/~anas\" target=\"top\" rel=\"noopener noreferrer\">Ana Sokolova<\/a><\/td>\n<td>University of Salzburg<\/td>\n<td>Austria<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/au-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/wwwhome.cs.utwente.nl\/~marielle\/\" target=\"top\" rel=\"noopener noreferrer\">Marielle Stoelinga<\/a><\/td>\n<td>University of Twente<\/td>\n<td>Netherlands<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/netherlands-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/people.sutd.edu.sg\/~sunjun\/\" target=\"top\" rel=\"noopener noreferrer\">Jun Sun<\/a><\/td>\n<td>Singapore University of Technology and Design<\/td>\n<td>Singapore<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/singapore-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.surrey.ac.uk\/people\/helen-treharne\" target=\"top\" rel=\"noopener noreferrer\">Helen Treharne<\/a><\/td>\n<td>University of Surrey<\/td>\n<td>UK<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/en_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/users.abo.fi\/Elena.Troubitsyna\/\" target=\"top\" rel=\"noopener noreferrer\">Elena Troubitsyna<\/a><\/td>\n<td>\u00c5bo Akademi University<\/td>\n<td>Finland<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/fi-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.ru.is\/haskolinn\/starfsfolk\/tarmo\" target=\"top\" rel=\"noopener noreferrer\">Tarmo Uustalu<\/a><\/td>\n<td>Reykjavik University<\/td>\n<td>Iceland<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/ic-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/people.compute.dtu.dk\/anvan\/\" target=\"top\" rel=\"noopener noreferrer\">Andrea Vandin<\/a><\/td>\n<td>TU Denmark<\/td>\n<td>Denmark<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/denmark_flag-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/twitter.com\/i4CIndia\/status\/824222601589432320\" target=\"top\" rel=\"noopener noreferrer\">R. Venkatesh<\/a><\/td>\n<td>TCS Research<\/td>\n<td>India<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/in-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.win.tue.nl\/~evink\" target=\"top\" rel=\"noopener noreferrer\">Erik de Vink<\/a><\/td>\n<td>TU Eindhoven and CWI<\/td>\n<td>Netherlands<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/netherlands-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.cs.sun.ac.za\/~wvisser\" target=\"top\" rel=\"noopener noreferrer\">Willem Visser<\/a><\/td>\n<td>Stellenbosch University<\/td>\n<td>South Africa<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/sf-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/cc.ee.ntu.edu.tw\/~farn\/\" target=\"top\" rel=\"noopener noreferrer\">Farn Wang<\/a><\/td>\n<td>National Taiwan University<\/td>\n<td>Taiwan<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/taiwan-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/suinformatics.com\/staff\/\" target=\"top\" rel=\"noopener noreferrer\">Bruce Watson<\/a><\/td>\n<td>Stellenbosch University<\/td>\n<td>South Africa<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/sf-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.win.tue.nl\/~timw\/index.php\" target=\"top\" rel=\"noopener noreferrer\">Tim Willemse<\/a><\/td>\n<td>TU Eindhoven<\/td>\n<td>Netherlands<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/netherlands-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/staff.itee.uq.edu.au\/kirsten\" target=\"top\" rel=\"noopener noreferrer\">Kirsten Winter<\/a><\/td>\n<td>University of Queensland<\/td>\n<td>Australia<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/as-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www-users.cs.york.ac.uk\/~jim\/\" target=\"top\" rel=\"noopener noreferrer\">Jim Woodcock<\/a><\/td>\n<td>University of York<\/td>\n<td>UK<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/en_lang.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/iscasmc.ios.ac.cn\/?page_id=148\" target=\"top\" rel=\"noopener noreferrer\">Lijun Zhang<\/a><\/td>\n<td>Chinese Academy of Sciences<\/td>\n<td>China<\/td>\n<td><img loading=\"lazy\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/ch-t.jpg\" width=\"30\" height=\"15\"><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"<p>Program Committee Chairs Annabelle McIver, Macquarie University Maurice ter Beek, Istituto di Scienza e Tecnologie dell&#8217;Informazione Program Committee Members Bernhard Aichernig TU Graz Austria Elvira Albert Complutense University of Madrid &#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":97,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/136"}],"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=136"}],"version-history":[{"count":49,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/136\/revisions"}],"predecessor-version":[{"id":3865,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/136\/revisions\/3865"}],"up":[{"embeddable":true,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/97"}],"wp:attachment":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/media?parent=136"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}