会議情報
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 閲覧: 26818 追跡: 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
関連会議
CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
---|---|---|---|---|---|---|---|
b4 | DEPEND | International Conference on Dependability | 2013-05-17 | 2013-08-25 | |||
a | b1 | APPROX | International Workshop on Approximation Algorithms for Combinatorial Optimization Problems | 2017-04-21 | 2017-06-02 | 2017-08-16 | |
IPEC' | Asia-Pacific Conference on Image Processing, Electronics and Computers | 2022-11-30 | 2023-01-31 | 2023-04-14 | |||
EAIS | Evolving and Adaptive Intelligent Systems | 2022-02-07 | 2022-03-07 | 2022-05-25 | |||
ICRACE | International Conference on Robotics, Automatics and Control Engineering | 2024-06-28 | 2023-12-01 | ||||
I2MTC | International Instrumentation and Measurement Technology Conference | 2023-12-08 | 2024-01-24 | 2024-05-20 | |||
ICVIP | International Conference on Video and Image Processing | 2024-11-05 | 2024-12-05 | 2024-12-13 | |||
INAIT | International Conference on Industry 4.0 and Artificial Intelligence Technologies | 2018-10-05 | 2019-08-19 | ||||
ICSAI | International Conference on Systems and Informatics | 2024-11-30 | 2024-12-07 | 2024-12-14 | |||
a | a | a2 | EuroSys | European Conference on Computer Systems | 2024-10-15 | 2025-01-25 | 2025-03-30 |
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
DEPEND | International Conference on Dependability | 2013-08-25 | |
APPROX | International Workshop on Approximation Algorithms for Combinatorial Optimization Problems | 2017-04-21 | 2017-08-16 |
IPEC' | Asia-Pacific Conference on Image Processing, Electronics and Computers | 2022-11-30 | 2023-04-14 |
EAIS | Evolving and Adaptive Intelligent Systems | 2022-02-07 | 2022-05-25 |
ICRACE | International Conference on Robotics, Automatics and Control Engineering | 2024-06-28 | 2023-12-01 |
I2MTC | International Instrumentation and Measurement Technology Conference | 2023-12-08 | 2024-05-20 |
ICVIP | International Conference on Video and Image Processing | 2024-11-05 | 2024-12-13 |
INAIT | International Conference on Industry 4.0 and Artificial Intelligence Technologies | 2018-10-05 | 2019-08-19 |
ICSAI | International Conference on Systems and Informatics | 2024-11-30 | 2024-12-14 |
EuroSys | European Conference on Computer Systems | 2024-10-15 | 2025-03-30 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
The Scientific World Journal | Hindawi | 1537-744X | ||
c | The Journal of Supercomputing | 2.500 | Springer | 0920-8542 |
c | Proceedings of the ACM on Human-Computer Interaction | ACM | 2573-0142 | |
Information Fusion | 14.70 | Elsevier | 1566-2535 | |
Journal of Formalized Reasoning | Alma Mater Studiorum | 1972-5787 | ||
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE | 2379-8858 | |
IEEE Computer | 2.000 | IEEE | 0018-9162 | |
International Journal of Game Theory and Technology | AIRCC | 2455-0892 | ||
c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 | |
Computer Science & Engineering: An International Journal | AIRCC | 2231-3583 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
The Scientific World Journal | Hindawi | |
The Journal of Supercomputing | 2.500 | Springer |
Proceedings of the ACM on Human-Computer Interaction | ACM | |
Information Fusion | 14.70 | Elsevier |
Journal of Formalized Reasoning | Alma Mater Studiorum | |
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE |
IEEE Computer | 2.000 | IEEE |
International Journal of Game Theory and Technology | AIRCC | |
Logical Methods in Computer Science | Logical Methods in Computer Science | |
Computer Science & Engineering: An International Journal | AIRCC |
おすすめ