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