{"id":3712,"date":"2019-10-24T15:06:30","date_gmt":"2019-10-24T15:06:30","guid":{"rendered":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=3712"},"modified":"2020-01-05T12:21:16","modified_gmt":"2020-01-05T12:21:16","slug":"awards","status":"publish","type":"page","link":"http:\/\/formalmethods2019.inesctec.pt\/awards\/","title":{"rendered":"Awards"},"content":{"rendered":"

Peter Lucas Award | FM 2019 <\/strong><\/h4>\n

Paul F. Syverson e Stuart G. Stubblebine<\/strong><\/p>\n

Group Principals and the Formalisation of Anonymity<\/p>\n\n\n

\"\"<\/figure>\n\n\n

FME Fellowship Award | FM 2019<\/strong><\/h4>\n

Jos\u00e9 Meseguer<\/strong><\/p>\n

Designing Systems in Rewriting Logic: The Power of the Thought Experiment<\/p>\n\n\n

\"\"<\/figure>\n\n\n

Best Theory Paper Award | FM 2019<\/strong><\/h4>\n

Hans-Peter Deifel, Stefan Milius,  Lutz Schr\u00f6der and Thorsten Wi\u00dfmann<\/strong><\/p>\n

Generic Partition Refinement and Weighted Tree Automata<\/p>\n\n\n

\"\"<\/figure>\n\n\n

Best Tool Paper Award | FM 2019<\/strong><\/h4>\n

Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell and Andr\u00e9 Platzer<\/strong><\/p>\n

Pegasus: A Framework for Sound Continuous Invariant Generation<\/p>\n\n\n

\"\"<\/figure>\n\n\n

Radhia Cousot Young Researcher Award | SAS 2019<\/strong><\/h4>\n

Anna Becchi<\/strong><\/p>\n

Revisiting Polyhedral Analysis for Hibrid Systems<\/p>\n

Yuxiang Lei<\/strong><\/p>\n

Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis<\/p>\n\n\n

  • \"\"<\/figure><\/li>
  • \"\"<\/figure><\/li><\/ul>\n\n\n

    Best Paper Award | RV 2019<\/strong><\/h4>\n

    Dejan Nickovic, Xin Qin, Thomas Ferr\u00e8re, Cristinel Mateis and Jyotirmoy Deshmukh<\/strong><\/p>\n

    Shape Expressions for Specifying and Extracting Signal Features<\/p>\n\n\n

    \"\"<\/figure>\n\n\n

    Test of Time Award |  RV 2019<\/strong><\/h4>\n

    Moonzoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky and Mahesh Viswanathan<\/strong><\/p>\n

    Java-MaC: A Run-time Assurance Tool for Java Programs<\/p>\n\n\n

    \"\"<\/figure>\n\n\n

    Best Presentation Award | Doctoral Symposium
    <\/span><\/em><\/strong><\/h4>\n

    Erzana Beran Abdelwahab and Pedro Jorge \u00c2ngelo <\/strong>(ex aequo)<\/em> <\/span>
    <\/strong><\/p>\n

    Delayed Hybrid Systems’ and ‘Discrete Polymorphism with Gradual Typing<\/p>\n\n\n

    \"\"<\/figure>\n\n\n

    Best Paper Award | LOPSTR 2019<\/strong><\/h4>\n

    Patrick Cousot<\/strong><\/p>\n

    On Fixpoint\/Iteration\/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics<\/p>\n\n\n

    \"\"<\/figure>\n","protected":false},"excerpt":{"rendered":"

    Peter Lucas Award | FM 2019 Paul F. Syverson e Stuart G. Stubblebine Group Principals and the Formalisation of Anonymity FME Fellowship Award | FM 2019 Jos\u00e9 Meseguer Designing Systems …<\/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\/3712"}],"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=3712"}],"version-history":[{"count":2,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/3712\/revisions"}],"predecessor-version":[{"id":3789,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/3712\/revisions\/3789"}],"wp:attachment":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/media?parent=3712"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}