Información de la conferencia
LOPSTR 2020: International Symposium on Logic-Based Program Synthesis and Transformation
Día de Entrega:
Fecha de Notificación:
Fecha de Conferencia:
Bologna, Italy
CCF: c   CORE: b   QUALIS: b3   Vistas: 10177   Seguidores: 15   Asistentes: 1

Solicitud de Artículos
The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development in any language paradigm.

LOPSTR is 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 30th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2020) will be held in the San Giovanni in Monte Complex, a place of extraordinary beauty in the centre of Bologna, Italy. Previous symposia were held in Porto, 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 2020 will be co-located with PPDP, WFLP and Microservices.

Topics of interest cover all aspects of logic-based specification and program development (including in domain-specific languages), all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including:

    synthesis; transformation; specialization; composition; optimisation;
    specification; analysis and verification; testing and certification;
    program and model manipulation; inversion;
    machine learning for program development;
    transformational techniques in SE; applications and tools

Both full papers and extended abstracts describing applications are especially welcome. Survey papers and 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). 
Última Actualización Por Dou Sun en 2020-04-08
Coeficiente de Aceptación
Conferencias Relacionadas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
ChinaSIPIEEE China Summit and International Conference on Signal and Information Processing2015-02-282015-04-202015-07-12
cb3NEW2ANInternational Conference on Next Generation Wired/Wireless Advanced Networks and Systems2020-06-152020-06-302020-08-26
WBCInternational Conference Web Based Communities and Social Media2020-06-182020-07-032020-07-21
cb4HealthcomInternational Conference on e-Health Networking, Applications and Services2020-07-202020-08-302020-12-12
ICACTEInternational Conference on Advanced Computer Theory and Engineering2020-07-302020-08-202020-09-18
cb1WiSecACM Conference on Security and Privacy in Wireless and Mobile Networks2020-03-132020-04-242020-07-08
IEMCONIEEE Annual Information Technology, Electronics and Mobile Communication Conference2019-08-152019-08-292019-10-17
Artificial IntelligenceInternational Conference on Automation and Artificial Intelligence2019-07-202019-06-152020-05-21
b1ROBIOInternational Conference on Robotics and Biomimetics2018-07-312018-10-152018-12-12
MSMEInternational Conference on Materials Science and Manufacturing Engineering2020-10-052020-10-202020-11-05
Revistas Relacionadas
CCFNombre CompletoFactor de ImpactoEditorISSN
Applied Mathematics and Computation3.092Elsevier0096-3003
Open Systems and Information Dynamics0.935Springer1573-1324
IEEE Wireless Communications Letters3.546IEEE2162-2337
Journal of the Association for Information Science and Technology2.322John Wiley & Sons2330-1643
cJournal of Logic and Computation0.586Oxford University Press0955-792X
Mathematical Programming Computation Springer1867-2949
Flow Measurement and Instrumentation1.977Elsevier0955-5986
Applied Categorical Structures2.076Springer0927-2852
International Journal of Wireless Information NetworksSpringer1068-9605
Journal of Intelligent Transportation Systems2.568Taylor & Francis1547-2450