equal
deleted
inserted
replaced
1 <?xml version="1.0" encoding="utf-8"?> |
1 <?xml version="1.0" encoding="utf-8"?> |
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
3 <HEAD> |
3 <HEAD> |
4 <TITLE> Christian Urban </TITLE> |
4 <TITLE> Christian Urban </TITLE> |
5 <BASE HREF="http://www4.in.tum.de/~urbanc/"> |
5 <BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/"> |
6 </HEAD> |
6 </HEAD> |
7 |
7 |
8 <BODY TEXT="#000000" |
8 <BODY TEXT="#000000" |
9 BGCOLOR="#4169E1" |
9 BGCOLOR="#4169E1" |
10 LINK="#0000EF" |
10 LINK="#0000EF" |
25 WIDTH="24%" |
25 WIDTH="24%" |
26 VALIGN="TOP" |
26 VALIGN="TOP" |
27 ROWSPAN="2"> |
27 ROWSPAN="2"> |
28 |
28 |
29 <B>Links</B><BR> |
29 <B>Links</B><BR> |
30 <A HREF="http://www4.in.tum.de/~urbanc/">Home</A><BR> |
30 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
31 <A HREF="http://www4.in.tum.de/~urbanc/publications.html">Publications</A><BR> |
31 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
32 <A HREF="http://www4.in.tum.de/~urbanc/teaching.html">Teaching</A><BR> |
32 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
33 <A HREF="http://www4.in.tum.de/~urbanc/travelling.html">Recent Talks</A><BR> |
33 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> |
34 <A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A> |
34 <A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A> |
35 <BR> |
35 <BR> |
36 <BR> |
36 <BR> |
37 |
37 |
38 <B>Handy Information</B><BR> |
38 <B>Handy Information</B><BR> |
39 <A HREF="http://www4.in.tum.de/~urbanc/logic.html">People in Logic</A><BR> |
39 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
40 <A HREF="http://www4.in.tum.de/~urbanc/programming.html">Programming Languages</A><BR> |
40 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> |
41 <A HREF="http://www4.in.tum.de/~urbanc/misc.html">Miscellaneous</A> |
41 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
42 <BR><BR> |
42 <BR><BR> |
43 |
43 |
44 <A HREF="http://isabelle.in.tum.de/nominal/"> |
44 <A HREF="http://isabelle.in.tum.de/nominal/"> |
45 <IMG SRC="ribbon.gif" ALT="" style="border-width: 0px;" align="left"> |
45 <IMG SRC="ribbon.gif" ALT="" style="border-width: 0px;" align="left"> |
46 </A> |
46 </A> |