add camera-ready version of itree-program-logic paper

[web.git] / research / contact.html

diff --git a/research/contact.html b/research/contact.html
index 97c4eee9f40ccf44fc2db03ea87bb22d3954c904..d43ad95786f12b65580127ef29ecb18fffca7da7 100644 (file)
--- a/research/contact.html
+++ b/research/contact.html
@@ -3,12 +3,12 @@ title: Contact
 sort: 2
 ---
 
-<p><b>Email:</b> research AT ralfj DOT de</p>
+<p><b>Email:</b> ralf DOT jung AT inf DOT ethz DOT ch</p>
 
 <p><b>Phone:</b> +41 44 632 5598</p>
 
 <p><b>Office / Mail:</b><br/>
-<a href='https://ethz.ch/staffnet/de/service/raeume-gebaeude/orientierung/gebaeude.html?args0=CNB' target='_blank'>CNB</a> H 104.2<br/>
+<a href='https://ethz.ch/staffnet/de/service/raeume-gebaeude/orientierung/gebaeude.html?args0=CNB' target='_blank'>CNB</a> H 109<br/>
 Universitätstrasse 6<br/>
 8092 Zürich<br/>
 Switzerland