Other Events

[Sorted by event date] [Sorted by deadline]

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:18 CET 2007.