[om-a] PROPOSALS FOR SITES FOR IJCAR 2004 SOLICITED

[Peter Baumgartner]

             PROPOSALS FOR SITES FOR IJCAR 2004 SOLICITED  
 
 
We invite proposals for sites around the world to host the Second 
International Joint Conference on Automated Reasoning (IJCAR) to be 
held in summer 2004. The first IJCAR was held in Siena, Italy, in late 
June 2001, merging CADE (Conference on Automated Deduction), FTP 
(Workshop on First-order Theorem Proving) and TABLEAUX (Conference on 
Analytic Tableaux and Related Methods), see 
http://www.dii.unisi.it/~ijcar/. 
 
The second IJCAR will be a merger of CADE, FTP, TABLEAUX, FroCoS 
(Workshop on Frontiers of Combining Systems) and possibly other 
events. Satellite workshops, tutorials and co-located events are 
expected. Draft proposals are normally due about two years prior to 
the expected conference date, hence by 
 
                            15th of June 2002 
                             
for IJCAR 2004. In addition, we encourage proposers to register their 
intention informally as soon as possible. Points of contact are given 
below. 
 
The final selection of the site will be made within two months after the 
proposal due date.
 
Proposals should address the following points that also represent 
criteria for evaluation: 
 
1. National, regional, and local AR community support, i.e., 
   -- IJCAR Conference Chair and host institution, 
   -- IJCAR Local Arrangements Committee, 
   -- availability of (and reward for) student-volunteers. 
2. National, regional, and local government and industry support, both 
   organizational and financial. 
3. Accessibility (i.e., transportation), attractiveness, and desirability 
   of proposed site. 
4. Appropriateness of proposed dates (including consideration of 
   holidays/other events during the period), hotel prices, and access to 
   dormitory facilities (a.k.a. residence halls). 
5. Conference and exhibit facilities for the anticipated number of 
   registrants (minimum 250 - the size of IJCAR 2001), e.g., 
   -- number, capacity and audiovisual equipment of meeting rooms, 
   -- a large plenary session room that can hold all the registrants, 
   -- enough rooms for parallel sessions/workshops/tutorials, 
   -- internet connectivity and workstations for demos/competitions, 
   -- catering services, 
   -- presence of professional staff. 
6. Residence accommodations and food services in a range of price 
   categories and close to the conference facilities, e.g., 
   -- number and cost range of hotels, 
   -- availability and cost of dormitory rooms (e.g., at local universities) 
      and kind of services they offer. 
7. Rough budget projections for the various budget categories, e.g., 
   -- cost of renting/cleaning the meeting rooms, if applicable,
   -- cost of professional conference secretariat, if hired,
   -- financial model for satellite workshops and/or co-located events.
8. Balance with regard to the geographical distribution of previous 
   IJCAR and its constituent meetings. 
 
Perspective organizers are encouraged to get in touch with one or more
contact people (see list below) for informal discussion.
If the host institution is not actually located at the proposed site, 
then one or more visits to the site by the proposers is encouraged.

Contacts: 
--------- 
 
Please submit your proposal (plain ASCII preferred, otherwise PDF),
as well as any questions, to

                       ijcar-tmp at informatik.uni-koblenz.de
 
This is a temporary mailing list that will be replaced by one
at the site of IJCAR 2004 once decided. Currently, it includes:

Alessandro Armando <armando at dist.unige.it> (FroCoS Representative)
Maria Paola Bonacina <bonacina at cs.uiowa.edu> (FTP President)
Ulrich Furbach <uli at informatik.uni-koblenz.de> (CADE President)
Reiner Haehnle <reiner at cs.chalmers.se> (TABLEAUX President)
Fabio Massacci <massacci at ing.unitn.it> (IJCAR 2001 Conference Chair)


Supporting committees:
----------------------

CADE Trustees: <CADE-trustees at cs.uiowa.edu>
Maria Paola Bonacina (Secretary), Gilles Dowek, Ulrich Furbach (President),
Harald Ganzinger, John R. Harrison, Michael Kohlhase, David McAllester,
Neil V. Murray (Treasurer), Frank Pfenning (Vice-President),
David A. Plaisted, Andrei Voronkov.

FroCoS Steering Committee: <frocos-sc at mrg.dist.unige.it>
Alessandro Armando, Franz Baader, Christoph Ringeissen, Klaus U. Schulz.

FTP Steering Committee: <ftp-sc at logic.at>
Alessandro Armando, Peter Baumgartner, Maria Paola Bonacina (President),
Ricardo Caferra, Domenico Cantone, David Crocker, Ingo Dahn, Bernhard Gramlich,
Reiner Haehnle, Alexander Leitsch, Paliath Narendran, Christoph Weidenbach.

TABLEAUX Steering Committee: <reiner at cs.chalmers.se>
Marcello D'Agostino, Uwe Egly, Chris Fermueller, Melvin Fitting, Ulrich Furbach,
Didier Galmiche, Rajeev Gore, Reiner Haehnle (President), Fabio Massacci,
Peter H. Schmitt (Vice-President).


-- 
Peter Baumgartner           peter at uni-koblenz.de
Tel. +49 261 287-2777       http://www.uni-koblenz.de/~peter/

 
--
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems