Programme

ETMF 2017: tutorials, short courses and technical sessions from 27th of November to 28th of November, 2017 (official language: Portuguese)

SBMF 2017: keynote speeches and technical sessions from 29th of November to 1st of December, 2017 (official language: English)


Programme at a glance

Please notice that the program may be subject to changes.

29 November 30 November 01 December
08:30 -- 08:50 Registration Registration Registration
08:50 -- 09:00 Opening Session MOOC Divulgation Registration
09:00 -- 09:30 Keynote 01 (Patrícia Machado) Keynote 03 (Christoph Benzmüller) Keynote 04 (Ana Cavalcanti)
09:30 -- 10:00
10:00 -- 10:30
10:30 -- 11:00 Coffee Break Coffee Break Coffee Break
11:00 -- 11:30 SBMF Technical Session #1 SBMF Technical Session #3 SBMF Technical Session #5
11:30 -- 12:00
12:00 -- 12:30
12:30 -- 13:00 Lunch Break Lunch Break Closing Session
13:00 -- 13:30 Lunch Break
13:30 -- 14:00
14:00 -- 14:30
14:30 -- 15:00 SBMF Technical Session #2 SBMF Technical Session #4
15:00 -- 15:30
15:30 -- 16:00
16:00 -- 16:30 Coffee Break
16:30 -- 17:00 Coffee Break XX SBMF: Commemorative Panel
17:00 -- 17:30 Keynote 02 (Dimitra Giannakopoulou) > Future Perspectives of Formal Methods
17:30 -- 18:00 (José Fiadeiro, Thierry Lecomte, Ana Melo, Leila Ribeiro)
18:00 -- 18:30 XX SBMF: Retrospective (Leila Ribeiro)
18:30 -- 19:00
19:00 -- 19:30
19:30 -- 20:00
20:00 -- 20:30
20:30 -- 21:00 Conference Dinner
21:00 -- 21:30
21:30 -- 22:00
22:00 -- 22:30
22:30 -- 23:00
23:00 -- 23:30

Detailed programme

Please notice that the program may be subject to changes.

SBMF Technical Session #1 -- Formal Methods Integration

  • Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems.
    Farah Al-Sharee, Alexei Lisitsa and Clare Dixon. University of Liverpool.
  • From Scenarios to Timed Automata.
    Neda Saeedloei and Feliks Kluzniak. Southern Illinois University, LogicBlox.
  • Graph Grammar Extraction from Source Code.
    Lucio Mauro Duarte and Leila Ribeiro. Federal University of Rio Grande do Sul (UFRGS).

SBMF Technical Session #2 -- Model Checking

  • Encoding floating-points using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks.
    Mikhail Y. R. Gadelha, Lucas C. Cordeiro and Denis A. Nicole. University of Southampton, University of Oxford.
  • Local Analysis of Determinism for CSP.
    Rodrigo Otoni, Ana Cavalcanti and Augusto Sampaio. Federal University of Pernambuco (UFPE), University of York.
  • OptCE: A Counterexample-Guided Inductive Optimization Solver.
    Higo F. Albuquerque, Rodrigo F. Araújo, Iury V. Bessa, Lucas C. Cordeiro and Eddie B. de Lima Filho. Federal University of Amazonas (UFAM).
  • Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols.
    Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio V. A. Campos and Annabelle McIver. Federal University of Minas Gerais (UFMG), Macquarie University.

SBMF Technical Session #3 -- Refinement and Verification

  • A Refinement Relation for Families of Timed Automata.
    Guillermina Cledou, José Proença and Luís S. Barbosa. HASLab INESCTEC, University of Minho.
  • Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems.
    Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz and Alexander Weiss.
    TU Darmstadt, University of Lübeck.
  • Sound transpilation from binary to machine-independent code.
    Roberto Metere, Andreas Lindner and Roberto Guanciale. Newcastle University, KTH Royal Institute of Technology.

SBMF Technical Session #4 -- Verification and Experience Reports

  • Using Linear Logic to Verify Requirement Scenarios in Composite Web Service.
    Kênia Santos de Oliveira and Stéphane Julia. Federal University of Uberlândia (UFU).
  • Checking static properties using conservative SAT approximations for reachability.
    Pedro Antonino, Thomas Gibson-Robinson and A. W. Roscoe. University of Oxford.
  • Applying a Formal Method in Industry: a 25-Year Trajectory.
    Thierry Lecomte, David Deharbe, Etienne Prun and Erwan Mottin. ClearSy.

SBMF Technical Session #5 -- Semantics and Languages

  • UTCP: compositional semantics for shared-variable concurrency.
    Andrew Butterfield. Trinity College Dublin.
  • On Kleene Algebras for weighted computation.
    Leandro Gomes, Alexandre Madeira and Luís S. Barbosa. HASLab INESCTEC, University of Minho.
  • Capturing Stochastic and Real-Time Behavior in Reo Connectors.
    Yi Li, Xiyue Zhang, Yuanyi Ji and Meng Sun. Peking University