|
1 <?xml version="1.0" encoding="utf-8"?> |
|
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
|
3 <html> |
|
4 <head> |
|
5 <title>Menu</title> |
|
6 <style type="text/css"> |
|
7 a:link{text-decoration:none;} |
|
8 a:visited{text-decoration:none;} |
|
9 a:hover{text-decoration:underline;} |
|
10 </style> |
|
11 </head> |
|
12 |
|
13 |
|
14 <body style="color: rgb(0,0,0);" alink="#000099" link="#000099" vlink="#990099"> |
|
15 |
|
16 <span style="font-weight: bold; color: rgb(255, 255, 255);"></span> |
|
17 <table style="text-align: left; width: 100%;" border="0" cellpadding="2" cellspacing="0"> |
|
18 |
|
19 |
|
20 <tbody> |
|
21 |
|
22 <tr> |
|
23 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |
|
24 Navigation</span></td> |
|
25 </tr> |
|
26 |
|
27 <tr> |
|
28 <td style="background-color: rgb(224, 224, 240);"> <a href="main.html" target="content"> |
|
29 Overview</a> </td> |
|
30 </tr> |
|
31 |
|
32 <tr> |
|
33 <td style="background-color: rgb(224, 224, 240);"><a target="content" href="documentation.html"> |
|
34 Documentation</a></td> |
|
35 </tr> |
|
36 |
|
37 <tr> |
|
38 <td style="background-color: rgb(224, 224, 240);"><a href="download.html" target="content"> |
|
39 Download</a></td> |
|
40 </tr> |
|
41 |
|
42 <tr> |
|
43 <td style="background-color: rgb(224, 224, 240);"><a href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle" target="_top"> |
|
44 Mailing List</a></td> |
|
45 </tr> |
|
46 |
|
47 <tr> |
|
48 <td style="background-color: rgb(224, 224, 240);"><a href="activities.html" target="content"> |
|
49 Activities</a></td> |
|
50 </tr> |
|
51 |
|
52 <tr> |
|
53 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |
|
54 Members and Local Friends</span></td> |
|
55 </tr> |
|
56 |
|
57 <tr> |
|
58 <td style="background-color: rgb(224, 224, 240);"><a href="http://http://www.inf.kcl.ac.uk/staff/urbanc/" target="_top"> |
|
59 Christian Urban</a> (chair)</td> |
|
60 </tr> |
|
61 |
|
62 <tr> |
|
63 <td style="background-color: rgb(224, 224, 240);"><a href="http://cl-informatik.uibk.ac.at/users/cek/" target="_top"> |
|
64 Cezary Kaliszyk</a> </td> |
|
65 </tr> |
|
66 |
|
67 |
|
68 <tr> |
|
69 <td style="background-color: rgb(224, 224, 240);">Chunhan Wu</td> |
|
70 </tr> |
|
71 |
|
72 <tr> |
|
73 <td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);"> |
|
74 International Friends</span></td> |
|
75 </tr> |
|
76 |
|
77 <tr> |
|
78 <td style="background-color: rgb(224, 224, 240);"><a href="http://www.cl.cam.ac.uk/~amp12/" target="_top"> |
|
79 Andrew Pitts</a></td> |
|
80 </tr> |
|
81 |
|
82 <tr> |
|
83 <td style="background-color: rgb(224, 224, 240);"><a href="http://www4.in.tum.de/~berghofe/" target="_top"> |
|
84 Stefan Berghofer</a></td> |
|
85 </tr> |
|
86 |
|
87 <tr> |
|
88 <td style="background-color: rgb(224, 224, 240);"><a href="http://www4.in.tum.de/~wenzelm/" target="_top"> |
|
89 Markus Wenzel</a></td> |
|
90 </tr> |
|
91 |
|
92 |
|
93 <tr> |
|
94 <td style="background-color: rgb(224, 224, 240);"><a href="http://www.cis.upenn.edu/~bcpierce/" target="_top"> |
|
95 Benjamin Pierce</a></td> |
|
96 </tr> |
|
97 |
|
98 <tr> |
|
99 <td style="background-color: rgb(224, 224, 240);"><a href="http://www.cis.upenn.edu/~stevez/" target="_top"> |
|
100 Steve Zdancewic</a></td> |
|
101 </tr> |
|
102 |
|
103 <tr> |
|
104 <td style="background-color: rgb(224, 224, 240);"><a href="http://users.rsise.anu.edu.au/~michaeln/" target="_top"> |
|
105 Michael Norrish</a></td> |
|
106 </tr> |
|
107 |
|
108 <tr> |
|
109 <td style="background-color: rgb(224, 224, 240);"><a href="http://homepages.inf.ed.ac.uk/jcheney/" target="_top"> |
|
110 James Cheney</a></td> |
|
111 </tr> |
|
112 |
|
113 <tr> |
|
114 <td style="background-color: rgb(224, 224, 240);"><a href="http://www.it.uu.se/katalog/jesperb/" target="_top"> |
|
115 Jesper Bengtson</a></td> |
|
116 </tr> |
|
117 |
|
118 <tr> |
|
119 <td style="background-color: rgb(224, 224, 240);"><a href="http://dpt-info.u-strasbg.fr/~narboux/" target="_top"> |
|
120 Julien Narboux</a></td> |
|
121 </tr> |
|
122 |
|
123 <tr> |
|
124 <td style="background-color: rgb(224, 224, 240);"><a href="http://homepages.inf.ed.ac.uk/rap/" target="_top"> |
|
125 Randy Pollack</a></td> |
|
126 </tr> |
|
127 |
|
128 <tr> |
|
129 <td style="background-color: rgb(224, 224, 240);"><a href="http://user.it.uu.se/~tjawe125/" target="_top"> |
|
130 Tjark Weber</a></td> |
|
131 </tr> |
|
132 |
|
133 |
|
134 |
|
135 <tr> |
|
136 <td style="background-color: rgb(224, 224, 240);"> |
|
137 <br><br><br><br> |
|
138 <a href="http://www4.clustrmaps.com/counter/maps.php?url=http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/" id="clustrMapsLink" target="_top"><img src="http://www4.clustrmaps.com/counter/index2.php?url=http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/" style="border:0px;" alt="Locations of visitors to this page" title="Locations of visitors to this page" id="clustrMapsImg" onError="this.onError=null; this.src='http://www2.clustrmaps.com/images/clustrmaps-back-soon.jpg'; document.getElementById('clustrMapsLink').href='http://www2.clustrmaps.com'" /> |
|
139 </a></td></tr> |
|
140 </tbody> |
|
141 </table> |
|
142 |
|
143 |
|
144 <!-- script type="text/javascript"> |
|
145 var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www."); |
|
146 document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E")); |
|
147 </script> |
|
148 <script type="text/javascript"> |
|
149 var pageTracker = _gat._getTracker("UA-4143458-1"); |
|
150 pageTracker._initData(); |
|
151 pageTracker._trackPageview(); |
|
152 </script --> |
|
153 </body> |
|
154 </html> |