Gopal Gupta
2013-06-08 00:20:39 UTC
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
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