Información de la conferencia
LOPSTR 2024: International Symposium on Logic-Based Program Synthesis and Transformation
https://lopstr.github.io/2024/Día de Entrega: |
2024-05-10 |
Fecha de Notificación: |
2024-06-26 |
Fecha de Conferencia: |
2024-09-09 |
Ubicación: |
Milan, Italy |
Años: |
34 |
CCF: c CORE: b QUALIS: b3 Vistas: 18857 Seguidores: 22 Asistentes: 2
Solicitud de Artículos
OVERVIEW 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 programming language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. LOPSTR 2024 will be held at Politecnico di Milano, Milan, Italy and, as part of FM 2024, will be co-located with PPDP 2024, FACS 2024, FMICS 2024, and TAP 2024. At least one of the authors of an accepted paper is expected to attend the conference and present the paper. Information about venue and travel will be available on the FM 2024 website. Topics of interest include 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, including, but not limited to: - synthesis - transformation - specialization - inversion - composition - optimisation - specification - analysis and verification - testing and certification - program and model manipulation - AI methods for program development - verification and testing of AI-based systems - transformational techniques in software engineering - logic-based methods for security - logic-based methods for cyber-physical and distributed systems - applications, tools and industrial practice Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications and case studies are also welcome.
Última Actualización Por Dou Sun en 2024-03-02
Coeficiente de Aceptación
Año | Enviados | Aceptados | Aceptados(%) |
---|---|---|---|
2005 | 33 | 10 | 30.3% |
2004 | 34 | 17 | 50% |
2003 | 32 | 12 | 37.5% |
2002 | 40 | 15 | 37.5% |
1998 | 36 | 16 | 44.4% |
1996 | 27 | 17 | 63% |
1995 | 40 | 19 | 47.5% |
Conferencias Relacionadas
Revistas Relacionadas
CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
---|---|---|---|---|
Journal of Logic, Language and Information | Springer | 0925-8531 | ||
Applied Mathematics and Computation | 4.091 | Elsevier | 0096-3003 | |
b | Open Systems and Information Dynamics | 0.935 | Springer | 1573-1324 |
Journal of the Association for Information Science and Technology | 2.322 | John Wiley & Sons | 2330-1643 | |
IEEE Wireless Communications Letters | 3.546 | IEEE | 2162-2337 | |
c | Journal of Logic and Computation | 0.586 | Oxford University Press | 0955-792X |
Mathematical Programming Computation | Springer | 1867-2949 | ||
Applied Categorical Structures | 0.643 | Springer | 0927-2852 | |
Flow Measurement and Instrumentation | 2.037 | Elsevier | 0955-5986 | |
International Journal of Wireless Information Networks | Springer | 1068-9605 |
Nombre Completo | Factor de Impacto | Editor |
---|---|---|
Journal of Logic, Language and Information | Springer | |
Applied Mathematics and Computation | 4.091 | Elsevier |
Open Systems and Information Dynamics | 0.935 | Springer |
Journal of the Association for Information Science and Technology | 2.322 | John Wiley & Sons |
IEEE Wireless Communications Letters | 3.546 | IEEE |
Journal of Logic and Computation | 0.586 | Oxford University Press |
Mathematical Programming Computation | Springer | |
Applied Categorical Structures | 0.643 | Springer |
Flow Measurement and Instrumentation | 2.037 | Elsevier |
International Journal of Wireless Information Networks | Springer |
Recomendaciones