Up to FOUR travel grants are available for students from a U.S.  university who
are pursuing graduate studies in areas related to formal methods and their
application to hardware/software design, verification and co-design.  The U.S.
National Science Foundation (NSF) has made funding available given that the
conference will take place in Italy and therefore the expenses to attend will be
quite steep.  Travel support for a maximum of FOUR students is anticipated.

WHO IS ELIGIBLE:  US graduate students whose advisor does not have funds to
support travel to MEMOCODE 2005.  NSF policy is to give preference to women and
minority graduate students.

HOW TO APPLY: 
Via e-mail, the following documents should be sent to Prof. Sandeep Shukla
(shukla@vt.edu):

1. A resume listing his/her areas of interest and of study, including a
   list of publications.

2. An email from the student's advisor stating that (i) he/she is unable
   to support the student's complete travel expenses from his/her fundings
   but is willing to pay the travel expenses in excess of the amount of
   the NSF grant; (ii) the advisor supports the student's decision to 
   attend MEMOCODE and confirms that the student is in good academic
   standing at his/her university.

3. The student should write a short paragraph which explains why attending
   MEMOCODE is important to him/her

4. In his e-mail message, the adviser should indicate whether the student
   belongs to either an underrepresented minority or is a female.

5. A Travel Budget (based on a realistic airfare, hotel expenses, and
   the conference registration fee for students)

APPLICATION DEADLINE:
The required documents are due to Prof. Shukla (shukla@vt.edu) by JUNE 7, 2005.

DISBURSEMENT OF THE TRAVEL AWARD:
The travel award will be provided on a reimbursement basis administered by
Virginia Tech. The awardee will need to provide receipts up to the award
amount which will be known upon selection.

Any questions about these grants should be directed to Prof. Shukla.