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