<span </span> http://www.lsi.upc.es/icgt2002 .</div> <div><br></div> <div>With kind regards, Andrea Corradini and Hans-Joerg Kreowski</div> <div><br></div> <div xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx<span </span>xxxxxx</div> <div><br></div> <div> Please apologize if you receive multiple copies of this message.</div> <div><br></div> <div><br></div> <div><b <span </span> FIRST ANNOUNCEMENT</b></div> <div><br></div> <div><br></div> <div><font size="+3"><b <span </span> ICGT 2002</b></font></div> <div><br></div> <div><b> 1st International Conference </b></div> <div><b <span </span> on Graph Transformation </b></div> <div><b><br></b></div> <div> </div> <div Barcelona (Spain), October 7-12, 2002</div> <div><br> <br> The first international conference on graph transformation ICGT 2002</div> <div>including several satellite events will be held in Barcelona in
Science. <span </span <span </span <span </span <span </span <span </span <span </span> </div> <div <span </span <span </span <span </span <span </span <span </span <span </span> </div> <div><br></div> <div><b>Scope</b>. Graphical structures of various kinds (like graphs, diagrams,</div> <div>visual sentences and others) are very useful to describe complex structures</div> <div>and systems in a direct and intuitive way. These structures are often</div> <div>augmented by formalisms which add to the static description a further</div> <div>dimension allowing for the modelling of the evolution of systems via any</div> <div>kind of transformation of such graphical structures. The field of Graph</div> <div>Transformation is concerned with the theory, applications and implementation</div> <div>issues of all these formalisms.</div> <div><br></div> <div>The theory is strongly related to areas such as graph theory and graph</div> <div>algorithms, formal language and parsing theory, theory of concurrency and</div> <div>distributed systems, formal specification and verification, logic and</div> <div>semantics. The application areas include all those fields of Computer</div> <div>Science, Information Processing, Engineering and Natural Sciences where</div> <div>static and dynamic modeling by graphical structures and graph
<span </span <span </span <span </span <span </span <span </span <span </span <span </span> - Specification languages</div> <div>- Implementation of programming languages</div> <div>- Design of visual programming environments</div> <div>- Massively parallel computing</div> <div>- Software engineering and modular systems</div> <div>- Development of meta CASE tools</div> <div>- Software architecture</div> <div>- Information security</div> <div>- Visual languages</div> <div>- Actor systems and Petri nets</div> <div>- Rule- and knowledge-based systems</div> <div>- Developmental systems</div> <div>- Pattern generation and picture processing</div> <div>- Pattern matching</div> <div>- Tool support</div> <div>- Graph exchange formats</div> <div>- Layout algorithms</div> <div> </div> <div <span </span <span </span <span </span <span </span <span </span> </div> <div><b>Invited speakers</b>.</div> <div> </div> <div> Carlo Ghezzi (Milano, Italy)</div> <div> David Harel (Rehovot, Israel)</div> <div> Robin Milner (Cambridge, UK)</div> <div><br> </div> <div><b>Program committee</b>. Michel Bauderon (Bordeaux, France), Paolo Bottoni</div> <div>(Rome, Italy), Andrea Corradini (co-chair; Pisa, Italy), Hartmut Ehrig</div> <div>(Berlin, Germany), Gregor Engels (Paderborn, Germany), Reiko Heckel</div> <div>(Paderborn, Germany), Dirk Janssens (Antwerp, Belgium), Hans-J�rg Kreowski</div> <div>(co-chair; Bremen, Germany), Ugo Montanari (Pisa, Italy), Manfred Nagl</div> <div>(Aachen, Germany), Fernando Orejas (Barcelona, Spain), Francesco</div> <div>Parisi-Presicce (Rome, Italy), Mauro Pezz� (Milano, Italy), John Pfaltz</div> <div>(Charlottesville, Virginia, USA), Rinus Plasmeijer (Nijmegen, The</div> <div>Netherlands), Detlef Plump (York, Great Britain), Azriel Rosenfeld</div> <div>(Maryland, USA), Grzegorz Rozenberg (Leiden, The Netherlands), Andy</div> <div>Sch�rr (Munich, Germany), Gabriele Taentzer (Berlin, Germany),</div> <div>Gabriel Valiente (Barcelona, Spain)</div> <div><br></div> <div><br></div> <div><b>Important dates</b>.</div> <div> </div> <div> Submission of
Bruno Courcelle (Bordeaux, France), Pascal Weil (Bordeaux, France) Contact and further information: pascal.weil@labri.fr, http://dept-info.labri.fr/~weil/LGTDD-Barcelona2002 . xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx -- --Content-Type: text/html; charsetContent-Transfer-Encoding: quoted-printable <!doctype html public "-//W3C//DTD W3 HTML//EN"> <html><head><style type="text/css"><!-- blockquote, dl, ul, ol, li { padding-top: 0 ; padding-bottom: 0 } --></style><title>ICGT 2002 first announcement</title></head><body> <div>Dear Colleague,</div> <div><br></div> <div>Please find below the first announcement of the 1st International Conference</div> <div>on Graph Transformation (ICGT 2002) as a simple text. Slightly more fancy</div> <div>versions can be found under</div> <div><br></div> <div>http://www.informatik.uni-bremen.de/theorie/icgtfa.pdf</div> <div><br></div> <div>http://www.informatik.uni-bremen.de/theorie/icgtflyer.pdf</div> <div><br></div> <div><br></div> <div>The latter may be printed on a single sheet of paper (front and back) and</div> <div>provides a 4-page flyer if folded in the middle.</div> <div><br></div> <div>Please visit also the ICGT 2002 website for more detailed information:</div> <div><br></div> <div the</div> <div>second week of October 2002. It follows a series of six international</div> <div>workshops on graph transformation with applications in computer science</div> <div>held from 1978 to 1998 in Europe and the USA. The conference takes place</div> <div>under the auspices of EATCS, EASST, and IFIP WG 1.3. The proceedings of</div> <div>ICGT will be published by Springer-Verlag in Lecture Notes in Computer</div> <div transformations,</div> <div>respectively, play an important role. In many of these areas tools based</div> <div>on graph transformation technology have been implemented and used.</div> <div><br></div> <div><br></div> <div><b>Topics of interest</b> include, but are not limited to the following.</div> <div><br></div> <div>On the more theoretical side:</div> <div><br></div> <div>- General models of graph transformation</div> <div>- Node-, edge-, and hyperedge replacement graph grammars</div> <div>- Concurrency, distribution, and formal semantics</div> <div>- Term graph rewriting</div> <div>- Network computing</div> <div>- High-level replacement systems</div> <div>- Hierarchical graphs and decompositions of graphs</div> <div>- Logic expression of graph transformation properties</div> <div>- Graph theoretical properties of graph languages</div> <div>- Geometrical and topological aspects of graph transformation</div> <div>- Automata on graphs and parsing of graph languages</div> <div>- Analysis of graph transformation systems</div> <div>- Structuring and modularization concepts</div> <div>- Semantics of UML and other visual modelling techniques</div> <div><br></div> <div>On the more applied side:</div> <div papers: <span
</span <span </span> April 1, 2002</div> <div> Notification of acceptance: <span </span <span </span> June 1, 2002</div> <div> Final version due: <span </span <span </span> June 20, 2002</div> <div> Main conference: <span </span <span </span> October 8-11, 2002</div> <div> Conference including satellite events: October 7-12, 2002</div> <div> </div> <div <span </span <span </span <span </span <span </span <span </span> </div> <div><b>General Organizing Committee</b>.</div> <div> </div> <div>Andrea Corradini (Pisa, Italy), Hartmut Ehrig (chair; Berlin, Germany),</div> <div>Hans-J�rg Kreowski (Bremen, Germany), Fernando Orejas (Barcelona, Spain),</div> <div>Grzegorz Rozenberg (Leiden, The Netherlands)</div> <div><br></div> <div><br></div> <div><b>Local Organizing Committee</b>.</div> <div> </div> <div>Nikos Mylonakis, Fernando Orejas (chair), Elvira Pino, Gabriel Valiente</div> <div><br></div> <div><br></div> <div><b>Steering committee</b>. Michel Bauderon (Bordeaux, France), Andrea Corradini</div> <div>(Pisa, Italy), Hartmut Ehrig (chair; Berlin, Germany), Gregor Engels</div> <div>(Paderborn, Germany), Dirk Janssens (Antwerp, Belgium), Hans-J�rg</div> <div>Kreowski (Bremen, Germany), Ugo Montanari (Pisa, Italy), Manfred Nagl</div> <div>(Aachen, Germany), Francesco Parisi-Presicce (Rome, Italy), John Pfaltz</div> <div>(Charlottesville, Virginia, USA), Rinus Plasmeijer (Nijmegen, The</div> <div>Netherlands), Azriel Rosenfeld (Maryland, USA), Grzegorz Rozenberg</div> <div>(Leiden, The Netherlands)</div> <div><br></div> <div><br></div> <div><b>More details</b> concerning ICGT 2002 including the main conference, satellite</div> <div>events, submission of papers, local information on the conference site, and</div> <div>travel information can be found on the website of ICGT 2002,</div> <div><br></div> <div <span </span> http://www.lsi.upc.es/icgt2002 .</div> <div><br></div> <div>For further information, you may contact also Andrea Corradini</div> <div>(<font color="#0000FF">andrea@di.unipi.it</font>), Hans-Joerg Kreowski (<font
color="#0000FF">kreo@informatik.uni-bremen.de</font>)</div> <div>or Fernando Orejas (<font color="#0000FF">orejas@lsi.upc.es</font>).</div> <div><br></div> <div><b>Conference address</b>.</div> <div><br></div> <div> ICGT 2002</div> <div> Fernando Orejas</div> <div> Universitat Polit�cnica de Catalunya</div> <div> Departament de Llenguatges i Sistemes Inform�tics</div> <div> Campus Nord - Edif. C6</div> <div> 08034 Barcelona, Spain</div> <div> Tel: +93 401 7018</div> <div> Fax: +93 401 7014</div> <div><br></div> <div><br></div> <div><b>Satellite events</b>.</div> <div><br></div> <div><b>GRA-TRA TUTORIAL</b></div> <div>Tutorial on Foundations and Applications of Graph Transformation</div> <div>Date: Oct. 8 (morning)</div> <div>Organizers, contact and further information:</div> <div>Luciano Baresi (<font color="#0000FF">baresi@elet.polimi.it</font>), Reiko Heckel (<font color="#0000FF">reiko@upb.de</font>)</div> <div>http://www.upb.de/cs/ag-engels/Conferences/ICGT02/Tutorial</div> <div><br></div> <div><b>DNA GRA-TRA 2002</b></div> <div>Tutorial on DNA Computing and Graph Transformation</div> <div>Date: Oct. 7</div> <div>Organizers:</div> <div>Tero Harju (Turku, Finland), Grzegorz Rozenberg (Leiden, The Netherlands)</div> <div>Contact and further information:<font color="#0000FF"> rozenber@liacs.nl</font></div> <div><br></div> <div><b>TERMGRAPH 2002</b></div> <div>International Workshop on Term Graph Rewriting</div> <div>Date: Oct. 7</div> <div>Organizer, contact and further information:</div> <div>Detlef Plump (<font color="#0000FF">det@cs.york.ac.uk</font>)</div> <div>http://www.cs.york.ac.uk/~det/Termgraph_2002/cfp.html</div> <div><br></div> <div> </div> <div><b>GraBaTs 2002</b></div> <div>International Workshop on Graph-Based Tools</div> <div>Date: Oct. 7 - 8 (lunch)</div> <div>Organizers:</div> <div>Tom Mens (Brussels, Belgium), Andy Sch�rr (Munich, Germany),</div> <div>Gabriele Taentzer (Berlin, Germany)</div> <div>Contact and further information:</div> <div><font color="#0000FF">gabi@cs.tu-berlin.de</font>, http://tfs.cs.tu-berlin.de/grabats .</div> <div><br></div> <div><b>GT-VMT 2002</b></div> <div>International Workshop on Graph Transformation and Visual Modeling Techniques</div> <div>Date: Oct. 11 (lunch) - Oct. 12</div> <div>Organizers:</div> <div>Paolo Bottoni (Rome, Italy), Mark Minas (Erlangen, Germany)</div> <div>Contact and further information:</div> <div><font color="#0000FF">bottoni@dsi.uniroma1.it</font>,<font color="#0000FF"> mark.minas@informatik.uni-erlangen.de</font></div> <div>http://www2.cs.fau.de/GTVMT02/ .</div> <div><br></div> <div><b>SOFTWARE EVOLUTION</b></div> <div>Workshop on software evolution through transformations:</div> <div>Towards uniform support throughout the software life-cycle</div> <div>Date: Oct. 11 (lunch) - Oct. 12 (lunch)</div> <div>Organizers:</div> <div>Reiko Heckel (Paderborn, Germany), Tom Mens (Brussels, Belgium),</div> <div>Michel Wermelinger (Lisbon, Portugal)</div> <div>Contact and further information:</div> <div><font color="#0000FF">reiko@upb.de</font>, http://www.upb.de/cs/ag-engels/Conferences/ICGT02/FSWE .</div> <div><br></div> <div><b>LOGIC, GRAPH TRANSFORMATIONS AND DISCRETE STRUCTURES</b></div> <div>Workshop with invited lectures and short contributions</div> <div>Date: Oct. 11 (lunch) - Oct. 12</div> <div>Organizers:</div> <div>Bruno Courcelle (Bordeaux, France), Pascal Weil (Bordeaux, France)</div> <div>Contact and further information:</div> <div><font color="#0000FF">pascal.weil@labri.fr</font>, http://dept-info.labri.fr/~weil/LGTDD-Barcelona2002 .</div> <div><br></div> <div >xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx<span ></span>xxxxxxx</div> <div> </div> </body> </html> -- 21-Sep-2001 17:50:55 -0300,2454;000000000001-0000001c