会議情報
LOPSTR 2024: International Symposium on Logic-Based Program Synthesis and Transformation
https://lopstr.github.io/2024/
提出日:
2024-05-10
通知日:
2024-06-26
会議日:
2024-09-09
場所:
Milan, Italy
年:
34
CCF: c   CORE: b   QUALIS: b3   閲覧: 22178   追跡: 22   出席: 3

論文募集
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.
最終更新 Dou Sun 2024-03-02
合格率
時間提出受け入れ受け入れ(%)
2005331030.3%
2004341750%
2003321237.5%
2002401537.5%
1998361644.4%
1996271763%
1995401947.5%
関連会議
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
International Journal of Modelling, Identification and Control0.600Inderscience1746-6172
bData & Knowledge Engineering2.700Elsevier0169-023X
Journal of Circuits, Systems and Computers0.900World Scientific0218-1266
Geographical Abstracts: Physical Geography Elsevier0954-0504
International Journal of Applied Mathematics and Computer Science1.600Walter de Gruyter1641-876X
Network SecurityElsevier1353-4858
cDiscrete & Computational Geometry0.600Springer0179-5376
Journal of Object TechnologyEtH Zurich1660-1769
IEICE Transactions on Information and Systems IEICE0916-8532
bAdvanced Engineering Informatics8.000Elsevier1474-0346
おすすめ