ETAPS 2019

The European Joint Conferences on Theory and Practice of Software is the primary European forum for academic and industrial researchers working on topics relating to Software Science.

ETAPS, established in 1998, is a confederation of five main annual conferences, ESOP, FASE, FOSSACS, POST and TACAS, accompanied by 17 satellite workshops and other events including, for the first time this year, a mentoring workshop.

The conference will be be held from Saturday, April 6th to Thursday, 11th 2019 in Prague at the Charles University, for workshops, and the Orea Hotel, for the five main conferences. Travel and visa information is available from this page. The ETAPS early registration deadline is March 11, 2019.

Students

• Do you want to get involved in the conference and get free registration?
  ⇒ Apply to be a Student Volunteer!

• In need of financial assistance to come to the conference?
  ⇒ Apply for an ETAPS Student Scholarship!

• Curious about what it means to do graduate studies?
  ⇒ Apply to the first ETAPS Mentorship Workshop!

• Want to share a room with other students?
  ⇒ Use ConferenceShare or contact our housing chair!

Keynotes and Tutorials

From quadcopters to helicopters: Formal verification to eliminate exploitable bugs

Kathleen Fisher

An overview of Satisfiability Modulo Theories and its applications

Cesare Tinelli

Software Verification — An Overview of the State of the Art

Dirk Beyer

Towards Efficient and Precise Concurrent Software Analysis

Cormac Flanagan

Software Assurance in an Uncertain World

Marsha Chechik

On infinite duration games

Thomas Colcombet

Mentorship Lectures

Science and Sanity: how to do the former while retaining the later (Panel)

Stephanie Balzer, Barbora Buhnova, Juliana Franco

Do programming languages matter for correctness of code? A reproduction study

Jan Vitek

Navigating through the academic jungle: tips, tricks & traps

Marielle Stoelinga

How to survive being a woman in computer science

Marieke Huisman

How to Give an Effective Talk

Ajitha Rajan

A tale of two MURIs: Authorization Meets Model Checking

Thomas Reps

A few lessons from the PhD I just finished

Juliana Franco

Formal methods can be practical: Verifying time-critical systems

Reinhard Wilhelm

Keynote

From Shape Analysis to Smart Contract Verification: A journey in proof automation

Mooly Sagiv