Dear Colleague:

The paper submission deadline to LOPSTR'13 (Logic Based Program Synthesis and Transformation) is extended to June 24. Please consider submitting a paper.

Submission link is at: http://www.utdallas.edu/~gupta/lopstr/

Best wishes,

Gopal Gupta LOPSTR'13 Chair