[Haskell] 2nd CFP. Int. Conf. Graph Transformation, Vienna July 2016

Tue Jan 26 12:43:01 UTC 2016

[Apologies if you receive multiple copies of this CFP]

==============================================================================

                      Second Call for Papers

                             ICGT 2016

           9th International Conference on Graph Transformation

                    www.graph-transformation.org  

                      Held as Part of STAF 2016
                 http://staf2016.conf.tuwien.ac.at/  

                     July 5-6, 2016, Vienna, Austria

==============================================================================
Important Dates:

Abstract submission:                 15 February 2016
Full paper submission:               29 February 2016
Notification of acceptance:          07 April 2016
Final version due:                   21 April 2016
Conference:                          5-6 July 2016
==============================================================================
Invited Speaker:

We are pleased to announce Juergen Dingel (Queen's University, Ontario,
Canada) as invited speaker.
==============================================================================

Scope:

Graphs are used almost everywhere when representing or modelling structures
and systems, not only in applied and theoretical computer science, but also
in, e.g., natural and engineering sciences. Graph transformation and graph
grammars are the fundamental modelling paradigms for describing, formalizing,
and analyzing graphs that change over time when modelling, e.g., dynamic data
structures, systems, or models. The International Conference on Graph
Transformation (ICGT) series aims to bring together researchers from different
areas in this context and to provide a forum for presenting new results,
discussing novel ideas and sharing experience. In order to foster a lively
exchange of perspectives on the subject of the conference, the programme
committee of the ninth edition of ICGT encourages all kinds of contributions
related to graph transformation. Topics of interest include, BUT ARE NOT
LIMITED TO the following subjects:

    - General models of graph transformation (e.g., high-level, adhesive,
      node, edge, and hyperedge replacement systems)
    - Analysis and verification of graph transformation systems
    - Graph theoretical properties of graph languages
    - Automata on graphs and parsing of graph languages
    - Logical aspects of graph transformation
    - Computational models based on graph transformation
    - Structuring and modularization concepts for graph transformation systems
    - Hierarchical graphs and decompositions of graphs
    - Parallel, concurrent, and distributed graph transformation
    - Modelling and analysis of dynamic data structures
    - Term graph rewriting
    - Graph transformation and Petri nets
    - Ontologies and ontology evolution
    - Graph databases
    - Modelling and realizing software architectures, refactoring, evolution,
      workflows, business processes, access control, security policies,
      service-oriented applications, semantic web, ...
    - Natural language processing, natural computing, bioinformatics,
      quantum computing, ubiquitous computing, visual computing,
      image generation, natural and engineering sciences, ...
    - Model-driven development and model transformation based on
      graph transformation
    - Model checking, program verification, simulation and animation
    - Syntax, semantics and implementation of programming languages,
      domain-specific languages, and visual languages
    - Graph transformation languages and tool support
    - Efficient algorithms (pattern matching, graph traversal etc.)

The 9th International Conference on Graph Transformation (ICGT 2016) will be
held in Vienna, Austria, as a STAF event (http://staf2016.conf.tuwien.ac.at/).
The conference takes place under the auspices of EATCS
(http://www.eatcs.org/), EASST (http://www.easst.org/), and IFIP
(http://www.ifip.org/) WG 1.3.

Program Committee
-----------------

Rachid Echahed (Co-Chair, CNRS and University of Grenoble Alpes, France)
Mark Minas (Co-Chair, UniversitÃ¤t der Bundeswehr MÃ¼nchen, Germany)

GÃ¡bor Bergmann (Budapest University of Technology and Economics, Hungary)
Paolo Bottoni (Sapienza Univ. di Roma, Italy)
Andrea Corradini (UniversitÃ  di Pisa, Italy)
Juan de Lara (Universidad Autonoma de Madrid, Spain)
Frank Drewes (UmeÃ¥ University, Sweden)
Claudia Ermel (Technische UniversitÃ¤t Berlin, Germany)
Holger Giese (Hasso Plattner Institute, University of Potsdam, Germany)
Annegret Habel (UniversitÃ¤t Oldenburg, Germany)
Reiko Heckel (University of Leicester, UK)
Berthold Hoffmann (UniversitÃ¤t Bremen, Germany)
Dirk Janssens (Universiteit Antwerpen, Belgium)
Barbara KÃ¶nig (University of Duisburg-Essen, Germany)
Christian Krause (SAP Innovation Centre Potsdam, Germany)
Sabine Kuske (UniversitÃ¤t Bremen, Germany)
Leen Lambers (Hasso Plattner Institute, University of Potsdam, Germany)
Yngve Lamo (Bergen University College, Norway)
TihamÃ©r Levendovszky (Vanderbilt University, USA)
Mohamed Mosbah (LaBRI , UniversitÃ© de Bordeaux, France)
Fernando Orejas (Technical University of Catalonia, Spain)
Francesco Parisi-Presicce (Sapienza Univ. di Roma, Italy)
Detlef Plump (University of York, UK)
Arend Rensink (University of Twente, The Netherlands)
Leila Ribeiro (Universidade Federal do Rio Grande do Sul, Brazil)
Andy SchÃ¼rr (Technische UniversitÃ¤t Darmstadt, Germany)
Martin Strecker (UniversitÃ© de Toulouse, France)
Gabriele Taentzer (Philipps-UniversitÃ¤t Marburg, Germany)
Matthias Tichy (University of Ulm, Germany)
Pieter Van Gorp (Eindhoven University of Technology, The Netherlands)
Hans Vangheluwe (Universiteit Antwerpen, Belgium)
Bernhard Westfechtel (University of Bayreuth, Germany)
Albert ZÃ¼ndorf (Kassel University, Germany)

Paper Submission
----------------

Papers are solicited in three categories:

* Research papers (limited to 16 pages in Springer LNCS format)
   describe innovative contributions and are evaluated with respect to
   their originality, significance, and technical soundness. Additional
   material intended for reviewers but not for publication in the final
   version may be included in a clearly marked appendix.

* Case studies (limited to 12 pages in Springer LNCS format)
   describe applications of graph transformations in any application
   domain.

* Tool presentation papers (limited to 12 pages in Springer LNCS
   format) demonstrate the main features and functionality of
   graph-based tools. A tool presentation paper may have an appendix
   with a detailed demo description (up to 5 pages), which will be
   reviewed but not included in the proceedings.

Papers can be submitted athttp://www.easychair.org/conferences/?conf=icgt2016.
Submitted papers must use Springer's LNCS format (http://www.springer.com/lncs).
Simultaneous submission to other conferences with proceedings or submission of
material that has already been published elsewhere is not allowed. The page
limits are strict and include references.

Proceedings will be published by Springer in the Lecture Notes in Computer
Science (http://www.springer.com/lncs) series.

Important Dates
---------------

Abstract submission:                 15 February 2016
Full paper submission:               29 February 2016
Notification of acceptance:          07 April 2016
Final version due:                   21 April 2016
Conference:                          5-6 July 2016

Further Information
-------------------

Web page:http://www.graph-transformation.org  
             https://sites.google.com/site/icgt2016/  
Contact:icgt2016 at gmail.com