helm/mowgli/home/xml/other-events.xml

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE events [
   4  <!ELEMENT events (event*)>
   5  <!ELEMENT event (name,url,description?,where?,when,deadline*)>
   6  <!ELEMENT name (#PCDATA)>
   7  <!ELEMENT url (#PCDATA)>
   8  <!ELEMENT description (#PCDATA)>
   9  <!ELEMENT where (#PCDATA)>
  10  <!ELEMENT when (begin,end)>
  11  <!ELEMENT begin (#PCDATA)>
  12  <!ELEMENT end (#PCDATA)>
  13  <!ELEMENT deadline (description,date)>
  14  <!ATTLIST deadline
  15            kind (submission|notification|registration|camera-ready) #REQUIRED>
  16  <!ELEMENT date (#PCDATA)>
  17 ]>
  18
  19 <events>
  20  <event>
  21   <name>Sixth International Conference on Typed Lambda Calculi and Applications (TLCA '03)</name>
  22   <url>http://www.tcs.informatik.uni-muenchen.de/~mhofmann/tlca03cfp.html</url>
  23   <where>Valencia, Spain</where>
  24   <when>
  25    <begin>????</begin>
  26    <end>????</end>
  27   </when>
  28   <deadline kind="submission">
  29    <description>Papers due</description>
  30    <date>20021129</date>
  31   </deadline>
  32   <deadline kind="notification">
  33    <description>Notification of acceptance</description>
  34    <date>20030130</date>
  35   </deadline>
  36   <deadline kind="submission">
  37    <description>Full papers due</description>
  38    <date>20030315</date>
  39   </deadline>
  40  </event>
  41
  42  <event>
  43   <name>Third International Workshop on Logical Frameworks and
  44    Meta-Languages</name>
  45   <url>http://www.cs.cmu.edu/~lfm02</url>
  46   <description>A FLoC'02 affiliated workshop</description>
  47   <where>Copenhagen, Denmark</where>
  48   <when>
  49    <begin>20020726</begin>
  50    <end>20020726</end>
  51   </when>
  52   <deadline kind="submission">
  53    <description>Papers due</description>
  54    <date>20020415</date>
  55   </deadline>
  56   <deadline kind="notification">
  57    <description>Notification of acceptance</description>
  58    <date>20020513</date>
  59   </deadline>
  60   <deadline kind="submission">
  61    <description>Full papers due</description>
  62    <date>20020603</date>
  63   </deadline>
  64  </event>
  65
  66  <event>
  67   <name>Internet Accessible Mathematical Computation</name>
  68   <url>http://www.SymbolicNet.org/conferences/iamc02</url>
  69   <description>a Workshop at ISSAC 2002</description>
  70   <where>Lille, France</where>
  71   <when>
  72    <begin>20020707</begin>
  73    <end>20020707</end>
  74   </when>
  75   <deadline kind="submission">
  76    <description>Abstract due</description>
  77    <date>20020512</date>
  78   </deadline>
  79   <deadline kind="notification">
  80    <description>Notification of acceptance</description>
  81    <date>20020527</date>
  82   </deadline>
  83   <deadline kind="submission">
  84    <description>Description of the software required for demos due.</description>
  85    <date>20020610</date>
  86   </deadline>
  87   <deadline kind="submission">
  88    <description>Full papers due</description>
  89    <date>20020627</date>
  90   </deadline>
  91  </event>
  92
  93  <event>
  94   <name>Calculemus 2002</name>
  95   <url>http://www.ags.uni-sb.de/~calculemus2002/</url>
  96   <description>10th Symposium on the Integration of Symbolic Computation and
  97    Mechanized Reasoning</description>
  98   <where>Marseille, France</where>
  99   <when>
 100    <begin>20020701</begin>
 101    <end>20020715</end>
 102   </when>
 103   <deadline kind="submission">
 104    <description>Papers due</description>
 105    <date>20020308</date>
 106   </deadline>
 107   <deadline kind="notification">
 108    <description>Notification of acceptance</description>
 109    <date>20020402</date>
 110   </deadline>
 111   <deadline kind="camera-ready">
 112    <description>Camera-ready papers due</description>
 113    <date>20020419</date>
 114   </deadline>
 115  </event>
 116
 117  <event>
 118   <name>MKM 2001</name>
 119   <url>http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001</url>
 120   <description>First International Workshop on Mathematical Knowledge
 121    Management. Special Issue for Annals of Mathematics and Artificial
 122    Intelligence to appear in Fall 2002</description>
 123   <where>RISC, A-4232 Schloss Hagenberg</where>
 124   <when>
 125    <begin>20010924</begin>
 126    <end>20010926</end>
 127   </when>
 128   <deadline kind="notification">
 129    <description>Notification of acceptance for the special issue on
 130      Annals of Mathematics and Artificial Intelligence.</description>
 131    <date>20020228</date>
 132   </deadline>
 133   <deadline kind="camera-ready">
 134    <description>Final version of papers for the special issue.</description>
 135    <date>20020531</date>
 136   </deadline>
 137  </event>
 138
 139  <event>
 140   <name>International Congress of Mathematical Software 2002</name>
 141   <url>http://www.mathsoftware.org</url>
 142   <description>Satellite conference of ICM.</description>
 143   <where>Beijing</where>
 144   <when>
 145    <begin>20020817</begin>
 146    <end>20020819</end>
 147   </when>
 148   <deadline kind="submission">
 149    <description>Papers due</description>
 150    <date>20020215</date>
 151   </deadline>
 152   <deadline kind="notification">
 153    <description>Notification of acceptance for papers</description>
 154    <date>20020331</date>
 155   </deadline>
 156   <deadline kind="camera-ready">
 157    <description>Camera-ready due</description>
 158    <date>20020515</date>
 159   </deadline>
 160  </event>
 161
 162  <event>
 163   <name>Find and Post Mathematics in the Web</name>
 164   <url>http://icms.math.tsinghua.edu.cn</url>
 165   <description>A workshop on Electronic Information and Communication in Mathematics. Satellite conference of ICM.</description>
 166   <where>Beijing</where>
 167   <when>
 168    <begin>20020829</begin>
 169    <end>20020831</end>
 170   </when>
 171   <deadline kind="submission">
 172    <description>Abstracts due</description>
 173    <date>20020331</date>
 174   </deadline>
 175  </event>
 176
 177  <event>
 178   <name>MathML 2002</name>
 179   <url>http://www.mathmlconference.org</url>
 180   <where>Chicago</where>
 181   <when>
 182    <begin>20020628</begin>
 183    <end>20020630</end>
 184   </when>
 185   <deadline kind="submission">
 186    <description>Abstracts for papers and panel proposals due</description>
 187    <date>20020218</date>
 188   </deadline>
 189   <deadline kind="notification">
 190    <description>Notification of acceptance for papers and panels</description>
 191    <date>20020311</date>
 192   </deadline>
 193   <deadline kind="submission">
 194    <description>Poster abstracts and demo proposals due</description>
 195    <date>20020315</date>
 196   </deadline>
 197   <deadline kind="notification">
 198    <description>Notification of acceptance for posters and demos</description>
 199    <date>20020329</date>
 200   </deadline>
 201   <deadline kind="registration">
 202    <description>Last day for early registration</description>
 203    <date>20020517</date>
 204   </deadline>
 205   <deadline kind="camera-ready">
 206    <description>Deadline for full papers for JSC special issue</description>
 207    <date>20020626</date>
 208   </deadline>
 209  </event>
 210
 211  <event>
 212   <name>6th International Conference on Electronic Publishing (ELPUB 2002)</name>
 213   <url>http://www.tu-chemnitz.de/elpub02/</url>
 214   <where>Karlovy Vary, Czech Republic</where>
 215   <when>
 216    <begin>20021106</begin>
 217    <end>20021109</end>
 218   </when>
 219   <deadline kind="submission">
 220    <description>Abstracts due</description>
 221    <date>20020215</date>
 222   </deadline>
 223   <deadline kind="submission">
 224    <description>Full papers due</description>
 225    <date>20020628</date>
 226   </deadline>
 227  </event>
 228
 229  <event>
 230   <name>TPHOLS 2002</name>
 231   <url>http://shemesh.larc.nasa.gov/tphols2002</url>
 232   <where>Hampton (Virginia)</where>
 233   <when>
 234    <begin>20020820</begin>
 235    <end>20020823</end>
 236   </when>
 237   <deadline kind="submission">
 238    <description>Category A papers due</description>
 239    <date>20020222</date>
 240   </deadline>
 241   <deadline kind="notification">
 242    <description>Category A notification of acceptance</description>
 243    <date>20020422</date>
 244   </deadline>
 245   <deadline kind="submission">
 246    <description>Category B papers due</description>
 247    <date>20020517</date>
 248   </deadline>
 249   <deadline kind="submission">
 250    <description>Category A camera-ready copy due</description>
 251    <date>20020524</date>
 252   </deadline>
 253   <deadline kind="notification">
 254    <description>Category B notification of acceptance</description>
 255    <date>20020617</date>
 256   </deadline>
 257   <deadline kind="camera-ready">
 258    <description>Category B camera-ready copy due</description>
 259    <date>20020705</date>
 260   </deadline>
 261  </event>
 262  <event>
 263   <name>WWW-2002: Semantic Web Workshop</name>
 264   <url>http://semanticweb2002.aifb.uni-karlsruhe.de</url>
 265   <description>Workshop associated to WWW2002</description>
 266   <where>Hawaii</where>
 267   <when>
 268    <begin>20020507</begin>
 269    <end>20020507</end>
 270   </when>
 271   <deadline kind="submission">
 272    <description>Paper submission</description>
 273    <date>20020301</date>
 274   </deadline>
 275   <deadline kind="notification">
 276    <description>Notification of acceptance</description>
 277    <date>20020401</date>
 278   </deadline>
 279   <deadline kind="camera-ready">
 280    <description>Deadline for final contributions</description>
 281    <date>20020415</date>
 282   </deadline>
 283  </event>
 284  <event>
 285   <name>Extreme 2002</name>
 286   <url>http://www.extrememarkup.com</url>
 287   <where>Montreal Canada</where>
 288   <when>
 289    <begin>20020806</begin>
 290    <end>20020809</end>
 291   </when>
 292   <deadline kind="submission">
 293    <description>Paper Submission</description>
 294    <date>20020403</date>
 295   </deadline>
 296   <deadline kind="notification">
 297    <description>Speakers Notified</description>
 298    <date>20020513</date>
 299   </deadline>
 300   <deadline kind="camera-ready">
 301    <description>Revised Papers Due</description>
 302    <date>20020611</date>
 303   </deadline>
 304  </event>
 305  <event>
 306   <name>35 Years of Automath</name>
 307   <url>http://www.cee.hw.ac.uk/~fairouz/automath2002/</url>
 308   <where>Edinburgh</where>
 309   <when>
 310    <begin>20020410</begin>
 311    <end>20020413</end>
 312   </when>
 313   <deadline kind="submission">
 314    <description>Submission deadline of papers in special issue of an international journal.</description>
 315    <date>20020510</date>
 316   </deadline>
 317   <deadline kind="submission">
 318    <description>Submission deadline of special edited book celebrating de Bruijn's 85th anniversary.</description>
 319    <date>20020710</date>
 320   </deadline>
 321  </event>
 322
 323  <event>
 324   <name>Second International Conference on Mathematical Knowledge Management (MKM 2003)</name>
 325   <url>http://www.cs.unibo.it/MKM03</url>
 326   <where>Bertinoro (IT)</where>
 327   <when>
 328    <begin>20030216</begin>
 329    <end>20030218</end>
 330   </when>
 331   <deadline kind="submission">
 332    <description>Papers due</description>
 333    <date>20020901</date>
 334   </deadline>
 335   <deadline kind="notification">
 336    <description>Notification</description>
 337    <date>20021101</date>
 338   </deadline>
 339   <deadline kind="camera-ready">
 340    <description>Camera-ready due</description>
 341    <date>20021122</date>
 342   </deadline>
 343  </event>
 344 </events>