| 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 | |
post CFP here
This CfP was obtained from WikiCFP