SAT Live!
keep up to date with research on the satisfiability problem
Recent news about SAT for tag Grants
-
May 29, 2014 FLoC'14 Travel Support by Ines Lynce Grants
FLoC has some additional funds to provide travel grants of up to $750 for student attendees of FLoC’14. Funds can be requested to cover airfare and lodging (registration fees and meals will not be funded).
Our scientific association
Our annual conference
Our journal
Upcoming deadlines
- April 30, 2025
- VCLA'25 Int. Student Awards
- May 7, 2025
- SC-Square 2025 paper submission
- May 9, 2025
- CompAI-25 paper submission
- May 12, 2025
- PoS'25 paper submission
- May 14, 2025
- SMT'25 paper submission
- May 31, 2025
- SAT/SMT/AR 2025 application
SAT related books
