会议信息
ETAPS 2025: European Joint Conferences on Theory and Practice of Software
https://etaps.org/2025/
截稿日期:
2024-10-10
通知日期:
2024-12-20
会议日期:
2025-05-03
会议地点:
Hamilton, Canada
CCF: b   浏览: 27146   关注: 33   参加: 0

征稿
ETAPS is a confederation of several conferences, each with its own Programme Committee and Steering Committee. ETAPS is the most important and visible annual European event related to software sciences. Altogether, more than 500 researchers participate in this event every year.

The confederated conferences cover various aspects of software systems, ranging from theoretical foundations to programming language developments, compiler advancements, analysis tools, formal approaches to software engineering, and security.

From 2020 on ETAPS consists of four conferences:

    ESOP,
    FASE,
    FoSSaCS,
    TACAS

POST, which was an ETAPS conference 2012-2019, has been discontinued.

Organising these conferences in a coherent, highly synchronised conference programme, enables the participation in an exciting event, having the possibility to meet many researchers working in different directions in the field, and to easily attend talks of difference conferences. Almost a thousand scientific papers are submitted to the event each year, and are evaluated strictly on the basis of their scientific merits. Before and after the main conference programme, numerous satellite workshops take place and attract many researchers from all over the world.
最后更新 Dou Sun 在 2024-07-08
相关会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
b4DEPENDInternational Conference on Dependability 2013-05-172013-08-25
ab1APPROXInternational Workshop on Approximation Algorithms for Combinatorial Optimization Problems2017-04-212017-06-022017-08-16
IPEC'Asia-Pacific Conference on Image Processing, Electronics and Computers2022-11-302023-01-312023-04-14
EAISEvolving and Adaptive Intelligent Systems2022-02-072022-03-072022-05-25
ICRACEInternational Conference on Robotics, Automatics and Control Engineering2024-06-28 2023-12-01
I2MTCInternational Instrumentation and Measurement Technology Conference2023-12-082024-01-242024-05-20
ICVIPInternational Conference on Video and Image Processing2024-11-052024-12-052024-12-13
INAITInternational Conference on Industry 4.0 and Artificial Intelligence Technologies2018-10-05 2019-08-19
ICSAIInternational Conference on Systems and Informatics2024-11-302024-12-072024-12-14
aaa2EuroSysEuropean Conference on Computer Systems2024-10-152025-01-252025-03-30
相关期刊
CCF全称影响因子出版商ISSN
The Scientific World JournalHindawi1537-744X
cThe Journal of Supercomputing2.500Springer0920-8542
cProceedings of the ACM on Human-Computer InteractionACM2573-0142
Information Fusion14.70Elsevier1566-2535
Journal of Formalized ReasoningAlma Mater Studiorum1972-5787
IEEE Transactions on Intelligent Vehicles14.00IEEE2379-8858
IEEE Computer2.000IEEE0018-9162
International Journal of Game Theory and TechnologyAIRCC2455-0892
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
Computer Science & Engineering: An International Journal AIRCC2231-3583
推荐