LOPSTR 2010
20th International Symposium on Logic-Based Program Synthesis and Transformation
July 23-25, 2010. Hagenberg, Austria
Homepage
Important Dates
Submission
Committees
Invited Speakers
Registration
Program
Local Information
News
January 13, 2010
Invited speakers announced.
Search
Invited Speakers
Bruno Buchberger
(RISC, Johannes Kepler University Linz, Austria)
Olivier Danvy
(University of Aarhus, Denmark)
Johann Schumann
(RIACS/NASA Ames Research Center, USA)
