IST Logo Small

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:


35 Years of Automath
Edinburgh April 10th - 13th, 2002

Deadlines:


WWW-2002: Semantic Web Workshop
Hawaii May 07th, 2002

Workshop associated to WWW2002

Deadlines:


MathML 2002
Chicago June 28th - 30th, 2002

Deadlines:


Calculemus 2002
Marseille, France July 1st - 15th, 2002

10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning

Deadlines:


Internet Accessible Mathematical Computation
Lille, France July 07th, 2002

a Workshop at ISSAC 2002

Deadlines:


Third International Workshop on Logical Frameworks and Meta-Languages
Copenhagen, Denmark July 26th, 2002

A FLoC'02 affiliated workshop

Deadlines:


Extreme 2002
Montreal Canada August 06th - 09th, 2002

Deadlines:


International Congress of Mathematical Software 2002
Beijing August 17th - 19th, 2002

Satellite conference of ICM.

Deadlines:


TPHOLS 2002
Hampton (Virginia) August 20th - 23rd, 2002

Deadlines:


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:


6th European Conference on Research and Advanced Technology for Digital Libraries (ECDL2002)
Rome, Italy September 16th - 18th, 2002

Deadlines:


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:


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:


Symposium on Logic, Mathematics, and Computer Science: Interactions
Hagenberg, Austria October 22nd - 24th, 2002

Deadlines:


Special Issue of the Journal of Symbolic Computation

In association with the MathML International Conference 2002

Deadlines:


6th International Conference on Electronic Publishing (ELPUB 2002)
Karlovy Vary, Czech Republic November 06th - 09th, 2002

Deadlines:


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:


First European Workshop on MathML & Scientific e-Contents
University of Trieste, Italy November 21st - 22nd, 2002

Deadlines:


Journ?es Francophones de Langages Applicatifs (JFLA'2003)
Chamrousee (Is?re) January 27th - 28th, 2003

Deadlines:


Second International Conference on Mathematical Knowledge Management (MKM 2003)
Bertinoro (IT) February 16th - 18th, 2003

Deadlines:


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:


Mathematics on the Semantic Web
Eindhoven, The Netherlands May 12th - 14th, 2003

Deadlines:


The Twelfth International World Wide Web Conference
Budapest Convention Centre, Budapest, HUNGARY May 20th - 24th, 2003

Deadlines:


Back to Typography - EuroTeX 2003
Brest (Brittany, France) June 24th - 27th, 2003

Deadlines:


Thirtieth International Colloquium on Automata, Languages and Programming
Eindhoven, The Netherlands June 30th - July 04th, 2003

Deadlines:


Mathematics, Logic and Computation, In honour of N.G. de Bruijn's 85th anniversary
Eindhoven, the Netherlands July 04th - 05th, 2003

Deadlines:


25th Anniversary of TeX
On the Kohala Coast of the Big Island, Hawai'i July 20th - 24th, 2003

Deadlines:


FIRST EUROPEAN SUMMER SCHOOL ON ONTOLOGICAL ENGINEERING AND THE SEMANTIC WEB (SSSW-2003)
Cercedilla, near Madrid, Spain July 21st - 26th, 2003

Deadlines:


CADE-19 Workshop - Model Computation - Principles, Algorithms, Applications
Miami, Florida, USA July 29th, 2003

Deadlines:


Extreme 2003
Montreal Canada August 04th - 08th, 2003

Deadlines:


15th European Summer School in Logic, Language and Information
Vienna, Austria August 18th - 29th, 2003

Deadlines:


Annual Conference of the European Association for Computer Science Logic and 8th Kurt Goedel Colloquium
Vienna, Austria August 25th - 30th, 2003

Deadlines:


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:


International Conference on Logic for Programming Artificial Intelligence and Reasoning
Almaty, Kazakhstan September 22nd - 26th, 2003

Deadlines:


Third International Conference on Quality Software
Friendship Hotel, Beijing September 25th - 26th, 2003

Deadlines:


EIGHT ITALIAN CONFERENCE ON THEORETICAL COMPUTER SCIENCE (ICTCS'03)
University Center, Bertinoro, Italy October 13th - 15th, 2003

Deadlines:


The 12th Advanced Research Working Conference on: Correct Hardware Design and Verification Methods
L'Aquila, Italy October 21st - 24th, 2003

Deadlines:


Fifth International Conference on Formal Engineering Methods
National University of Singapore November 05th - 07th, 2003

Deadlines:


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:


3rd International LEGE-WG Workshop: Towards a European Learning GRID Infrastructure
Berlin, Germany December 3rd, 2003

Deadlines:


Second North American Workshop On Mathematical Knowledge Management
Phoenix, Arizona, USA January 06th, 2004

Deadlines:


Days in Logic
Braga, Portugal January 22nd - 24th, 2004

Deadlines:


1st International Workshop on Web Services and Formal Methods (WS-WM 2004)
Pisa, Italy February 23rd, 2004

Deadlines:


5th International Workshop on Rewriting Logics and its Applications
Barcelona, Spain March 27th - 28th, 2004

Deadlines:


IMA "Hot Topics" Workshop: Enhancing the Searching of Mathematics
Minneapolis April 26th - 27th, 2004

Deadlines:


The W3C Workshop on Web Applications and Compound Documents
San Jose, California, USA June 1st - 2nd, 2004

Deadlines:


Second International Workshop on Higher-Order Rewriting
Aachen, Germany June 2nd, 2004

Deadlines:


Fourth International Workshop on Reduction Strategies in Rewriting and Programming
Aachen, Germany June 2nd, 2004

Deadlines:


New Developments in Electronic Publishing of Mathematics
Stockholm June 25th - 27th, 2004

Deadlines:


Fourth International Workshop on Logical Frameworks and Meta-Languages
Cork, Ireland July 04th - 08th, 2004

Deadlines:


Second International Joint Conference on Automated Reasoning
University College Cork Cork, County Cork, Ireland July 04th - 08th, 2004

Deadlines:


International Symposium on Symbolic and Algebraic Computation
University of Cantabria, Santander, Spain July 04th - 07th, 2004

Deadlines:


31st International Colloquium on Automata, Languages and Programming
Turku, Finland July 12th - 16th, 2004

Deadlines:


Extreme Markup Languages 2004
Montreal, Canada August 2nd - 06th, 2004

Deadlines:


International Conference on TeX, XML and Digital Typography
Xanthi, Greece August 30th - September 3rd, 2004

Deadlines:


17th International Conference on Theorem Proving in Higher Order Logics
Park City, Utah September 14th - 17th, 2004

Deadlines:


Third International Conference on Mathematical Knowledge Management
Bialowieza - Poland September 19th - 21st, 2004

Deadlines:


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:


Types for Mathematics/Libraries of Formal Mathematics
Nijmegen, NL November 1st - 2nd, 2004

Trends in Functional Programming
Munich, Germany November 25th - 26th, 2004

Deadlines:


TYPES 2004
Jouy-en-Josas December 15th - 18th, 2004

Deadlines:


Journees Francophones des Langages Applicatifs
Obernai March 09th - 10th, 2005

Deadlines:


The 11th International Conference on Logic for Programming, Articificial Intelligence and Reasoning (LPAR)
Montevideo, Uruguay March 14th - 18th, 2005

Deadlines:


User Interfaces for Theorem Provers UITP 2005
Edinburgh (Scotland) April 09th, 2005

Deadlines:


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:


Intelligent Information Systems (IIS) 2005
Gdansk, Poland June 13th - 16th, 2005

Deadlines:


Seventh ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming
Lisboa, Portugal July 11th - 13th, 2005

Deadlines:


Formal Methods in Applied Mathematics
Paris July 11th - 15th, 2005

Deadlines:


3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning
Edinburgh, UK July 12th, 2005

Deadlines:


Structures and Deduction
Lisbon July 16th - 17th, 2005

Deadlines:


Calculemus 2005
Newcastle upon Tyne (UK) July 18th - 19th, 2005

Deadlines:


20th International Conference on Automated Deduction CADE-20
Tallin, Estonia July 22nd - 25th, 2005

Deadlines:


Theorem Proving in Higher Order Logics
Oxford (UK) August 22nd - 25th, 2005

Deadlines:


TABLEAUX 2005
Koblenz, DE September 14th - 17th, 2005

Deadlines:


GPCE'05
Tallin, Estonia September 29th - October 1st, 2005

Deadlines:


Ninth Italian Conference on Theoretical Computer Science (ICTCS'05)
Certosa di Pontignano (Siena), IT October 12th - 14th, 2005

Deadlines:



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