Università di Roma Tre | ||
AKROS Group | ||
The European Network of Excellence in Computational Logic | ||
Autonomous Laboratory for Cognitive Robotics (ALCOR) | ||
Consorzio Interuniversitario per i Servizi Innovativi in Rete | ||
RobotItaly |
A special thank also to
Facoltà di
Ingegneria Università di Roma "La Sapienza" |
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.
Contributor:
Suggested contribution is €400.
Benefits include:
Silver Sponsor:
Suggested value of sponsorship is €1.000.
Benefits will include all
contributors' benefits, plus:
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:
For further information please send an e-mail to
tab2003@dia.uniroma3.it