projects
/
web.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Rust post: tune wording
[web.git]
/
research
/
contact.html
1
---
2
title: Contact
3
sort: 2
4
---
5
6
<h3>E-Mail Address</h3>
7
8
<p>jung AT mpi-sws DOT org</p>
9
10
<h3>Phone Number</h3>
11
12
<p>+49 (681) 9303 8717</p>
13
14
<h3>Work Address</h3>
15
16
<p>
17
Room 438<br/>
18
MPI-SWS (Campus E1.5)<br/>
19
66123 Saarbrücken<br/>
20
Germany
21
</p>