SAT 2008
SAT 2008 | |
---|---|
Conference on Theory and Applications of Satisfiability Testing
| |
Dates | May 12, 2008 (iCal) - May 15, 2008 |
Homepage: | wwwcs.uni-paderborn.de/cs/ag-klbue/en/research/SAT08/sat08-main.php?disp=top |
Location | |
Location: | Guangzhou, P. R. China |
Loading map... | |
Important dates | |
Submissions: | Jan 11, 2008 |
Table of Contents | |
The following coordinate was not recognized: Geocoding failed.
The following coordinate was not recognized: Geocoding failed.
post CFP here
This CfP was obtained from WikiCFP
Facts about "SAT 2008"
Acronym | SAT 2008 + |
End date | May 15, 2008 + |
Event type | Conference + |
Has coordinates | 23° 7' 49", 113° 15' 33"Latitude: 23.130197222222 Longitude: 113.25929444444 + |
Has location city | Guangzhou + |
Has location country | Category:P. R. China + |
Homepage | http://wwwcs.uni-paderborn.de/cs/ag-klbue/en/research/SAT08/sat08-main.php?disp=top + |
IsA | Event + |
Start date | May 12, 2008 + |
Submission deadline | January 11, 2008 + |
Title | Conference on Theory and Applications of Satisfiability Testing + |