PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/

The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCs, FASE and ESOP. 

ETAPS 2025: May 3–8, Hamilton, Canada

https://etaps.org/

official Bluesky account (check username👆)

Bugs, feature requests, feedback: support@bsky.app

Associate professor at Charles University, Czech Republic, computer science, program verification, linux

Jan Kofroň

Michael Schwarz

ETAPS conferences

Bluesky