SAT 20210

International Conference on Theory and Applications of Satisfiability Testing
Acc. Rate: 50.7%(37/73 21')
DATES
July 7-9, 2021
VENUE
Barcelona, Spain (hybrid)
NEXT DEADLINE INPassed

IMPORTANT DEADLINES

Abstract Submission Deadline
Paper Submission Deadline
CCF BCORE ATHCPL B计算机科学理论

past venues