Receive Latest News
ourGlocal service has experienced some issues yesterday. Now the system has been restored.
We sincerely regret the inconvenience caused by the temporary service suspension and greatly appreciate the patience of our valued users until the service is restored.
Dec 1, 2015
LOPSTR 2012 - 22nd International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2012
Category lopstr 2012;
Deadline: May 25, 2012 | Date: September 18, 2012-September 20, 2012
Venue/Country: Leuven, Belgium
Updated: 2011-12-21 12:31:39 (GMT+9)
Call For Papers - CFPThe aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers.The 22nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2012) will be held in Leuven, Belgium; previous symposia were held in Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve and Manchester (you might have a look at the contents of past LOPSTR symposia). LOPSTR 2012 will be co-located with PPDP 2012 (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: specificationverificationanalysisspecializationcompositioncertificationtransformational techniques in SEsynthesistransformationoptimisationinversionprogram/model manipulationsecurityapplications and toolsSurvey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome.Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions).
Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.