Project

Contact

Project Leader:

Prof. Andrea Asperti

Webmaster:

mowgli-webmaster@cs.unibo.it

[Frames]

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

Other Events

[Sorted by event date] [Sorted by deadline]

Past Events

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