Home Intro Rules & Submission Participants Results Tools Specs Travel Grants Thanks SMT-LIB Previous

Travel Grants

Microsoft Research has generously donated funds to help pay for travel for participants, especially students, who might otherwise be unable to attend. Because funds are limited, we will use a bidding process to assign grants. The process works like this:
  1. Those interested should send an email by June 1 to Clark Barrett indicating:
  2. On or before June 11, we will notify those whose bids have been accepted (acceptance will be based primarily on the amount requested, with lower bids having precedence, but we will also take into account the role of the applicant in the development of the solver and whether or not the applicant is a student).
  3. Following the conclusion of the competition, reimbursement checks will be issued to those whose bids were accepted and who attended.
Home Intro Rules & Submission Participants Results Tools Specs Travel Grants Thanks SMT-LIB Previous

Last modified: Tue 17 Feb 2015 14:58 UTC
Valid XHTML 1.0 Valid CSS!