会議情報
ICGT 2015: International Conference on Graph Transformation
http://btn1x4.inf.uni-bayreuth.de/icgt2015/提出日: |
2015-03-20 |
通知日: |
2015-04-30 |
会議日: |
2015-07-21 |
場所: |
LAquila, Italy |
年: |
8 |
閲覧: 9009 追跡: 0 出席: 0
論文募集
Dynamic structures are a major cause for complexity when it comes to model and reason about systems. They occur in software architectures, configurations of artefacts such as code or models, pointer structures, databases, networks, etc. As interrelated elements, which may be added, removed, or change state, they form a fundamental modelling paradigm as well as a means to formalise and analyse systems. Applications include architectural reconfigurations, model transformations, refactoring, and evolution of a wide range of artefacts, where change can happen either at design or at run time. Dynamic structures occur also as part of semantic domains or computational model for formal modelling languages. Based on the observation that all these can be represented as graphs and their changes modeled as graph transformations, theory and applications of graphs, graph grammars and graph transformation systems have been studied in our community for more than 40 years. The conference aims at fostering interaction within this community as well as attracting researchers from other areas to join us, either in contributing to the theory of graph transformation or by applying graph transformations to already known or novel areas, such as self-adaptive systems, overlay structures in cloud or P2P computing, advanced computational models for DNA computing, etc. Topics of interest include, but are not limited to: Foundations Applications General models of graph transformation Model‐driven development and model transformations Node-, edge-, and hyperedge replacement grammars Graph transformation languages Parallel, concurrent, and distributed graph transformation Syntax and semantics of programming languages or domain‐specific languages High-level and adhesive replacement systems Tool support for graph transformations Term graph rewriting Model checking, validation, verification, simulation and animation Computational models based on graph transformations Efficient algorithms (pattern matching, graph traversal etc.) Hierarchical graphs and decompositions of graphs Software architecture, refactoring, and evolution Graph theoretical properties of graph languages Workflows, business processes, and service‐oriented applications Geometrical and topological aspects of graph transformation Self‐adaptive systems and ubiquitous computing Automata on graphs and parsing of graph languages Natural computing Analysis and verification of graph transformation systems Bioinformatics and system biology Structuring and modularization concepts for transformation systems Applications in natural and engineering sciences Graph transformation and Petri nets
最終更新 Dou Sun 2015-01-10
合格率
時間 | 提出 | 受け入れ | 受け入れ(%) |
---|---|---|---|
2021 | 26 | 14 | 53.8% |
2020 | 40 | 16 | 40% |
2019 | 22 | 12 | 54.5% |
2018 | 16 | 9 | 56.3% |
2017 | 23 | 14 | 60.9% |
2016 | 33 | 14 | 42.4% |
2015 | 27 | 15 | 55.6% |
関連会議
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
NEW2AN | International Conference on Next Generation Wired/Wireless Advanced Networks and Systems | 2020-06-15 | 2020-08-26 |
ICEBT | International Conference on E-Education, E-Business and E-Technology | 2020-05-05 | 2020-06-05 |
APSEC | Asia-Pacific Software Engineering Conference | 2024-07-06 | 2024-12-03 |
ECTA | International Conference on Evolutionary Computation Theory and Applications | 2024-06-03 | 2024-11-20 |
BI | International Conference on Brain Informatics | 2024-08-20 | 2024-12-13 |
IJCB | International Joint Conference on Biometrics | 2024-04-01 | 2024-09-15 |
FAT* | Conference on Fairness, Accountability, and Transparency | 2017-09-29 | 2018-02-23 |
AIIDE | AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment | 2014-05-12 | 2014-10-03 |
Iranian-Radar | Iranian Conference on Radar and Surveillance Systems | 2019-07-22 | 2019-11-20 |
CNIoT' | International Conference on Green Communication, Network and Internet of Things | 2024-08-25 | 2024-08-30 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
Statistics and Computing | 1.600 | Springer | 0960-3174 | |
Journal of Robotics | 1.400 | Hindawi | 1687-9600 | |
Journal of Chemical Information and Modeling | 5.600 | American Chemical Society | 1549-9596 | |
b | IEEE Transactions on Systems, Man, and Cybernetics: Systems | 8.600 | IEEE | 2168-2216 |
IEEE MultiMedia | 2.300 | IEEE | 1070-986X | |
Social Science Computer Review | 3.000 | SAGE | 0894-4393 | |
IEEE Computer Architecture Letters | 1.400 | IEEE | 1556-6056 | |
Information Processing and Management | 7.400 | Elsevier | 0306-4573 | |
The Scientific World Journal | Hindawi | 1537-744X | ||
IEEE Transactions on Control Systems Technology | 4.900 | IEEE | 1063-6536 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
Statistics and Computing | 1.600 | Springer |
Journal of Robotics | 1.400 | Hindawi |
Journal of Chemical Information and Modeling | 5.600 | American Chemical Society |
IEEE Transactions on Systems, Man, and Cybernetics: Systems | 8.600 | IEEE |
IEEE MultiMedia | 2.300 | IEEE |
Social Science Computer Review | 3.000 | SAGE |
IEEE Computer Architecture Letters | 1.400 | IEEE |
Information Processing and Management | 7.400 | Elsevier |
The Scientific World Journal | Hindawi | |
IEEE Transactions on Control Systems Technology | 4.900 | IEEE |
おすすめ