Log in | Join us
May 3–8, 2025
Hamilton, Canada

ETAPS 2025
International Joint Conferences
On Theory and Practice of Software

ETAPS 2025 is organized by McMaster University

Invited Speakers

From critically acclaimed researchers to the world's most outrageous scientists, ETAPS speakers will leave you speechless.

Amal Ahmed

Amal Ahmed

Northeastern University, USA
ESOP Invited Speaker
Matthew B. Dwyer

Matthew B. Dwyer

University of Virginia, USA
Unifying Speaker
José Meseguer

José Meseguer

University of Illinois Urbana-Champaign, USA
FASE Invited Speaker
Ina Schaefer

Ina Schaefer

Karlsruhe Institute of Technology, Germany
Unifying Speaker
See all speakers

Latest News

Follow us on Mastodon
Hello image

About ETAPS

Welcome to the primary forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS and TACAS, accompanied by satellite workshops.

More About ETAPS

ETAPS Association

Internal

Responsible for these web pages:

Jan Kofroň
Faculty of Mathematics and Physics
Charles University, Czech Republic
E-mail: firstname.lastname [at] d3s.mff.cuni.cz
Phone: +420 951 554 285