| Home | • | Intro | • | Rules & Submission | • | Participants | • | Tools | • | Specs | • | Travel Grants | • | Thanks | • | SMT-LIB | • | Previous |
|---|
SMT-COMP is not offering funding separately from the SMT Workshop. Please apply through the SMT Workshop if you are interested in a travel grant for SMT-COMP.
FLoC is awarding some student travel grants also (though the deadline has now passed). For US-based students, there are additional awards available; this application deadline is June 7, 2010.
| Home | • | Intro | • | Rules & Submission | • | Participants | • | Tools | • | Specs | • | Travel Grants | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 25 May 2010 11:17 CDT