+++ /dev/null
-<?xml version="1.0"?>
-
-<!DOCTYPE events [
- <!ELEMENT events (event*)>
- <!ELEMENT event (name,url,description?,where?,when,deadline*)>
- <!ELEMENT name (#PCDATA)>
- <!ELEMENT url (#PCDATA)>
- <!ELEMENT description (#PCDATA)>
- <!ELEMENT where (#PCDATA)>
- <!ELEMENT when (begin,end)>
- <!ELEMENT begin (#PCDATA)>
- <!ELEMENT end (#PCDATA)>
- <!ELEMENT deadline (description,date)>
- <!ATTLIST deadline
- kind (submission|notification|registration|camera-ready) #REQUIRED>
- <!ELEMENT date (#PCDATA)>
-]>
-
-<events>
- <event>
- <name>6th European Conference on Research and Advanced Technology for
- Digital Libraries (ECDL2002)</name>
- <url>http://www.ecdl2002.org</url>
- <where>Rome, Italy</where>
- <when>
- <begin>20020916</begin>
- <end>20020918</end>
- </when>
- <deadline kind="submission">
- <description>Deadline for ALL the proposals</description>
- <date>20020501</date>
- </deadline>
- <deadline kind="notification">
- <description>Notification of acceptance for tutorials and workshops</description>
- <date>20020515</date>
- </deadline>
- <deadline kind="notification">
- <description>Notification of acceptance for papers, panels and posters</description>
- <date>20020615</date>
- </deadline>
- <deadline kind="submission">
- <description>Camera ready papers due</description>
- <date>20020701</date>
- </deadline>
- </event>
- <event>
- <name>Sixth International Conference on Typed Lambda Calculi and Applications (TLCA '03)</name>
- <url>http://www.tcs.informatik.uni-muenchen.de/~mhofmann/tlca03cfp.html</url>
- <where>Valencia, Spain</where>
- <when>
- <begin>????</begin>
- <end>????</end>
- </when>
- <deadline kind="submission">
- <description>Papers due</description>
- <date>20021129</date>
- </deadline>
- <deadline kind="notification">
- <description>Notification of acceptance</description>
- <date>20030130</date>
- </deadline>
- <deadline kind="submission">
- <description>Full papers due</description>
- <date>20030315</date>
- </deadline>
- </event>
-
- <event>
- <name>Third International Workshop on Logical Frameworks and
- Meta-Languages</name>
- <url>http://www.cs.cmu.edu/~lfm02</url>
- <description>A FLoC'02 affiliated workshop</description>
- <where>Copenhagen, Denmark</where>
- <when>
- <begin>20020726</begin>
- <end>20020726</end>
- </when>
- <deadline kind="submission">
- <description>Papers due</description>
- <date>20020415</date>
- </deadline>
- <deadline kind="notification">
- <description>Notification of acceptance</description>
- <date>20020513</date>
- </deadline>
- <deadline kind="submission">
- <description>Full papers due</description>
- <date>20020603</date>
- </deadline>
- </event>
-
- <event>
- <name>Internet Accessible Mathematical Computation</name>
- <url>http://www.SymbolicNet.org/conferences/iamc02</url>
- <description>a Workshop at ISSAC 2002</description>
- <where>Lille, France</where>
- <when>
- <begin>20020707</begin>
- <end>20020707</end>
- </when>
- <deadline kind="submission">
- <description>Abstract due</description>
- <date>20020512</date>
- </deadline>
- <deadline kind="notification">
- <description>Notification of acceptance</description>
- <date>20020527</date>
- </deadline>
- <deadline kind="submission">
- <description>Description of the software required for demos due.</description>
- <date>20020610</date>
- </deadline>
- <deadline kind="submission">
- <description>Full papers due</description>
- <date>20020627</date>
- </deadline>
- </event>
-
- <event>
- <name>Calculemus 2002</name>
- <url>http://www.ags.uni-sb.de/~calculemus2002/</url>
- <description>10th Symposium on the Integration of Symbolic Computation and
- Mechanized Reasoning</description>
- <where>Marseille, France</where>
- <when>
- <begin>20020701</begin>
- <end>20020715</end>
- </when>
- <deadline kind="submission">
- <description>Papers due</description>
- <date>20020308</date>
- </deadline>
- <deadline kind="notification">
- <description>Notification of acceptance</description>
- <date>20020402</date>
- </deadline>
- <deadline kind="camera-ready">
- <description>Camera-ready papers due</description>
- <date>20020419</date>
- </deadline>
- </event>
-
- <event>
- <name>MKM 2001</name>
- <url>http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001</url>
- <description>First International Workshop on Mathematical Knowledge
- Management. Special Issue for Annals of Mathematics and Artificial
- Intelligence to appear in Fall 2002</description>
- <where>RISC, A-4232 Schloss Hagenberg</where>
- <when>
- <begin>20010924</begin>
- <end>20010926</end>
- </when>
- <deadline kind="notification">
- <description>Notification of acceptance for the special issue on
- Annals of Mathematics and Artificial Intelligence.</description>
- <date>20020228</date>
- </deadline>
- <deadline kind="camera-ready">
- <description>Final version of papers for the special issue.</description>
- <date>20020531</date>
- </deadline>
- </event>
-
- <event>
- <name>International Congress of Mathematical Software 2002</name>
- <url>http://www.mathsoftware.org</url>
- <description>Satellite conference of ICM.</description>
- <where>Beijing</where>
- <when>
- <begin>20020817</begin>
- <end>20020819</end>
- </when>
- <deadline kind="submission">
- <description>Papers due</description>
- <date>20020215</date>
- </deadline>
- <deadline kind="notification">
- <description>Notification of acceptance for papers</description>
- <date>20020331</date>
- </deadline>
- <deadline kind="camera-ready">
- <description>Camera-ready due</description>
- <date>20020515</date>
- </deadline>
- </event>
-
- <event>
- <name>Find and Post Mathematics in the Web</name>
- <url>http://icms.math.tsinghua.edu.cn</url>
- <description>A workshop on Electronic Information and Communication in Mathematics. Satellite conference of ICM.</description>
- <where>Beijing</where>
- <when>
- <begin>20020829</begin>
- <end>20020831</end>
- </when>
- <deadline kind="submission">
- <description>Abstracts due</description>
- <date>20020331</date>
- </deadline>
- </event>
-
- <event>
- <name>MathML 2002</name>
- <url>http://www.mathmlconference.org</url>
- <where>Chicago</where>
- <when>
- <begin>20020628</begin>
- <end>20020630</end>
- </when>
- <deadline kind="submission">
- <description>Abstracts for papers and panel proposals due</description>
- <date>20020218</date>
- </deadline>
- <deadline kind="notification">
- <description>Notification of acceptance for papers and panels</description>
- <date>20020311</date>
- </deadline>
- <deadline kind="submission">
- <description>Poster abstracts and demo proposals due</description>
- <date>20020315</date>
- </deadline>
- <deadline kind="notification">
- <description>Notification of acceptance for posters and demos</description>
- <date>20020329</date>
- </deadline>
- <deadline kind="registration">
- <description>Last day for early registration</description>
- <date>20020517</date>
- </deadline>
- <deadline kind="camera-ready">
- <description>Deadline for full papers for JSC special issue</description>
- <date>20020626</date>
- </deadline>
- </event>
-
- <event>
- <name>6th International Conference on Electronic Publishing (ELPUB 2002)</name>
- <url>http://www.tu-chemnitz.de/elpub02/</url>
- <where>Karlovy Vary, Czech Republic</where>
- <when>
- <begin>20021106</begin>
- <end>20021109</end>
- </when>
- <deadline kind="submission">
- <description>Abstracts due</description>
- <date>20020215</date>
- </deadline>
- <deadline kind="submission">
- <description>Full papers due</description>
- <date>20020628</date>
- </deadline>
- </event>
-
- <event>
- <name>TPHOLS 2002</name>
- <url>http://shemesh.larc.nasa.gov/tphols2002</url>
- <where>Hampton (Virginia)</where>
- <when>
- <begin>20020820</begin>
- <end>20020823</end>
- </when>
- <deadline kind="submission">
- <description>Category A papers due</description>
- <date>20020222</date>
- </deadline>
- <deadline kind="notification">
- <description>Category A notification of acceptance</description>
- <date>20020422</date>
- </deadline>
- <deadline kind="submission">
- <description>Category B papers due</description>
- <date>20020517</date>
- </deadline>
- <deadline kind="submission">
- <description>Category A camera-ready copy due</description>
- <date>20020524</date>
- </deadline>
- <deadline kind="notification">
- <description>Category B notification of acceptance</description>
- <date>20020617</date>
- </deadline>
- <deadline kind="camera-ready">
- <description>Category B camera-ready copy due</description>
- <date>20020705</date>
- </deadline>
- </event>
- <event>
- <name>WWW-2002: Semantic Web Workshop</name>
- <url>http://semanticweb2002.aifb.uni-karlsruhe.de</url>
- <description>Workshop associated to WWW2002</description>
- <where>Hawaii</where>
- <when>
- <begin>20020507</begin>
- <end>20020507</end>
- </when>
- <deadline kind="submission">
- <description>Paper submission</description>
- <date>20020301</date>
- </deadline>
- <deadline kind="notification">
- <description>Notification of acceptance</description>
- <date>20020401</date>
- </deadline>
- <deadline kind="camera-ready">
- <description>Deadline for final contributions</description>
- <date>20020415</date>
- </deadline>
- </event>
- <event>
- <name>Extreme 2002</name>
- <url>http://www.extrememarkup.com</url>
- <where>Montreal Canada</where>
- <when>
- <begin>20020806</begin>
- <end>20020809</end>
- </when>
- <deadline kind="submission">
- <description>Paper Submission</description>
- <date>20020403</date>
- </deadline>
- <deadline kind="notification">
- <description>Speakers Notified</description>
- <date>20020513</date>
- </deadline>
- <deadline kind="camera-ready">
- <description>Revised Papers Due</description>
- <date>20020611</date>
- </deadline>
- </event>
- <event>
- <name>35 Years of Automath</name>
- <url>http://www.cee.hw.ac.uk/~fairouz/automath2002/</url>
- <where>Edinburgh</where>
- <when>
- <begin>20020410</begin>
- <end>20020413</end>
- </when>
- <deadline kind="submission">
- <description>Submission deadline of papers in special issue of an international journal.</description>
- <date>20020510</date>
- </deadline>
- <deadline kind="submission">
- <description>Submission deadline of special edited book celebrating de Bruijn's 85th anniversary.</description>
- <date>20020710</date>
- </deadline>
- </event>
-
- <event>
- <name>Second International Conference on Mathematical Knowledge Management (MKM 2003)</name>
- <url>http://www.cs.unibo.it/MKM03</url>
- <where>Bertinoro (IT)</where>
- <when>
- <begin>20030216</begin>
- <end>20030218</end>
- </when>
- <deadline kind="submission">
- <description>Papers due</description>
- <date>20020901</date>
- </deadline>
- <deadline kind="notification">
- <description>Notification</description>
- <date>20021101</date>
- </deadline>
- <deadline kind="camera-ready">
- <description>Camera-ready due</description>
- <date>20021122</date>
- </deadline>
- </event>
-</events>
projects / helm.git / blobdiff