会议信息
SLE 2025: International Conference on Software Language Engineering
https://www.sleconf.org/2025/截稿日期: |
2025-03-04 Extended |
通知日期: |
2025-04-15 |
会议日期: |
2025-06-12 |
会议地点: |
Koblenz, Germany |
届数: |
18 |
浏览: 15952 关注: 0 参加: 0
征稿
Topics of Interest SLE covers software language engineering in general, rather than engineering a specific software language. Topics of interest include, but are not limited to: Software Language Design and Implementation Approaches to and methods for language design Static semantics (e.g., design rules, well-formedness constraints) Techniques for specifying behavioral/executable semantics Generative approaches (incl. code synthesis, compilation) Meta-languages, meta-tools, language workbenches AI-assisted language design and optimisation Software Language Validation Verification and formal methods for languages Testing techniques for languages Simulation techniques for languages Model-based testing AI-assisted validation Software Language Integration and Composition Coordination of heterogeneous languages and tools Mappings between languages (incl. transformation languages) Traceability between languages Deployment of languages to different platforms AI-assisted refactoring Software Language Maintenance Software language reuse Language evolution Language families and variability, language and software product lines Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) Empirical evaluation and experience reports of language engineering tools User studies evaluating usability Performance benchmarks Industrial applications Synergies between Language Engineering and emerging/promising research areas Generative AI in language engineering (e.g., AI-based language modelling, AI-driven code generation tools) AI and ML language engineering (e.g., ML compiler testing, code classification) Quantum language engineering (e.g., language design for quantum machines) Language engineering for physical systems (e.g., CPS, IoT, digital twins) Socio-technical systems and language engineering (e.g., language evolution to adapt to social requirements)
最后更新 Dou Sun 在 2025-03-01
相关会议
CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
---|---|---|---|---|---|---|---|
ISIH | International Conference on Intelligence, Sustainability, and Innovation in Healthcare | 2024-07-31 | 2024-09-01 | 2024-10-30 | |||
IC2E | International Conference on Cloud Engineering | 2025-04-17 | 2025-06-23 | 2025-09-23 | |||
SETN | Hellenic Conference on Artificial Intelligence | 2020-05-29 | 2020-06-22 | 2020-09-02 | |||
IConDA | International Conference on Computer & Drone Applications | 2019-11-15 | 2019-12-19 | ||||
STUD | International Conference on Smart Technology & Urban Development | 2019-11-15 | 2019-11-20 | 2019-12-13 | |||
BDAI | International Conference on Big Data and Artificial Intelligence | 2025-07-15 | 2025-08-15 | 2025-08-22 | |||
ISCMA | International Symposium on Computational Media Art | 2018-09-01 | 2018-10-15 | 2019-01-04 | |||
ERMI-ISASS | ERMI International Conference on Information Science and Applied Social Sciences | 2018-01-15 | 2018-02-12 | ||||
ICCNS | International Conference on Communication and Network Security | 2025-10-15 | 2025-11-10 | 2025-12-19 | |||
a | a* | a1 | ICSE | International Conference on Software Engineering | 2025-07-11 | 2025-10-17 | 2026-04-12 |
简称 | 全称 | 会议日期 |
---|---|---|
ISIH | International Conference on Intelligence, Sustainability, and Innovation in Healthcare | 2024-10-30 |
IC2E | International Conference on Cloud Engineering | 2025-09-23 |
SETN | Hellenic Conference on Artificial Intelligence | 2020-09-02 |
IConDA | International Conference on Computer & Drone Applications | 2019-12-19 |
STUD | International Conference on Smart Technology & Urban Development | 2019-12-13 |
BDAI | International Conference on Big Data and Artificial Intelligence | 2025-08-22 |
ISCMA | International Symposium on Computational Media Art | 2019-01-04 |
ERMI-ISASS | ERMI International Conference on Information Science and Applied Social Sciences | 2018-02-12 |
ICCNS | International Conference on Communication and Network Security | 2025-12-19 |
ICSE | International Conference on Software Engineering | 2026-04-12 |
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
Journal of Machine Engineering | Wroclaw Board of Scientific Technical | 1895-7595 | ||
International Journal of Agent-Oriented Software Engineering | Inder Science Publishers | 1746-1375 | ||
SoftwareX | 2.400 | Elsevier | 2352-7110 | |
International Journal on Bioinformatics & Biosciences | AIRCC | 1839-9614 | ||
c | International Journal of Geographical Information Science | 4.300 | Taylor & Francis | 1365-8816 |
c | EURASIP Journal on Information Security | 2.500 | Springer | 1687-417X |
IEEE Transactions on Smart Grid | 9.8 | IEEE | 1949-3053 | |
Constraints | 0.500 | Springer | 1383-7133 | |
Foundations and Trends in Machine Learning | Now Publishers Inc. | 1935-8237 | ||
Graphs and Combinatorics | 0.600 | Springer | 0911-0119 |
全称 | 影响因子 | 出版商 |
---|---|---|
Journal of Machine Engineering | Wroclaw Board of Scientific Technical | |
International Journal of Agent-Oriented Software Engineering | Inder Science Publishers | |
SoftwareX | 2.400 | Elsevier |
International Journal on Bioinformatics & Biosciences | AIRCC | |
International Journal of Geographical Information Science | 4.300 | Taylor & Francis |
EURASIP Journal on Information Security | 2.500 | Springer |
IEEE Transactions on Smart Grid | 9.8 | IEEE |
Constraints | 0.500 | Springer |
Foundations and Trends in Machine Learning | Now Publishers Inc. | |
Graphs and Combinatorics | 0.600 | Springer |