(to whom many thanks!)

Università di Roma Tre


The European Network of Excellence in Computational Logic

Autonomous Laboratory for Cognitive Robotics (ALCOR)

Consorzio Interuniversitario per i Servizi Innovativi in Rete


A special thank also to

Facoltà di Ingegneria
Università di Roma "La Sapienza"
offering room and logistic support for the conference.

Sponsorship Opportunities

postscriptá PDF

The International Conference on Automated Reasoning with Tableaux and Related Methods, one of the premier international conferences on automated dedecution, is a traditional forum where researchers and practitioners working on both theoretical and practical aspects of the area annually meet from all over the world. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis.

The research contributions presented at the conference are traditionally published in a volume of the Lecture Notes in Computer Science (LNCS) series of Springer-Verlag.

In 2003, the Conference held in Rome, co-located with the International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) and the 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2003). The three conferences will take place at the main seat of the Faculty of Engeneering of UniversitÓ di Roma "La Sapienza", in via Eudossiana 18. The conference site is in the very very heart of the city, on one of the seven hystorical hills on which Rome was founded (the Esquilino Hill), a few steps from Fori Imperiali and the Coliseum and side by side to the old church of S. Pietro in Vincoli.

We are actively encouraging sponsorships for the Conference TABLEAUX 2003. Sponsorship is available at different levels as listed below. In each case, the sponsoring company is responsible for providing the artwork (company logo) to be included on the publications and promotional material.

Suggested contribution is €400. Benefits include:

  1. Promotional material provided by the company will be made available at the conference desk.
  2. The company will be identify as a contributor on:
    • The Web site of the Conference, at
    • Final program.
    • Proceedings published by Springer.
    • Position Papers Proceedings and Tutorials Proceedings published by ARACNE Editrice.

Silver Sponsor:
Suggested value of sponsorship is €1.000. Benefits will include all contributors' benefits, plus:

  1. Promotional material will be included in the conference package.
  2. The logo of the silver sponsor will be displayed on the TABLEAUX 2003 home page.
  3. The logo of the silver sponsor will be displayed on the conference poster (provided that the sponsorship is given before the poster is printed).
  4. The logo of the silver sponsor will be displayed on the conference bags (provided that the sponsorship is given before the bags are printed).
  5. Badges of all representatives from the sponsoring company will identify them as a sponsors.
  6. Early registration fees for late registrants from the silver sponsoring company.

Gold Sponsor:
Gold sponsors get all benefits of silver sponsorship and more. Suggested value of principal sponsorship is upwards of €1500. The additional benefits for Gold Sponsors are:

  1. A gold sponsor may select one session of the conference to be held in their name (choice on a first come, first served basis).
  2. A small exhibition area will be available along side the conference where gold sponsors may offer to attendees company products and/or company literature.
  3. The gold sponsor's logo on the conference home page, proceedings, and final program will be larger than other sponsors’ logos. Also, the company will be identified as a gold sponsor of the conference in the home page, poster, proceedings, and final program.
  4. Gold sponsors may select one person to attend the conference free of charge.

For further information please send an e-mail to