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... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":23.1301964,"lon":113.2592945,"icon":""}],"imageoverlays":null}
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