SAT Live!
keep up to date with research on the satisfiability problem
Home
About
How to contribute
Newcomer to SAT
Solvers
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
SAT 2024, August 27-31 2024, Pune, India
Our journal
Upcoming deadlines
May 18, 2024
PoS'24 paper submission
May 20, 2024
PB24 competition
May 28, 2024
MCW 2024 Call for Papers
SAT related books