Conference Information
LOPSTR 2019: International Symposium on Logic-Based Program Synthesis and Transformation
http://www.cs.unibo.it/projects/lopstr19/
Submission Date:
2019-06-17
Notification Date:
2019-07-24
Conference Date:
2019-10-08
Location:
Porto, Portugal
Years:
29
CCF: c   CORE: b   QUALIS: b3   Viewed: 8799   Tracked: 15   Attend: 1

Conference Location
Advertisment
Call For Papers
The 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 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019) will be held at the Porto, Portugal. Previous symposia were held in Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester and Frankfurt. LOPSTR 2019 will be co-located with the Symposium on Formal Methods, FM'19 and a part of the FM Week.

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. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. Both full papers and extended abstracts describing applications in all these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: synthesis, transformation, specialization, composition, optimization, inversion, specification, analysis and verification, testing and certification, program and model manipulation, machine learning for program development, integration of sub-symbolic and symbolic models, differential semantics, transformational techniques in SE, applications and tools.

Survey papers that present some aspects 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). 
Last updated by Dou Sun in 2019-02-09
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
2005331030.3%
2004341750%
2003321237.5%
2002401537.5%
1998361644.4%
1996271763%
1995401947.5%
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
APMediaCastAsia Pacific Conference on Multimedia and Broadcasting2014-12-232014-02-232015-04-23
NIMEInternational Workshop on Networking Issues in Multimedia Entertainment 2012-04-252012-07-30
FCTAInternational Conference on Fuzzy Computation Theory and Applications2019-05-202019-06-282019-09-17
DASC'Digital Avionics Systems Conference2018-03-16 2018-09-23
b4IMFInternational Conference on IT Security Incident Management and IT Forensics2016-10-022016-12-182017-03-21
EBICCInternational Brazilian Meeting on Cognitive Science2015-09-302015-10-302015-12-07
ITCSEInternational Conference on Information Technology Convergence and Services2019-01-122019-02-202019-03-30
AITCInternational Artificial Intelligence Technology Conference2019-08-102019-09-052019-11-27
CCBRChinese Conference on Biometric Recognition2015-06-302015-07-312015-11-13
AmISEmeHInternational Conference on Ambient Intelligence, Software Engineering and Electronic and Mobile Health2015-09-152015-10-152016-01-21
Recommendation