X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fother-events.xml;h=efc4070843b830f222087b4ab1f3fbebbb105792;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=32562144a940b42160f72b05befc60e7545610b6;hpb=44fc0fe4dba9031746aba9b756fec28123f6779a;p=helm.git diff --git a/helm/mowgli/home/xml/other-events.xml b/helm/mowgli/home/xml/other-events.xml index 32562144a..efc407084 100644 --- a/helm/mowgli/home/xml/other-events.xml +++ b/helm/mowgli/home/xml/other-events.xml @@ -2,28 +2,161 @@ - + - + + + + ]> + + 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 - Special Issue for Annalas of Mathematics and Artificial + 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 @@ -32,37 +165,70 @@ International Congress of Mathematical Software 2002 http://www.mathsoftware.org - Satellite conference of ICM + 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 - August 17-19, 2002 + + 20020829 + 20020831 + + + Abstracts due + 20020331 + MathML 2002 http://www.mathmlconference.org Chicago - June 28-30, 2002 - + + 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 @@ -72,14 +238,17 @@ 6th International Conference on Electronic Publishing (ELPUB 2002) http://www.tu-chemnitz.de/elpub02/ Karlovy Vary, Czech Republic - November 6-9, 2002 - + + 20021106 + 20021109 + + Abstracts due 20020215 - + Full papers due - 20020228 + 20020628 @@ -87,28 +256,31 @@ TPHOLS 2002 http://shemesh.larc.nasa.gov/tphols2002 Hampton (Virginia) - August 20-23, 2002 - + + 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 @@ -116,18 +288,21 @@ WWW-2002: Semantic Web Workshop http://semanticweb2002.aifb.uni-karlsruhe.de - Workshop associato a WWW2002 + Workshop associated to WWW2002 Hawaii - May 7th, 2002 - + + 20020507 + 20020507 + + Paper submission 20020301 - + Notification of acceptance 20020401 - + Deadline for final contributions 20020415 @@ -136,16 +311,19 @@ Extreme 2002 http://www.extrememarkup.com Montreal Canada - August 6-9, 2002 - + + 20020806 + 20020809 + + Paper Submission - 20020303 + 20020403 - + Speakers Notified 20020513 - + Revised Papers Due 20020611 @@ -154,14 +332,39 @@ 35 Years of Automath http://www.cee.hw.ac.uk/~fairouz/automath2002/ Edinburgh - April 10-13, 2002 - + + 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 + +