MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces

Other Events

Past Events

• July 15th, 2005 Camera ready due (mature work) Theorem Proving in Higher Order Logics
• July 10th, 2005 Camera ready due TABLEAUX 2005
• July 2nd, 2005 Camera ready due Ninth Italian Conference on Theoretical Computer Science (ICTCS'05)
• June 25th, 2005 Notification TABLEAUX 2005
• June 13th, 2005 Notification (mature work) Theorem Proving in Higher Order Logics
• June 11th, 2005 Camera ready due 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning
• June 10th, 2005 Camera ready due Structures and Deduction
• June 07th, 2005 Notification Ninth Italian Conference on Theoretical Computer Science (ICTCS'05)
• May 30th, 2005 Notification GPCE'05
• May 27th, 2005 Papers due (emerging trends) Theorem Proving in Higher Order Logics
• May 22nd, 2005 Notification Structures and Deduction
• May 20th, 2005 Camera ready due 20th International Conference on Automated Deduction CADE-20
• May 14th, 2005 Notification 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning
• May 13th, 2005 Camera ready due (mature work) Theorem Proving in Higher Order Logics
• May 13th, 2005 Camera ready due Calculemus 2005
• April 30th, 2005 Papers due TABLEAUX 2005
• April 22nd, 2005 Notification 20th International Conference on Automated Deduction CADE-20
• April 15th, 2005 Papers due Structures and Deduction
• April 15th, 2005 Paper due GPCE'05
• April 15th, 2005 Papers due Ninth Italian Conference on Theoretical Computer Science (ICTCS'05)
• April 15th, 2005 Notification (mature work) Theorem Proving in Higher Order Logics
• April 15th, 2005 Notification Calculemus 2005
• April 10th, 2005 Abstract due GPCE'05
• April 09th, 2005 Papers due 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning
• April 1st, 2005 Camera ready due Formal Methods in Applied Mathematics
• March 15th, 2005 Notification Formal Methods in Applied Mathematics
• March 11th, 2005 Papers due Calculemus 2005
• March 04th, 2005 Papers due 20th International Conference on Automated Deduction CADE-20
• March 04th, 2005 Camera ready due User Interfaces for Theorem Provers UITP 2005
• February 25th, 2005 Abstract due 20th International Conference on Automated Deduction CADE-20
• February 18th, 2005 Papers due (mature work) Theorem Proving in Higher Order Logics
• February 18th, 2005 Abstract due Calculemus 2005
• February 14th, 2005 Notification User Interfaces for Theorem Provers UITP 2005
• February 13th, 2005 Papers due Seventh ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming
• February 1st, 2005 Camera ready due Journees Francophones des Langages Applicatifs
• January 31st, 2005 Notification Trends in Functional Programming
• January 31st, 2005 Camera ready due Seventh International Conference on Typed Lambda Calculi and Applications (TLCA)
• January 26th, 2005 Camera ready due The 11th International Conference on Logic for Programming, Articificial Intelligence and Reasoning (LPAR)
• January 14th, 2005 Papers due User Interfaces for Theorem Provers UITP 2005
• January 14th, 2005 Notification The 11th International Conference on Logic for Programming, Articificial Intelligence and Reasoning (LPAR)
• January 1st, 2005 Notification Journees Francophones des Langages Applicatifs
• December 22nd, 2004 Notification Seventh International Conference on Typed Lambda Calculi and Applications (TLCA)
• December 20th, 2004 Submission for referees Trends in Functional Programming
• November 28th, 2004 Papers due The 11th International Conference on Logic for Programming, Articificial Intelligence and Reasoning (LPAR)
• November 22nd, 2004 Abstracts due The 11th International Conference on Logic for Programming, Articificial Intelligence and Reasoning (LPAR)
• November 15th, 2004 Papers due (15-30 pages) Journal of Applied Logic: Special Issue on Mathematics Assistance Systems
• November 15th, 2004 Draft proceedings Trends in Functional Programming
• November 15th, 2004 Papers due Journees Francophones des Langages Applicatifs
• November 2nd, 2004 Papers due Intelligent Information Systems (IIS) 2005
• November 2nd, 2004 Papers due Seventh International Conference on Typed Lambda Calculi and Applications (TLCA)
• November 1st, 2004 Registration Trends in Functional Programming
• October 25th, 2004 Abstracts due Seventh International Conference on Typed Lambda Calculi and Applications (TLCA)
• October 15th, 2004 Abstracts due Formal Methods in Applied Mathematics
• October 15th, 2004 Abstract due TYPES 2004
• July 16th, 2004 Camera-ready (emerging trends track) 17th International Conference on Theorem Proving in Higher Order Logics
• July 1st, 2004 Camera ready due Third International Conference on Mathematical Knowledge Management
• June 31st, 2004 Camera ready 7th International Conference on Artificial Intelligence and Symbolic Computation: Theory, Implementations and Applications
• June 25th, 2004 Camera ready due Extreme Markup Languages 2004
• June 20th, 2004 Notification 7th International Conference on Artificial Intelligence and Symbolic Computation: Theory, Implementations and Applications
• June 18th, 2004 Notification (emerging trends track) 17th International Conference on Theorem Proving in Higher Order Logics
• June 13th, 2004 Workshop Programme: Deadline for camera-ready copy of workshop notes Second International Joint Conference on Automated Reasoning
• June 1st, 2004 Papers due New Developments in Electronic Publishing of Mathematics
• June 1st, 2004 Notification Third International Conference on Mathematical Knowledge Management
• May 31st, 2004 Camera ready due Fourth International Workshop on Logical Frameworks and Meta-Languages
• May 28th, 2004 Notification Extreme Markup Languages 2004
• May 21st, 2004 Papers due (emerging trends track) 17th International Conference on Theorem Proving in Higher Order Logics
• May 10th, 2004 Notification Fourth International Workshop on Logical Frameworks and Meta-Languages
• May 07th, 2004 Camera-ready (mature work track) 17th International Conference on Theorem Proving in Higher Order Logics
• May 2nd, 2004 Final version Fourth International Workshop on Reduction Strategies in Rewriting and Programming
• May 1st, 2004 Submission 7th International Conference on Artificial Intelligence and Symbolic Computation: Theory, Implementations and Applications
• April 30th, 2004 Papers due The W3C Workshop on Web Applications and Compound Documents
• April 30th, 2004 Final paper due International Conference on TeX, XML and Digital Typography
• April 27th, 2004 Final version 31st International Colloquium on Automata, Languages and Programming
• April 23rd, 2004 Camera ready due Second International Workshop on Higher-Order Rewriting
• April 16th, 2004 Paper Submissions due Extreme Markup Languages 2004
• April 16th, 2004 Camera-ready copy received International Symposium on Symbolic and Algebraic Computation
• April 15th, 2004 Papers due Third International Conference on Mathematical Knowledge Management
• April 14th, 2004 Notification Fourth International Workshop on Reduction Strategies in Rewriting and Programming
• April 14th, 2004 Main Technical Programme: Deadline for camera-ready copy Second International Joint Conference on Automated Reasoning
• April 12th, 2004 Papers due Fourth International Workshop on Logical Frameworks and Meta-Languages
• April 09th, 2004 Notification Second International Workshop on Higher-Order Rewriting
• April 2nd, 2004 Notification (mature work track) 17th International Conference on Theorem Proving in Higher Order Logics
• March 31st, 2004 Notification 31st International Colloquium on Automata, Languages and Programming
• March 26th, 2004 Early registration International Conference on TeX, XML and Digital Typography
• March 22nd, 2004 Main Technical Programme: Acceptance/rejection notification Second International Joint Conference on Automated Reasoning
• March 17th, 2004 Papers due Second International Workshop on Higher-Order Rewriting
• March 17th, 2004 Papers due Fourth International Workshop on Reduction Strategies in Rewriting and Programming
• March 3rd, 2004 Notification of Acceptance International Symposium on Symbolic and Algebraic Computation
• February 27th, 2004 Draft paper due International Conference on TeX, XML and Digital Typography
• February 20th, 2004 Papers due (mature work track) 17th International Conference on Theorem Proving in Higher Order Logics
• February 18th, 2004 Camera ready due 5th International Workshop on Rewriting Logics and its Applications
• February 09th, 2004 Camera ready due 1st International Workshop on Web Services and Formal Methods (WS-WM 2004)
• February 08th, 2004 Papers due 31st International Colloquium on Automata, Languages and Programming
• January 26th, 2004 Notification 1st International Workshop on Web Services and Formal Methods (WS-WM 2004)
• January 15th, 2004 Notification 5th International Workshop on Rewriting Logics and its Applications
• January 15th, 2004 Registration and request for funding IMA "Hot Topics" Workshop: Enhancing the Searching of Mathematics
• January 15th, 2004 submission deadline of papers for the special issue on Mathematical Knowledge Management Mathematical Knowledge Management Symposium
• January 07th, 2004 Deadline for Submissions International Symposium on Symbolic and Algebraic Computation
• January 05th, 2004 Main Technical Programme: Deadline for submissions Second International Joint Conference on Automated Reasoning
• December 15th, 2003 Papers due 1st International Workshop on Web Services and Formal Methods (WS-WM 2004)
• December 12th, 2003 Workshop Programme: Acceptance/rejection notification Second International Joint Conference on Automated Reasoning
• December 08th, 2003 Tutorial Programme: Deadline for proposal submissions Second International Joint Conference on Automated Reasoning
• December 1st, 2003 Papers due 5th International Workshop on Rewriting Logics and its Applications
• November 30th, 2003 Abstract of the talk due Days in Logic
• November 30th, 2003 Workshop proposals 31st International Colloquium on Automata, Languages and Programming
• November 28th, 2003 Abstracts accepted International Conference on TeX, XML and Digital Typography
• November 21st, 2003 Camera-ready due 3rd International LEGE-WG Workshop: Towards a European Learning GRID Infrastructure
• November 21st, 2003 Deadline for presentation proposals Second North American Workshop On Mathematical Knowledge Management
• November 17th, 2003 revision of accepted paper for inclusion in informal symposium proceedings Mathematical Knowledge Management Symposium
• November 16th, 2003 Workshop Programme: Deadline for proposal submissions Second International Joint Conference on Automated Reasoning
• November 12th, 2003 deadline for registration for participating at the symposium Mathematical Knowledge Management Symposium
• November 10th, 2003 Notification of acceptance 3rd International LEGE-WG Workshop: Towards a European Learning GRID Infrastructure
• November 10th, 2003 notification of acceptance of the papers for the symposium Mathematical Knowledge Management Symposium
• October 31st, 2003 Papers due 3rd International LEGE-WG Workshop: Towards a European Learning GRID Infrastructure
• October 31st, 2003 Abstracts due International Conference on TeX, XML and Digital Typography
• October 20th, 2003 submission deadline of papers Mathematical Knowledge Management Symposium
• August 2nd, 2003 UITP 2003 Camera ready due TPHOLS 2003 + TABLEAUX 2003 + CALCULEMUS 2003 + UITP 2003
• August 1st, 2003 Final copy for Proceedings Fifth International Conference on Formal Engineering Methods
• July 11th, 2003 Deadline for final version The 12th Advanced Research Working Conference on: Correct Hardware Design and Verification Methods
• July 08th, 2003 Calculemus 2003 Camera ready due TPHOLS 2003 + TABLEAUX 2003 + CALCULEMUS 2003 + UITP 2003
• July 07th, 2003 Final version International Conference on Logic for Programming Artificial Intelligence and Reasoning
• July 07th, 2003 Notification of acceptance Fifth International Conference on Formal Engineering Methods
• June 30th, 2003 Final versions due CADE-19 Workshop - Model Computation - Principles, Algorithms, Applications
• June 24th, 2003 Revised Papers Due Extreme 2003
• June 21st, 2003 UITP 2003 Paper and Abstract Notification TPHOLS 2003 + TABLEAUX 2003 + CALCULEMUS 2003 + UITP 2003
• June 18th, 2003 Final copy Annual Conference of the European Association for Computer Science Logic and 8th Kurt Goedel Colloquium
• June 16th, 2003 Notification International Conference on Logic for Programming Artificial Intelligence and Reasoning
• June 16th, 2003 Calculemus 2003 Papers Notification TPHOLS 2003 + TABLEAUX 2003 + CALCULEMUS 2003 + UITP 2003
• June 15th, 2003 Early registration deadline 15th European Summer School in Logic, Language and Information
• June 09th, 2003 Final Paper 25th Anniversary of TeX
• June 06th, 2003 Notification of acceptance The 12th Advanced Research Working Conference on: Correct Hardware Design and Verification Methods
• June 06th, 2003 Notification EIGHT ITALIAN CONFERENCE ON THEORETICAL COMPUTER SCIENCE (ICTCS'03)
• June 2nd, 2003 Notification of acceptance Annual Conference of the European Association for Computer Science Logic and 8th Kurt Goedel Colloquium
• June 1st, 2003 UITP 2003 Paper and Abstract Submissions TPHOLS 2003 + TABLEAUX 2003 + CALCULEMUS 2003 + UITP 2003
• May 23rd, 2003 Early registration CADE-19 Workshop - Model Computation - Principles, Algorithms, Applications
• May 23rd, 2003 Calculemus 2003 Papers Submissions TPHOLS 2003 + TABLEAUX 2003 + CALCULEMUS 2003 + UITP 2003
• May 20th, 2003 Speakers Notified Extreme 2003
• May 19th, 2003 Submission of draft paper Fifth International Conference on Formal Engineering Methods
• May 16th, 2003 Acceptance notification Third International Conference on Quality Software
• May 16th, 2003 Notification of acceptance CADE-19 Workshop - Model Computation - Principles, Algorithms, Applications
• May 15th, 2003 Notification of acceptance Mathematics, Logic and Computation, In honour of N.G. de Bruijn's 85th anniversary
• May 15th, 2003 Revision of accepted paper for inclusion in informal workshop proceedings Mathematics, Logic and Computation, In honour of N.G. de Bruijn's 85th anniversary
• May 15th, 2003 TPHOLS 2003 Camera ready due for Mature Work TPHOLS 2003 + TABLEAUX 2003 + CALCULEMUS 2003 + UITP 2003
• May 15th, 2003 Final Paper Back to Typography - EuroTeX 2003
• May 10th, 2003 Notification Special Issue of the Journal of Automated Reasoning
• May 05th, 2003 Submission of paper International Conference on Logic for Programming Artificial Intelligence and Reasoning
• April 28th, 2003 Submission of abstract International Conference on Logic for Programming Artificial Intelligence and Reasoning
• April 20th, 2003 TPHOLS 2003 Emerging Trends Submissions TPHOLS 2003 + TABLEAUX 2003 + CALCULEMUS 2003 + UITP 2003
• April 15th, 2003 TPHOLS 2003 Notification of acceptance TPHOLS 2003 + TABLEAUX 2003 + CALCULEMUS 2003 + UITP 2003
• April 14th, 2003 Paper submissions deadline CADE-19 Workshop - Model Computation - Principles, Algorithms, Applications
• April 13th, 2003 Final Version Thirtieth International Colloquium on Automata, Languages and Programming
• April 11th, 2003 Deadline for paper submission The 12th Advanced Research Working Conference on: Correct Hardware Design and Verification Methods
• April 07th, 2003 Submission of full text Annual Conference of the European Association for Computer Science Logic and 8th Kurt Goedel Colloquium
• April 3rd, 2003 Paper Submission Extreme 2003
• April 1st, 2003 Short presentation abstract Mathematics on the Semantic Web
• March 31st, 2003 Submission of abstract Annual Conference of the European Association for Computer Science Logic and 8th Kurt Goedel Colloquium
• March 30th, 2003 Submission EIGHT ITALIAN CONFERENCE ON THEORETICAL COMPUTER SCIENCE (ICTCS'03)
• March 24th, 2003 Submission deadline Third International Conference on Quality Software
• March 22nd, 2003 Registration deadline FIRST EUROPEAN SUMMER SCHOOL ON ONTOLOGICAL ENGINEERING AND THE SEMANTIC WEB (SSSW-2003)
• March 18th, 2003 Notification Thirtieth International Colloquium on Automata, Languages and Programming
• March 15th, 2003 First Draft Back to Typography - EuroTeX 2003
• March 15th, 2003 Full papers due Sixth International Conference on Typed Lambda Calculi and Applications (TLCA '03)
• March 09th, 2003 Submission deadline of workshop papers Mathematics, Logic and Computation, In honour of N.G. de Bruijn's 85th anniversary
• February 28th, 2003 Final Paper The Twelfth International World Wide Web Conference
• February 21st, 2003 TPHOLS 2003 Mature Work Submissions TPHOLS 2003 + TABLEAUX 2003 + CALCULEMUS 2003 + UITP 2003
• February 09th, 2003 First Draft 25th Anniversary of TeX
• January 31st, 2003 Notification of acceptance/rejection The Twelfth International World Wide Web Conference
• January 30th, 2003 Notification of acceptance Sixth International Conference on Typed Lambda Calculi and Applications (TLCA '03)
• January 15th, 2003 Notification of acceptance/rejection Back to Typography - EuroTeX 2003
• January 12th, 2003 Submission Thirtieth International Colloquium on Automata, Languages and Programming
• December 18th, 2002 Notification of acceptance/rejection 25th Anniversary of TeX
• December 10th, 2002 Submission Special Issue of the Journal of Automated Reasoning
• December 09th, 2002 Camera ready due Journ?es Francophones de Langages Applicatifs (JFLA'2003)
• November 29th, 2002 Papers due Sixth International Conference on Typed Lambda Calculi and Applications (TLCA '03)
• November 22nd, 2002 Camera-ready due Second International Conference on Mathematical Knowledge Management (MKM 2003)
• November 18th, 2002 Abstracts submission Back to Typography - EuroTeX 2003
• November 18th, 2002 Abstracts submission 25th Anniversary of TeX
• November 15th, 2002 Paper submission The Twelfth International World Wide Web Conference
• November 11th, 2002 Notification Journ?es Francophones de Langages Applicatifs (JFLA'2003)
• November 1st, 2002 Deadline for free registration First European Workshop on MathML & Scientific e-Contents
• November 1st, 2002 Notification Second International Conference on Mathematical Knowledge Management (MKM 2003)
• October 25th, 2002 Paper Submission Special Issue of the Journal of Symbolic Computation
• October 18th, 2002 Late Registration Symposium in Honor of Bruno Buchberger's 60th Birthday (Logic, Mathematics and Computer Science: Interactions)
• October 18th, 2002 Late Registration Symposium on Logic, Mathematics, and Computer Science: Interactions
• October 12th, 2002 Participation notification Workshop in Termination and Type Theory
• October 07th, 2002 Camera-ready submission Symposium in Honor of Bruno Buchberger's 60th Birthday (Logic, Mathematics and Computer Science: Interactions)
• October 1st, 2002 Submission Journ?es Francophones de Langages Applicatifs (JFLA'2003)
• October 1st, 2002 Final version 3rd International Workshop on the Implementation of Logics
• October 1st, 2002 Early Registration Symposium in Honor of Bruno Buchberger's 60th Birthday (Logic, Mathematics and Computer Science: Interactions)
• October 1st, 2002 Early Registration Symposium on Logic, Mathematics, and Computer Science: Interactions
• September 22nd, 2002 Notification of acceptance/rejection Symposium in Honor of Bruno Buchberger's 60th Birthday (Logic, Mathematics and Computer Science: Interactions)
• September 09th, 2002 Papers due Second International Conference on Mathematical Knowledge Management (MKM 2003)
• August 22nd, 2002 Paper submission Symposium in Honor of Bruno Buchberger's 60th Birthday (Logic, Mathematics and Computer Science: Interactions)
• August 22nd, 2002 Deadline for paper submission Symposium on Logic, Mathematics, and Computer Science: Interactions
• August 08th, 2002 Notification of acceptance/rejection 3rd International Workshop on the Implementation of Logics
• July 30th, 2002 Abstracts submission (4 pages) 3rd International Workshop on the Implementation of Logics
• July 10th, 2002 Submission deadline of special edited book celebrating de Bruijn's 85th anniversary. 35 Years of Automath
• July 05th, 2002 Category B camera-ready copy due TPHOLS 2002
• July 1st, 2002 Camera ready papers due 6th European Conference on Research and Advanced Technology for Digital Libraries (ECDL2002)
• June 28th, 2002 Full papers due 6th International Conference on Electronic Publishing (ELPUB 2002)
• June 27th, 2002 Full papers due Internet Accessible Mathematical Computation
• June 26th, 2002 Deadline for full papers for JSC special issue MathML 2002
• June 17th, 2002 Category B notification of acceptance TPHOLS 2002
• June 15th, 2002 Notification of acceptance for papers, panels and posters 6th European Conference on Research and Advanced Technology for Digital Libraries (ECDL2002)
• June 11th, 2002 Revised Papers Due Extreme 2002
• June 10th, 2002 Description of the software required for demos due. Internet Accessible Mathematical Computation
• June 3rd, 2002 Full papers due Third International Workshop on Logical Frameworks and Meta-Languages
• May 31st, 2002 Final version of papers for the special issue. MKM 2001
• May 27th, 2002 Notification of acceptance Internet Accessible Mathematical Computation
• May 24th, 2002 Category A camera-ready copy due TPHOLS 2002
• May 17th, 2002 Last day for early registration MathML 2002
• May 17th, 2002 Category B papers due TPHOLS 2002
• May 15th, 2002 Notification of acceptance for tutorials and workshops 6th European Conference on Research and Advanced Technology for Digital Libraries (ECDL2002)
• May 15th, 2002 Camera-ready due International Congress of Mathematical Software 2002
• May 13th, 2002 Notification of acceptance Third International Workshop on Logical Frameworks and Meta-Languages
• May 13th, 2002 Speakers Notified Extreme 2002
• May 12th, 2002 Abstract due Internet Accessible Mathematical Computation
• May 10th, 2002 Submission deadline of papers in special issue of an international journal. 35 Years of Automath
• May 1st, 2002 Deadline for ALL the proposals 6th European Conference on Research and Advanced Technology for Digital Libraries (ECDL2002)
• April 22nd, 2002 Category A notification of acceptance TPHOLS 2002
• April 19th, 2002 Camera-ready papers due Calculemus 2002
• April 15th, 2002 Papers due Third International Workshop on Logical Frameworks and Meta-Languages
• April 15th, 2002 Deadline for final contributions WWW-2002: Semantic Web Workshop
• April 3rd, 2002 Paper Submission Extreme 2002
• April 2nd, 2002 Notification of acceptance Calculemus 2002
• April 1st, 2002 Notification of acceptance WWW-2002: Semantic Web Workshop
• March 31st, 2002 Notification of acceptance for papers International Congress of Mathematical Software 2002
• March 31st, 2002 Abstracts due Find and Post Mathematics in the Web
• March 29th, 2002 Notification of acceptance for posters and demos MathML 2002
• March 15th, 2002 Poster abstracts and demo proposals due MathML 2002
• March 11th, 2002 Notification of acceptance for papers and panels MathML 2002
• March 08th, 2002 Papers due Calculemus 2002
• March 1st, 2002 Paper submission WWW-2002: Semantic Web Workshop
• February 28th, 2002 Notification of acceptance for the special issue on Annals of Mathematics and Artificial Intelligence. MKM 2001
• February 22nd, 2002 Category A papers due TPHOLS 2002
• February 18th, 2002 Abstracts for papers and panel proposals due MathML 2002
• February 15th, 2002 Papers due International Congress of Mathematical Software 2002
• February 15th, 2002 Abstracts due 6th International Conference on Electronic Publishing (ELPUB 2002)

This page is hosted by the Department of Computer Science, University of Bologna. Last updated Fri Feb 2 17:12:26 CET 2007.