equal
deleted
inserted
replaced
28 }); |
28 }); |
29 } |
29 } |
30 google.maps.event.addDomListener(window, 'load', initialize); |
30 google.maps.event.addDomListener(window, 'load', initialize); |
31 </script> |
31 </script> |
32 <style type="text/css"> |
32 <style type="text/css"> |
33 body { font-size: 14px; |
33 body { font-family: "trebuchet ms", helvetica, sans-serif; } |
34 font-family: "trebuchet ms", helvetica, sans-serif; } |
|
35 </style> |
34 </style> |
36 </head> |
35 </head> |
37 |
36 |
38 <BODY TEXT="#000000" |
37 <BODY TEXT="#000000" |
39 BGCOLOR="#4169E1" |
38 BGCOLOR="#4169E1" |
106 <!-- right column --> |
105 <!-- right column --> |
107 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
106 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
108 <TABLE> |
107 <TABLE> |
109 <TR> |
108 <TR> |
110 <TD><H1>ITP 2015 will be in Nanjing, China</H1></TD> |
109 <TD><H1>ITP 2015 will be in Nanjing, China</H1></TD> |
111 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD> |
110 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="ITP" align="top"></TD> |
112 </TR> |
111 </TR> |
113 </TABLE> |
112 </TABLE> |
114 |
113 |
115 <p> |
114 <p> |
116 <HR> |
115 <HR> |
149 ITP community. We welcome everybody and hope participants will have a beneficial time at ITP 2015. |
148 ITP community. We welcome everybody and hope participants will have a beneficial time at ITP 2015. |
150 </p> |
149 </p> |
151 |
150 |
152 <p> |
151 <p> |
153 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR> |
152 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR> |
154 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the |
153 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an |
|
154 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the |
155 conference (21 - 23 August), and<BR><BR> |
155 conference (21 - 23 August), and<BR><BR> |
156 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a |
156 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a |
157 <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference |
157 <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference |
158 (27 - 29 August).<BR><BR> |
158 (27 - 29 August).<BR><BR> |
159 </p> |
159 </p> |