8 Jun
2013
8 Jun
'13
2:20 a.m.
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