SAT 2008

From Openresearch
Revision as of 22:05, 14 October 2008 by 127.0.0.1 (talk) (Event created)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
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"
AcronymSAT 2008 +
End dateMay 15, 2008 +
Event typeConference +
Has coordinates23° 7' 49", 113° 15' 33"Latitude: 23.130197222222
Longitude: 113.25929444444
+
Has location cityGuangzhou +
Has location countryCategory:P. R. China +
Homepagehttp://wwwcs.uni-paderborn.de/cs/ag-klbue/en/research/SAT08/sat08-main.php?disp=top +
IsAEvent +
Start dateMay 12, 2008 +
Submission deadlineJanuary 11, 2008 +
TitleConference on Theory and Applications of Satisfiability Testing +