Second ACM-IEEE International Conference on
Formal Methods and Models for Codesign (MEMOCODE'2004)

Programming models, formal analysis methods and verification techniques for high-lev system design
Towards convergence of formal methods and industrial trends.

June 23rd-25th, 2004 -- San Diego, California

Travel Grants for Attending MEMOCODE 2004

A limited number of student travel grants are available sponsored by NSF for traveling to MEMOCODE in San Diego.
The travel grant amount will be 500 dollars per student. The student should be enrolled in graduate program in the US
in fields related to formal methods and models for system design. The students who cannot otherwise attend the
conference due to financial constraints will be given priority in the selection process.

Travel Grant Request procedure: Please send a short description (1-2 paragraph) of the student's research area and interest,  the name of the student, affiliation, advisor's name and area of research, and a letter from the advisor stating that the student  will not be supported to travel to MEMOCODE by any research funding due to lack of research funding available to the advisor.  The advisor's letter could be an email separately sent to the Sandeep Shukla at  The student request also should be sent to

To the advisors of students requesting travel grant: If a student is presenting a paper at the conference, please try to fund  their travel to MEMOCODE. If you do not have travel funding for the student, please address the issue in your letter, because  we prefer that the students presenting their work at MEMOCODE be funded by their institute/advisor, if possible.

Students from underrepresented groups are especially encouraged to apply.

Please send your request by May 20, 2004. This is a hard deadline.