Call for Workshops
Please see the FLoC Workshop Guide for questions about proposing a workshop at SAT 2014.
17th International Conference on Theory and Applications
of Satisfiability Testing
July 14-17, 2014 · Vienna, Austria
July 14-17, 2014 · Vienna, Austria
Conference
- About
- Important Dates
- Organization
- Invited Speakers
- Workshops
- Competitions
- Accepted Papers
- Program
- Group Picture
- Contact Information
Calls
- Call for Papers
- Call for Workshops