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
![Dirk Beyer](https://conf.researchr.org/getProfileImage/dirkbeyer/62758c9f-4f4a-48f7-8a9a-4df81f59cd4e/avatar.jpg?1711462158000)
Software Verification — An Overview of the State of the Art
Dirk Beyer
![Cormac Flanagan](https://conf.researchr.org/getProfileImage/cormacflanagan/69592a00-2648-4c86-8c32-9c371cf19499/avatar.jpg?1711500239000)
Towards Efficient and Precise Concurrent Software Analysis
Cormac Flanagan
![Thomas Colcombet](https://conf.researchr.org/getProfileImage/thomascolcombet/a9b0b027-9a65-4c5b-8072-1584bdfa3278/avatar.jpg?1711772706000)
On infinite duration games
Thomas Colcombet
![Cesare Tinelli](https://conf.researchr.org/getProfileImage/cesaretinelli/54c752b5-74aa-495d-a172-839b1bd61a52/avatar.jpg?1711552907000)
An overview of Satisfiability Modulo Theories and its applications
Cesare Tinelli
![Marsha Chechik](https://conf.researchr.org/getProfileImage/marshachechik/e6498c28-8d1e-4f0f-9d4e-22b4a5b74822/avatar.jpg?1711521390000)
Software Assurance in an Uncertain World
Marsha Chechik
![Kathleen Fisher](https://conf.researchr.org/getProfileImage/kathleenfisher/e6fdf370-73d8-4a8d-bd21-3d7892143d48/avatar.jpg?1711473709000)
From quadcopters to helicopters: Formal verification to eliminate exploitable bugs
Kathleen Fisher
Mentorship Lectures
![Reinhard Wilhelm](https://conf.researchr.org/getProfileImage/reinhardwilhelm/f846d809-88df-414f-ab85-2f62c518e6a6/avatar.jpg?1711542379000)
Formal methods can be practical: Verifying time-critical systems
Reinhard Wilhelm
![Stephanie Balzer](https://conf.researchr.org/getProfileImage/stephaniebalzer/3715ded0-a054-43d2-a1fb-cdc09ce295fe/avatar.jpg?1711475511000)
Science and Sanity: how to do the former while retaining the later (Panel)
Stephanie Balzer, Barbora Buhnova, Juliana Franco
![Ajitha Rajan](https://conf.researchr.org/getProfileImage/ajitharajan/e1945e6c-ea3c-430d-97f8-9876e2daa1e8/avatar.jpg?1711458269000)
How to Give an Effective Talk
Ajitha Rajan
![Mooly Sagiv](https://conf.researchr.org/getProfileImage/moolysagiv/7cbc49ca-efe7-49c9-9e31-c9c5085d1d4c/avatar.jpg?1711469273000)
From Shape Analysis to Smart Contract Verification: A journey in proof automation
Mooly Sagiv
![Marieke Huisman](https://conf.researchr.org/getProfileImage/mariekehuisman/592f261c-483a-475a-9de3-e55f98bb986f/avatar.jpg?1711503335000)
How to survive being a woman in computer science
Marieke Huisman
![Jan Vitek](https://conf.researchr.org/getProfileImage/janvitek/7c5d097a-e843-48dd-b517-9e1ce99674e4/avatar.jpg?1711454624000)
Do programming languages matter for correctness of code? A reproduction study
Jan Vitek
![Juliana Franco](https://conf.researchr.org/getProfileImage/julianafranco/a0fa54f6-5cd2-4607-9da5-edb3bd50f16c/avatar.jpg?1711460753000)
A few lessons from the PhD I just finished
Juliana Franco
![Marielle Stoelinga](https://conf.researchr.org/getProfileImage/mariellestoelinga/c3b55cd7-3952-4f6c-bff5-ba1b275184ec/avatar.jpg?1711475352000)
Navigating through the academic jungle: tips, tricks & traps
Marielle Stoelinga
![Thomas Reps](https://conf.researchr.org/getProfileImage/thomasreps/c4d64883-50ff-48ff-bd0e-04c60a1c784b/avatar.jpg?1711463333000)
A tale of two MURIs: Authorization Meets Model Checking
Thomas Reps
Overview
Sat 6.4 | Sun 7.4 | Mon 8.4 | Tue 9.4 | Wed 10.4 | Thu 11.4 |
---|---|---|---|---|---|
TOOLympics | ESOP | ||||
BEHAPI | CREST | nbsp; | FASE | ||
InterAVT | HCVS | FOSSACS | |||
LiVe | PLACES | nbsp; | POST | ||
MeTRiD | QAPL | TACAS | |||
PERR | Mentoring WS | Welcome reception | Banquet | ||
DICE-FOPARA | |||||
GaLoP | |||||
HSB | |||||
SynCoP | |||||
SPIoT | |||||
SYNT Camp | |||||
TACAS '25 Dinner |