会議情報
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
合格率
時間提出受け入れ受け入れ(%)
2021261453.8%
2020401640%
2019221254.5%
201816956.3%
2017231460.9%
2016331442.4%
2015271555.6%
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
cb3NEW2ANInternational Conference on Next Generation Wired/Wireless Advanced Networks and Systems2020-06-152020-06-302020-08-26
ICEBTInternational Conference on E-Education, E-Business and E-Technology2020-05-052020-05-202020-06-05
cbAPSECAsia-Pacific Software Engineering Conference2024-07-062024-09-132024-12-03
ECTAInternational Conference on Evolutionary Computation Theory and Applications2024-06-032024-07-312024-11-20
BIInternational Conference on Brain Informatics2024-08-202024-09-102024-12-13
IJCBInternational Joint Conference on Biometrics2024-04-012024-06-052024-09-15
FAT*Conference on Fairness, Accountability, and Transparency2017-09-292017-11-172018-02-23
b2AIIDEAAAI Conference on Artificial Intelligence and Interactive Digital Entertainment2014-05-122014-06-202014-10-03
Iranian-RadarIranian Conference on Radar and Surveillance Systems2019-07-222019-09-222019-11-20
CNIoT'International Conference on Green Communication, Network and Internet of Things2024-08-252024-08-262024-08-30
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
Statistics and Computing1.600Springer0960-3174
Journal of Robotics1.400Hindawi1687-9600
Journal of Chemical Information and Modeling5.600American Chemical Society1549-9596
bIEEE Transactions on Systems, Man, and Cybernetics: Systems8.600IEEE2168-2216
IEEE MultiMedia2.300IEEE1070-986X
Social Science Computer Review3.000SAGE0894-4393
IEEE Computer Architecture Letters1.400IEEE1556-6056
Information Processing and Management7.400Elsevier0306-4573
The Scientific World JournalHindawi1537-744X
IEEE Transactions on Control Systems Technology4.900IEEE1063-6536
おすすめ