- MKM 2001
-
RISC, A-4232 Schloss Hagenberg September 24th - 26th, 2001
First International Workshop on Mathematical Knowledge
Management. Special Issue for Annals of Mathematics and Artificial
Intelligence to appear in Fall 2002
Deadlines:
-
February 28th, 2002 Notification of acceptance for the special issue on
Annals of Mathematics and Artificial Intelligence.
-
May 31st, 2002 Final version of papers for the special issue.
- 35 Years of Automath
-
Edinburgh April 10th - 13th, 2002
Deadlines:
-
May 10th, 2002 Submission deadline of papers in special issue of an international journal.
-
July 10th, 2002 Submission deadline of special edited book celebrating de Bruijn's 85th anniversary.
- WWW-2002: Semantic Web Workshop
-
Hawaii May 07th, 2002
Workshop associated to WWW2002
Deadlines:
-
March 1st, 2002 Paper submission
-
April 1st, 2002 Notification of acceptance
-
April 15th, 2002 Deadline for final contributions
- MathML 2002
-
Chicago June 28th - 30th, 2002
Deadlines:
-
February 18th, 2002 Abstracts for papers and panel proposals due
-
March 11th, 2002 Notification of acceptance for papers and panels
-
March 15th, 2002 Poster abstracts and demo proposals due
-
March 29th, 2002 Notification of acceptance for posters and demos
-
May 17th, 2002 Last day for early registration
-
June 26th, 2002 Deadline for full papers for JSC special issue
- Calculemus 2002
-
Marseille, France July 1st - 15th, 2002
10th Symposium on the Integration of Symbolic Computation and
Mechanized Reasoning
Deadlines:
-
March 08th, 2002 Papers due
-
April 2nd, 2002 Notification of acceptance
-
April 19th, 2002 Camera-ready papers due
- Internet Accessible Mathematical Computation
-
Lille, France July 07th, 2002
a Workshop at ISSAC 2002
Deadlines:
-
May 12th, 2002 Abstract due
-
May 27th, 2002 Notification of acceptance
-
June 10th, 2002 Description of the software required for demos due.
-
June 27th, 2002 Full papers due
- Third International Workshop on Logical Frameworks and
Meta-Languages
-
Copenhagen, Denmark July 26th, 2002
A FLoC'02 affiliated workshop
Deadlines:
-
April 15th, 2002 Papers due
-
May 13th, 2002 Notification of acceptance
-
June 3rd, 2002 Full papers due
- Extreme 2002
-
Montreal Canada August 06th - 09th, 2002
Deadlines:
-
April 3rd, 2002 Paper Submission
-
May 13th, 2002 Speakers Notified
-
June 11th, 2002 Revised Papers Due
- International Congress of Mathematical Software 2002
-
Beijing August 17th - 19th, 2002
Satellite conference of ICM.
Deadlines:
-
February 15th, 2002 Papers due
-
March 31st, 2002 Notification of acceptance for papers
-
May 15th, 2002 Camera-ready due
- TPHOLS 2002
-
Hampton (Virginia) August 20th - 23rd, 2002
Deadlines:
-
February 22nd, 2002 Category A papers due
-
April 22nd, 2002 Category A notification of acceptance
-
May 17th, 2002 Category B papers due
-
May 24th, 2002 Category A camera-ready copy due
-
June 17th, 2002 Category B notification of acceptance
-
July 05th, 2002 Category B camera-ready copy due
- Find and Post Mathematics in the Web
-
Beijing August 29th - 31st, 2002
A workshop on Electronic Information and Communication in Mathematics. Satellite conference of ICM.
Deadlines:
-
March 31st, 2002 Abstracts due
- 6th European Conference on Research and Advanced Technology for
Digital Libraries (ECDL2002)
-
Rome, Italy September 16th - 18th, 2002
Deadlines:
-
May 1st, 2002 Deadline for ALL the proposals
-
May 15th, 2002 Notification of acceptance for tutorials and workshops
-
June 15th, 2002 Notification of acceptance for papers, panels and posters
-
July 1st, 2002 Camera ready papers due
- 3rd International Workshop on the Implementation of Logics
-
Tbilisi, Georgia October 14th - 18th, 2002
In conjunction with Logic for Programming, Artificial
Intelligence and Reasoning, LPAR 2002
Deadlines:
-
July 30th, 2002 Abstracts submission (4 pages)
-
August 08th, 2002 Notification of acceptance/rejection
-
October 1st, 2002 Final version
- Symposium in Honor of Bruno Buchberger's 60th Birthday
(Logic, Mathematics and Computer Science: Interactions)
-
Research Institute for Symbolic Computation (RISC), Austria October 20th - 22nd, 2002
Deadlines:
-
August 22nd, 2002 Paper submission
-
September 22nd, 2002 Notification of acceptance/rejection
-
October 1st, 2002 Early Registration
-
October 07th, 2002 Camera-ready submission
-
October 18th, 2002 Late Registration
- Symposium on Logic, Mathematics, and Computer Science: Interactions
-
Hagenberg, Austria October 22nd - 24th, 2002
Deadlines:
-
August 22nd, 2002 Deadline for paper submission
-
October 1st, 2002 Early Registration
-
October 18th, 2002 Late Registration
- Special Issue of the Journal of Symbolic Computation
-
In association with the MathML International Conference
2002
Deadlines:
-
October 25th, 2002 Paper Submission
- 6th International Conference on Electronic Publishing (ELPUB 2002)
-
Karlovy Vary, Czech Republic November 06th - 09th, 2002
Deadlines:
-
February 15th, 2002 Abstracts due
-
June 28th, 2002 Full papers due
- First International Workshop on Isomorphisms of Types
-
Toulouse, France November 08th - 09th, 2002
- Workshop in Termination and Type Theory
-
Goteborg November 14th - 15th, 2002
Deadlines:
-
October 12th, 2002 Participation notification
- First European Workshop on MathML & Scientific e-Contents
-
University of Trieste, Italy November 21st - 22nd, 2002
Deadlines:
-
November 1st, 2002 Deadline for free registration
- Journ?es Francophones de Langages Applicatifs (JFLA'2003)
-
Chamrousee (Is?re) January 27th - 28th, 2003
Deadlines:
-
October 1st, 2002 Submission
-
November 11th, 2002 Notification
-
December 09th, 2002 Camera ready due
- Second International Conference on Mathematical Knowledge Management (MKM 2003)
-
Bertinoro (IT) February 16th - 18th, 2003
Deadlines:
-
September 09th, 2002 Papers due
-
November 1st, 2002 Notification
-
November 22nd, 2002 Camera-ready due
- TYPES-WG annual meeting - TORINO 2003
-
Torino (IT) April 30th - May 04th, 2003
- Special Issue of the Journal of Automated Reasoning
-
Automated Reasoning and Theorem Proving in
Education (ARTE)
Deadlines:
-
December 10th, 2002 Submission
-
May 10th, 2003 Notification
- Mathematics on the Semantic Web
-
Eindhoven, The Netherlands May 12th - 14th, 2003
Deadlines:
-
April 1st, 2003 Short presentation abstract
- The Twelfth International World Wide Web Conference
-
Budapest Convention Centre, Budapest, HUNGARY May 20th - 24th, 2003
Deadlines:
-
November 15th, 2002 Paper submission
-
January 31st, 2003 Notification of acceptance/rejection
-
February 28th, 2003 Final Paper
- Back to Typography - EuroTeX 2003
-
Brest (Brittany, France) June 24th - 27th, 2003
Deadlines:
-
November 18th, 2002 Abstracts submission
-
January 15th, 2003 Notification of acceptance/rejection
-
March 15th, 2003 First Draft
-
May 15th, 2003 Final Paper
- Thirtieth International Colloquium on Automata, Languages and Programming
-
Eindhoven, The Netherlands June 30th - July 04th, 2003
Deadlines:
-
January 12th, 2003 Submission
-
March 18th, 2003 Notification
-
April 13th, 2003 Final Version
- Mathematics, Logic and Computation, In honour of N.G. de Bruijn's 85th anniversary
-
Eindhoven, the Netherlands July 04th - 05th, 2003
Deadlines:
-
March 09th, 2003 Submission deadline of workshop papers
-
May 15th, 2003 Notification of acceptance
-
May 15th, 2003 Revision of accepted paper for inclusion in informal
workshop proceedings
- 25th Anniversary of TeX
-
On the Kohala Coast of the Big Island, Hawai'i July 20th - 24th, 2003
Deadlines:
-
November 18th, 2002 Abstracts submission
-
December 18th, 2002 Notification of acceptance/rejection
-
February 09th, 2003 First Draft
-
June 09th, 2003 Final Paper
- FIRST EUROPEAN SUMMER SCHOOL ON ONTOLOGICAL ENGINEERING AND THE SEMANTIC WEB (SSSW-2003)
-
Cercedilla, near Madrid, Spain July 21st - 26th, 2003
Deadlines:
-
March 22nd, 2003 Registration deadline
- CADE-19 Workshop - Model Computation - Principles, Algorithms, Applications
-
Miami, Florida, USA July 29th, 2003
Deadlines:
-
April 14th, 2003 Paper submissions deadline
-
May 16th, 2003 Notification of acceptance
-
June 30th, 2003 Final versions due
-
May 23rd, 2003 Early registration
- Extreme 2003
-
Montreal Canada August 04th - 08th, 2003
Deadlines:
-
April 3rd, 2003 Paper Submission
-
May 20th, 2003 Speakers Notified
-
June 24th, 2003 Revised Papers Due
- 15th European Summer School in Logic, Language and Information
-
Vienna, Austria August 18th - 29th, 2003
Deadlines:
-
June 15th, 2003 Early registration deadline
- Annual Conference of the European Association for Computer Science Logic and 8th Kurt Goedel Colloquium
-
Vienna, Austria August 25th - 30th, 2003
Deadlines:
-
March 31st, 2003 Submission of abstract
-
April 07th, 2003 Submission of full text
-
June 2nd, 2003 Notification of acceptance
-
June 18th, 2003 Final copy
- TPHOLS 2003 + TABLEAUX 2003 + CALCULEMUS 2003 + UITP 2003
-
Rome (Italy) September 08th - 12th, 2003
URLs for the three conferences:
http://tphols.informatik.uni-freiburg.de
http://tab2003.dia.uniroma3.it
http://www-calfor.lip6.fr/~rr/Calculemus03
Deadlines:
-
February 21st, 2003 TPHOLS 2003 Mature Work Submissions
-
April 20th, 2003 TPHOLS 2003 Emerging Trends Submissions
-
April 15th, 2003 TPHOLS 2003 Notification of acceptance
-
May 15th, 2003 TPHOLS 2003 Camera ready due for Mature Work
-
May 23rd, 2003 Calculemus 2003 Papers Submissions
-
June 1st, 2003 UITP 2003 Paper and Abstract Submissions
-
June 16th, 2003 Calculemus 2003 Papers Notification
-
June 21st, 2003 UITP 2003 Paper and Abstract Notification
-
July 08th, 2003 Calculemus 2003 Camera ready due
-
August 2nd, 2003 UITP 2003 Camera ready due
- International Conference on Logic for Programming Artificial Intelligence and Reasoning
-
Almaty, Kazakhstan September 22nd - 26th, 2003
Deadlines:
-
April 28th, 2003 Submission of abstract
-
May 05th, 2003 Submission of paper
-
June 16th, 2003 Notification
-
July 07th, 2003 Final version
- Third International Conference on Quality Software
-
Friendship Hotel, Beijing September 25th - 26th, 2003
Deadlines:
-
March 24th, 2003 Submission deadline
-
May 16th, 2003 Acceptance notification
- EIGHT ITALIAN CONFERENCE ON THEORETICAL COMPUTER SCIENCE (ICTCS'03)
-
University Center, Bertinoro, Italy October 13th - 15th, 2003
Deadlines:
-
March 30th, 2003 Submission
-
June 06th, 2003 Notification
- The 12th Advanced Research Working Conference on: Correct Hardware Design and Verification Methods
-
L'Aquila, Italy October 21st - 24th, 2003
Deadlines:
-
April 11th, 2003 Deadline for paper submission
-
June 06th, 2003 Notification of acceptance
-
July 11th, 2003 Deadline for final version
- Fifth International Conference on Formal Engineering Methods
-
National University of Singapore November 05th - 07th, 2003
Deadlines:
-
May 19th, 2003 Submission of draft paper
-
July 07th, 2003 Notification of acceptance
-
August 1st, 2003 Final copy for Proceedings
- OpenMath Thematic Network Meeting
-
International University Bremen November 07th - 08th, 2003
- Mathematical Knowledge Management Symposium
-
Heriot-Watt University, Edinburgh, Scotland November 25th - 30th, 2003
Deadlines:
-
October 20th, 2003 submission deadline of papers
-
November 10th, 2003 notification of acceptance of the papers for the symposium
-
November 12th, 2003 deadline for registration for participating at the symposium
-
November 17th, 2003 revision of accepted paper for inclusion in informal symposium proceedings
-
January 15th, 2004 submission deadline of papers for the special issue on Mathematical Knowledge Management
- 3rd International LEGE-WG Workshop: Towards a European Learning GRID Infrastructure
-
Berlin, Germany December 3rd, 2003
Deadlines:
-
October 31st, 2003 Papers due
-
November 10th, 2003 Notification of acceptance
-
November 21st, 2003 Camera-ready due
- Second North American Workshop
On Mathematical Knowledge Management
-
Phoenix, Arizona, USA January 06th, 2004
Deadlines:
-
November 21st, 2003 Deadline for presentation proposals
- Days in Logic
-
Braga, Portugal January 22nd - 24th, 2004
Deadlines:
-
November 30th, 2003 Abstract of the talk due
- 1st International Workshop on Web Services and Formal Methods (WS-WM 2004)
-
Pisa, Italy February 23rd, 2004
Deadlines:
-
December 15th, 2003 Papers due
-
January 26th, 2004 Notification
-
February 09th, 2004 Camera ready due
- 5th International Workshop on Rewriting Logics and its Applications
-
Barcelona, Spain March 27th - 28th, 2004
Deadlines:
-
December 1st, 2003 Papers due
-
January 15th, 2004 Notification
-
February 18th, 2004 Camera ready due
- IMA "Hot Topics" Workshop: Enhancing the Searching of Mathematics
-
Minneapolis April 26th - 27th, 2004
Deadlines:
-
January 15th, 2004 Registration and request for funding
- The W3C Workshop on Web Applications and Compound Documents
-
San Jose, California, USA June 1st - 2nd, 2004
Deadlines:
-
April 30th, 2004 Papers due
- Second International Workshop on Higher-Order Rewriting
-
Aachen, Germany June 2nd, 2004
Deadlines:
-
March 17th, 2004 Papers due
-
April 09th, 2004 Notification
-
April 23rd, 2004 Camera ready due
- Fourth International Workshop on Reduction Strategies in Rewriting and Programming
-
Aachen, Germany June 2nd, 2004
Deadlines:
-
March 17th, 2004 Papers due
-
April 14th, 2004 Notification
-
May 2nd, 2004 Final version
- New Developments in Electronic Publishing of Mathematics
-
Stockholm June 25th - 27th, 2004
Deadlines:
-
June 1st, 2004 Papers due
- Fourth International Workshop on Logical Frameworks and
Meta-Languages
-
Cork, Ireland July 04th - 08th, 2004
Deadlines:
-
April 12th, 2004 Papers due
-
May 10th, 2004 Notification
-
May 31st, 2004 Camera ready due
- Second International Joint Conference on Automated Reasoning
-
University College Cork
Cork, County Cork, Ireland July 04th - 08th, 2004
Deadlines:
-
January 05th, 2004 Main Technical Programme: Deadline for submissions
-
March 22nd, 2004 Main Technical Programme: Acceptance/rejection notification
-
April 14th, 2004 Main Technical Programme: Deadline for camera-ready copy
-
November 16th, 2003 Workshop Programme: Deadline for proposal submissions
-
December 12th, 2003 Workshop Programme: Acceptance/rejection notification
-
June 13th, 2004 Workshop Programme: Deadline for camera-ready copy of workshop notes
-
December 08th, 2003 Tutorial Programme: Deadline for proposal submissions
- International Symposium on Symbolic and Algebraic Computation
-
University of Cantabria, Santander, Spain July 04th - 07th, 2004
Deadlines:
-
January 07th, 2004 Deadline for Submissions
-
March 3rd, 2004 Notification of Acceptance
-
April 16th, 2004 Camera-ready copy received
- 31st International Colloquium on Automata, Languages and Programming
-
Turku, Finland July 12th - 16th, 2004
Deadlines:
-
November 30th, 2003 Workshop proposals
-
February 08th, 2004 Papers due
-
March 31st, 2004 Notification
-
April 27th, 2004 Final version
- Extreme Markup Languages 2004
-
Montreal, Canada August 2nd - 06th, 2004
Deadlines:
-
April 16th, 2004 Paper Submissions due
-
May 28th, 2004 Notification
-
June 25th, 2004 Camera ready due
- International Conference on TeX,
XML and Digital Typography
-
Xanthi, Greece August 30th - September 3rd, 2004
Deadlines:
-
October 31st, 2003 Abstracts due
-
November 28th, 2003 Abstracts accepted
-
February 27th, 2004 Draft paper due
-
March 26th, 2004 Early registration
-
April 30th, 2004 Final paper due
- 17th International Conference on Theorem Proving in Higher Order Logics
-
Park City, Utah September 14th - 17th, 2004
Deadlines:
-
February 20th, 2004 Papers due (mature work track)
-
April 2nd, 2004 Notification (mature work track)
-
May 07th, 2004 Camera-ready (mature work track)
-
May 21st, 2004 Papers due (emerging trends track)
-
June 18th, 2004 Notification (emerging trends track)
-
July 16th, 2004 Camera-ready (emerging trends track)
- Third International Conference on Mathematical Knowledge Management
-
Bialowieza - Poland September 19th - 21st, 2004
Deadlines:
-
April 15th, 2004 Papers due
-
June 1st, 2004 Notification
-
July 1st, 2004 Camera ready due
- 7th International Conference on Artificial Intelligence and Symbolic Computation: Theory, Implementations and Applications
-
RISC (Research Institute for Symbolic Computation), Castle of Hagenberg, Austria September 22nd - 24th, 2004
Deadlines:
-
May 1st, 2004 Submission
-
June 20th, 2004 Notification
-
June 31st, 2004 Camera ready
- Types for Mathematics/Libraries of Formal Mathematics
-
Nijmegen, NL November 1st - 2nd, 2004
- Trends in Functional Programming
-
Munich, Germany November 25th - 26th, 2004
Deadlines:
-
November 1st, 2004 Registration
-
November 15th, 2004 Draft proceedings
-
December 20th, 2004 Submission for referees
-
January 31st, 2005 Notification
- TYPES 2004
-
Jouy-en-Josas December 15th - 18th, 2004
Deadlines:
-
October 15th, 2004 Abstract due
- Journees Francophones des Langages Applicatifs
-
Obernai March 09th - 10th, 2005
Deadlines:
-
November 15th, 2004 Papers due
-
January 1st, 2005 Notification
-
February 1st, 2005 Camera ready due
- The 11th International Conference on Logic for Programming, Articificial
Intelligence and Reasoning (LPAR)
-
Montevideo, Uruguay March 14th - 18th, 2005
Deadlines:
-
November 22nd, 2004 Abstracts due
-
November 28th, 2004 Papers due
-
January 14th, 2005 Notification
-
January 26th, 2005 Camera ready due
- User Interfaces for Theorem Provers UITP 2005
-
Edinburgh (Scotland) April 09th, 2005
Deadlines:
-
January 14th, 2005 Papers due
-
February 14th, 2005 Notification
-
March 04th, 2005 Camera ready due
- Small Types Workshop: High Level Languages for Proofs
-
Chambery (FR) April 13th - 14th, 2005
- Seventh International Conference on Typed Lambda Calculi and
Applications (TLCA)
-
Nara, Japan April 21st - 23rd, 2005
Deadlines:
-
October 25th, 2004 Abstracts due
-
November 2nd, 2004 Papers due
-
December 22nd, 2004 Notification
-
January 31st, 2005 Camera ready due
- Intelligent Information Systems (IIS) 2005
-
Gdansk, Poland June 13th - 16th, 2005
Deadlines:
-
November 2nd, 2004 Papers due
- Seventh ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming
-
Lisboa, Portugal July 11th - 13th, 2005
Deadlines:
-
February 13th, 2005 Papers due
- Formal Methods in Applied Mathematics
-
Paris July 11th - 15th, 2005
Deadlines:
-
October 15th, 2004 Abstracts due
-
March 15th, 2005 Notification
-
April 1st, 2005 Camera ready due
- 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning
-
Edinburgh, UK July 12th, 2005
Deadlines:
-
April 09th, 2005 Papers due
-
May 14th, 2005 Notification
-
June 11th, 2005 Camera ready due
- Structures and Deduction
-
Lisbon July 16th - 17th, 2005
Deadlines:
-
April 15th, 2005 Papers due
-
May 22nd, 2005 Notification
-
June 10th, 2005 Camera ready due
- Calculemus 2005
-
Newcastle upon Tyne (UK) July 18th - 19th, 2005
Deadlines:
-
February 18th, 2005 Abstract due
-
March 11th, 2005 Papers due
-
April 15th, 2005 Notification
-
May 13th, 2005 Camera ready due
- 20th International Conference on Automated Deduction CADE-20
-
Tallin, Estonia July 22nd - 25th, 2005
Deadlines:
-
February 25th, 2005 Abstract due
-
March 04th, 2005 Papers due
-
April 22nd, 2005 Notification
-
May 20th, 2005 Camera ready due
- Theorem Proving in Higher Order Logics
-
Oxford (UK) August 22nd - 25th, 2005
Deadlines:
-
February 18th, 2005 Papers due (mature work)
-
April 15th, 2005 Notification (mature work)
-
May 13th, 2005 Camera ready due (mature work)
-
May 27th, 2005 Papers due (emerging trends)
-
June 13th, 2005 Notification (mature work)
-
July 15th, 2005 Camera ready due (mature work)
- TABLEAUX 2005
-
Koblenz, DE September 14th - 17th, 2005
Deadlines:
-
April 30th, 2005 Papers due
-
June 25th, 2005 Notification
-
July 10th, 2005 Camera ready due
- GPCE'05
-
Tallin, Estonia September 29th - October 1st, 2005
Deadlines:
-
April 10th, 2005 Abstract due
-
April 15th, 2005 Paper due
-
May 30th, 2005 Notification
- Ninth Italian Conference on Theoretical Computer Science (ICTCS'05)
-
Certosa di Pontignano (Siena), IT October 12th - 14th, 2005
Deadlines:
-
April 15th, 2005 Papers due
-
June 07th, 2005 Notification
-
July 2nd, 2005 Camera ready due