LOPSTR 2010
20th International Symposium on Logic-Based Program Synthesis and Transformation
July 23-25, 2010. Hagenberg, Austria
Important Dates
| Paper (or extended abstract) submission: | March 25, 2010 |
| Notification (for pre-proceedings): | May 15, 2010 |
| Camera-ready (for pre-proceedings): | June 15, 2010 |
| Symposium: | July 23-25, 2010 |