\documentstyle{article} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Call for papers %% %% SEGRAGRA'95 workshop %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \def\head{ {\bf Announcement and Call for Papers }\\[2mm] {\Large\bf SEGRAGRA'95 }\\[3mm] Joint COMPUGRAPH/SEMAGRAPH Workshop on \\ Graph Rewriting and Computation \\{\bf Volterra (Pisa, Italy) }\\ August 28 - September 1, 1995. } \def\body{ Graphs are a very natural medium to explain complex situations on an intuitive level. They have been studied and applied in a variety of fields in computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, database design and theory and so on. Graph rewriting is a comprehensive framework where the transformation of a variety of different structures can be modelled and studied in an uniform way. In particular, Term Graph rewriting refers to techniques and theories for representing terms and term rewrite rules as graphs and graph rewrite rules. Term Graph rewriting offers a model of computation which is closer to real implementations of functional and logic programming paradigms than pure term rewriting, but which avoids unnecessary machine detail. Graph rewriting and Term Graph rewriting is the focus of two Esprit Basic Research Working Groups, COMPUGRAPH II and SEMAGRAPH II. Both working groups have been active in the three year period 1992-95, and are the continuation of homonymous actions in the 1989-92 period. They have decided to organize their final workshop as a common initiative, with the aim of presenting a coherent, detailed account of the achieved results and their view of the state of the art in the field. \medskip {\bf Topics of interest: } Typical, but not exclusive topics of interest are: \\ \col{ \item Foundations of graph rewriting: Unification, extension and completion of existing graph transformation theories \item Foundations of term graph rewriting, typing, modularity, simulation \item Concurrent Computing: operational semantics for various models of concurrent computing \item Specification and Programming: rule-based specification languages, typing mechanisms, module constructs, applicability constraints, transactions \item Relationship between term graph rewriting and other notions of graph transformation \item Extensions of term graph rewriting to support control and limited notions of state, mapping of process calculi to extended term graph models, semantic-based transformation techniques for deriving control information automatically. } \\[1.5mm] Relevant submissions from outside the COMPUGRAPH and SEMAGRAPH communities are actively sought, especially if they relate to applications. \medskip {\bf Submissions: } Authors are invited to send extended abstracts (in English, up to 5 pages, typeset 12 point) to the PC chairman, at the address mentioned on the left. Simultaneous submission to other conferences or journals is not allowed. If ordinary mail is used, five copies of the abstract should be sent by courier mail. Electronic submission is encouraged via e-mail, in the form of uuencoded compressed PostScript(TM) files; however a printed reference copy should be sent anyway by express or courier mail. Each submission, both by ordinary mail and by e-mail, should be accompanied by a separate message to {\tt segragra@di.unipi.it} specifying a single postal and e-mail address for communication, complete title, author(s), affiliation(s) and 100 word summary. \medskip {\bf Workshop Format and Location: } The workshop will be five days long from Monday to Friday, and will include several tutorials and invited talks to encourage the participation of newcomers. The workshop will take place in the Centro Studi Santa Maria Maddalena, a former hospital located in the center of the town of Volterra turned into a spacious and well equipped conference center. It is made available to SEGRAGRA by Cassa di Risparmio di Volterra. \medskip {\bf Sponsorship: } The workshop will be sponsored by the COMPUGRAPH and SEMAGRAPH working groups. Support by the Italian Research Council (CNR) has also been sought. The event will be organized by the Computer Science Department of Pisa University. } % PRACTICAL INFORMATION \def\pract{ \inform{ SEGRAGRA'95 }{ \names{ Program Chair: } Ugo Montanari \\ Dipartimento di Informatica \\ Universit\`a di Pisa \\ Corso Italia, 40 \\ I-56100 Pisa, Italy \\ {\tt segragra@di.unipi.it } \\[1mm] \names{ Program Committee: } Bruno Courcelle (Bordeaux) \\ Hartmut Ehrig (Berlin) \\ Chris Hankin (London) \\ Dirk Janssens (Antwerp) \\ Jan Willem Klop (Amsterdam) \\ Hans-J\"org Kreowski (Bremen) \\ Lone Leth (M\"unchen) \\ Rinus Plasmeijer (Nijmegen) \\ Jean-Claude Raoult (Rennes) \\ Grzegorz Rozenberg (Leiden) \\ Ronan Sleep (Norwich) \\[1mm] \names{ Local organizers (Pisa): } Andrea Corradini (chair) \\ Andrea Maggiolo-Schettini \\ Ugo Montanari } \infor{% IMPORTANT DATES \cent{ \info {Deadline for submissions:} {April 21, 1995} \info {Notification of acceptance:} {June 5, 1995} \info {Camera-ready version due:} {July 7, 1995} }} % PROCEEDINGS \infor{ The PROCEEDINGS with the abstracts accepted for presentation will be available at the workshop. Final proceedings are also being planned: full versions of the most interesting submissions will be solicited after the workshop and further refereed. } \infor{ VOLTERRA, at the heart of Tuscany, almost equidistant from Pisa, Firenze and Siena, is a historical town of about 13,000 people on the top of a hill (531 m of altitude), whose origins go back to the Etruscan Period, when it was called Velathri. Its main flourishing period however was in the 13th and 14th centuries, and it still maintains the structure and the charm of the old medieval town, with curly streets, far reaching panoramas and several elegant civil buildings. It is the main center in Italy of production and craftsmanship of alabaster. Climate is breezy and usually fresh and dry. } \inform{ INFORMATION } {\bf SEGRAGRA'95 \\ Andrea Corradini \\ Dipartimento di Informatica \\ Corso Italia, 40 \\ I-56125 Pisa, Italy \\ Phone: +39 50 887266 \\ Fax: +39 50 887226 \\ Email: segragra@di.unipi.it } } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % The text below will format this announcement with LaTeX %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \pagestyle{empty} \topmargin-20mm \oddsidemargin-20mm \textwidth190mm \textheight26cm \newcommand{\cent}[1]{\begin{center}#1\end{center}} \newcommand{\names}[1]{{\bf #1}\\[1mm]} \newcommand{\info}[2]{{\em #1}\\{\bf #2}\\[1mm]} \newcommand{\sect}[1]{\vspace{2mm}\par\centerline{{\bf #1}}\vspace{1mm}\par} \newcommand{\colm}[2]{\vspace{1mm}\par~~{\col{#1}~~\col{#2}}\vspace{1mm}\par} \newcommand{\inform}[2]{ \fbox{\begin{minipage}[t]{44mm} %49mm \vspace{1mm}\par \centerline{#1}\footnotesize\vspace{1mm}\par#2 \end{minipage}}\vspace{1mm} } \newcommand{\infor}[1]{ \fbox{\begin{minipage}[t]{44mm} %49mm \footnotesize\vspace{1mm}\par #1 \end{minipage}}\vspace{1mm} } \newenvironment{itz}{\footnotesize \begin{list}{$\bullet$}{ \parsep=0pt\parskip=0pt\topsep=0pt\itemsep=0pt\leftmargin=1em }}{\end{list}} \newcommand{\col}[1]{ \begin{minipage}[t]{0.975\textwidth} \footnotesize\begin{itz}#1\end{itz} \end{minipage} } \begin{document} \nopagebreak \begin{minipage}[t]{48mm} \pract \end{minipage} \hfill \begin{minipage}[t]{133mm} {\large\sl\cent{\head}} \body \end{minipage} \end{document} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ====================================================================== Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation August, 28 - September, 1st, 1995 - Volterra, Italy ---------------------------------------------------------------------- Organizing Committee: | Dipartimento di Informatica A. Corradini (chair) | Corso Italia 40 A. Maggiolo-Schettini | 56125 - Pisa - ITALY U. Montanari | Fax:+39-50-887226 E-mail:segragra@di.unipi.it ----------------------------------------------------------------------