Grants and Scholarships

The following opportunities are available for prospective participants who have difficulty obtaining full funding for a trip to FLoC:

Researcher Travel Grant Program

Under this program, funded by European Commission DG Information Society, researchers can apply for travel and accomodation funding to make it possible for them to attend the conference. Preference will be given to two categories: young researchers (at pre-doctoral level and up to an age limit of 35 years old at the time of the conference); and active researchers in Eastern Europe and countries with economic problems.

A committee will review the applications and award grants to those who would not otherwise have resources to attend a conference or workshop, and whose attendance would benefit both the applicant and the conference. The Grants Committee consists of

Grants cover travel and lodging expenses up to a per-grant maximum, currently planned as 800 Euro (approximately $720). The number of grants and the per-grant amount, will be established on a case by case basis, depending on the applicant's need and the total amount of funds available for the program. Applicants should note that a grant is limited, and that costs in excess of the grant will not be reimbursed.

Grants will be awarded based on the evaluating committee's assessment of the applicant's genuine financial need, the potential benefit to the applicant's education, research, and career, and the potential benefit to the conference.

Among those applicants who genuinely could not attend the conference without a grant, the evaluating committee gives priority to (co-)authors of accepted papers.

Any student applicant should also request his or her supervisor to send a brief e-mail directly to the conference chair Neil D. Jones <>. This should describe the student's work, the benefit to that work of attending the conference, and an assessment of the student's financial need.

Time schedule:

Applicants who receive grants will be allowed to register at the early registration rate, listed on the registration form under "Before 15 June".

ICLP travel grants

(ICLP participants only!) A limited amount of travel grants for students or others who are in serious need are available from the Association for Logic Programming. Please contact the Conference Coordinator of ALP for details regarding how to apply.

CADE-18: Woody Bledsoe Student Travel Award

(CADE participants only!) The Woody Bledsoe Student Travel Award was created to honor the memory of Woody Bledsoe, for his contributions to mathematics, artificial intelligence, and automated theorem proving, and for his dedication to students. The award is intended to enable selected students to attend the International Conference on Automated Deduction (CADE) or the International Joint Conference on Automated Reasoning (IJCAR), whichever is scheduled for the year, by covering much of their expenses.

Award winners will be reimbursed (to a maximum of USD 600) for their conference registration, transportation, and accomodation expenses. Preference will be given to students who will play an active role in the conference, including satellite workshops, and do not have alternative funding. However, also students in other situations are very much encouraged to apply.

A nomination consists of a recommendation letter of up to 300 words from the student's supervisor. Nominations for CADE 2002 should be sent by e-mail to

with copies to

Nominations must arrive no later than the 4th of June 2002, and the winners will be notified by the 10th of June 2002. The awards will be presented at CADE; in case a winner does not attend, the chairs and trustees may transfer the award to another nominee or give no award.