会議情報		
	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 | 
閲覧: 16248   追跡: 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-11-10 | 2025-11-25 | 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 |