add camera-ready version of itree-program-logic paper
[web.git] / research / contact.html
2024-03-11 Ralf Jungcontact: use my ETH email address
2023-01-25 Ralf Jungupdate office room number
2022-11-02 Ralf Jungfix address
2022-11-02 Ralf Jungupdate my adress and phone number
2022-04-10 Ralf Jungthis seems to be a better approximation of my room...
2021-10-26 Ralf Junggive some room number
2021-09-16 Ralf Jungupdate my afiliation
2019-02-15 Ralf Jungupdate room number
2015-10-09 Ralf Jungmake a research page happen