![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Date: Thu, 15 Jul 2010 14:35:02 +0200
From: Arend Rensink <rensink@cs.utwente.nl>
To: ECOOP mailing list <ecoop-info@ecoop.org>
Subject: [ecoop-info] CfPart ICGT and SPIN,
27 Sep - 2 Oct 2010 at University of Twente, The Netherlands
==============================================================
*** Call for Participation ***
ICGT 2010
Fifth International Conference on Graph Transformation
29 Sep - 1 Oct 2010
http://www.utwente.nl/icgt2010/
SPIN 2010
17th International SPIN Workshop on Model Checking of Software
27 Sep - 29 Sep 2010
http://www.utwente.nl/spin2010/
University of Twente, Enschede, The Netherlands
==============================================================
PROGRAMME AND REGISTRATION
Programme at: http://www.utwente.nl/icgt-spin/programme
Registration: http://www.utwente.nl/icgt-spin/registration
Early registration deadline: 1 September 2010
--------------------------------------------------------------
JOINT ICGT/SPIN INVITED SPEAKER:
- Javier Esparza, University of Munich
ICGT 2010 INVITED SPEAKERS:
- Krzysztof Czarnecki, University of Waterloo
- Christoph Brandt, University of Luxembourg
SPIN 2010 INVITED SPEAKERS:
- Alessandro Cimatti, FBK-IRST, Italy
- Darren Cofer, Rockwell Collins, USA
--------------------------------------------------------------
SATELLITE EVENTS:
- PDMC: 9th International Workshop on Parallel and Distributed
Methods in Verification
- HiBi: 2nd International Workshop on High Performance
Computational Systems Biology
- GCM: 3rd Workshop on Graph Computation Models
- GraBaTs: 4th International Workshop on Graph-Based Tools
- PNGT: 4th Workshop on Petri Nets and Graph Transformations
- WTNC: Workshop and Tutorial on Natural Computing
- ICGT Doctoral Symposium
--------------------------------------------------------------
Date: Mon, 26 Apr 2010 11:42:31 +0200
From: Andrea Corradini <andrea@di.unipi.it>
To: Andrea Corradini <andrea@di.unipi.it>
Subject: [ecoop-info] ICGT'10 Doctoral Symposium: First Call for
Contributions
[Our apologies if you receive multiple copies of this announcement]
=====================================================================
Call for Abstracts
ICGT 2010 Doctoral Symposium
<http://wwwhome.cs.utwente.nl/~molm/ICGT10-DS/>
An event to be held during ICGT 2010
5th International Conference on Graph Transformation
Enschede (Netherlands), September 29 - October 1, 2010
<http://www.utwente.nl/icgt2010/>
----------------------------------------------------------------------
The ICGT 2010 Doctoral Symposium will consist of some technical
sessions held during the ICGT 2010 Conference, dedicated to
presentations by PhD students and by young researchers who completed
their doctoral studies within the past two years.
ICGT 2010 aims to bring together researchers and practitioners
interested in the foundations and applications of graph transformation
to a variety of areas. A non-exhaustive list of topics of interest can
be found on the conference web pages:
<http://www.utwente.nl/projecten/icgt2010/scope/>
Within ICGT 2010, the Doctoral Symposium will provide a unique
opportunity for doctoral students and young researchers (having
defended their thesis at most two years previously) to interact with
established researchers of the graph transformation community and with
other students.
The Doctoral Symposium will be held on a date to be determined, during
the regular activities of the ICGT 2010 conference.
Presentations for the Doctoral Symposium will be selected by the
Program Committee according to originality, significance, and general
interest, on the basis of submitted three-pages abstracts. Accepted
abstracts, revised according to the comments by the reviewers, will be
included in the LNCS proceedings of the ICGT Conference.
After the conference, selected authors of presentations will be
invited to submit a full paper for the refereed post-proceedings of
the Doctoral Symposium, which will be published as a volume of the
Electronic Communications of the EASST (European Association of
Software Science and Technology).
----------------------------------------------------------------------
Important Dates
June 11, 2010 Submission deadline for abstracts
June 25, 2010 Notification of acceptance
July 6, 2010 Final abstract due
September 29 - October 1, 2010 ICGT 2010 Conference in Enschede
October 15, 2010 Invitation of full papers
December 1, 2010 Submission deadline for full papers
----------------------------------------------------------------------
Submissions
The abstracts must be up to three pages long including references, and
should be formatted using the standard Springer-Verlag LNCS style
<http://www.springer.de/comp/lncs/authors.html>. Each abstract can be
authored by a single young resarcher (a PhD student, or having
defended the thesis in the last two years).
The abstracts have to be submitted electronically via the EasyChair
system, at the URL
<http://www.easychair.org/conferences/?conf=icgt10ds>
When submitting, the author should send an email to Andrea Corradini
<andrea@di.unipi.it>, declaring either to be a PhD student, or that
he/she defended the thesis in year 2008 or later. In both cases,
please indicate the name of the PhD supervisor.
Full papers submitted after the invitation for the post-proceedings
can be co-authored by other researchers.
----------------------------------------------------------------------
Organizing committe
Andrea Corradini, Pisa (I)
Maarten de Mol, Enschede (NL)
----------------------------------------------------------------------
Contacts
For any information about the ICGT 2010 Doctoral Symposium, feel free
to contact either Andrea Corradini (email: andrea@di.unipi.it, phone:
+39 050 2212786), or Maarten de Mol (email: M.J.deMol@utwente.nl,
phone: +(31)53-4894476)
----------------------------------------------------------------------
Date: Fri, 04 Dec 2009 15:57:30 +0100 From: Eduardo Zambon <zambon@cs.utwente.nl> To: ECOOP mailing list <ecoop-info@ecoop.org> Subject: [ecoop-info] Second Call for Workshop Proposals: ICGT/SPIN 2010 [Our apologies for multiple receptions of this message.] **************************************************************** **** Second Call for Workshops Proposals **** *********** ICGT/SPIN 2010 ************* **************************************************************** We are inviting people to submit proposals for satellite workshops for the joint event of the Fifth International Conference on Graph Transformation (ICGT 2010) and the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). Both events will take place at the University of Twente (Enschede, The Netherlands), between September 27th and October 2nd, 2010. Further information is available at the ICGT/SPIN website: <http://www.utwente.nl/icgt-spin/>. We solicit proposals for high-quality workshops related to the field of graph transformations and software verification and validation, from academic research to industrial applications. The purpose of the workshops is to enhance and diversify the main events, to provide an informal setting for workshop participants to discuss technical issues, exchange research ideas, and to discuss and demonstrate applications. The workshops may be driven by theoretical foundations or by applications of graph transformation and software verification and validation to a variety of areas. (1) Workshop Proposal Requirements Proposals for workshops should be no more than 5 pages in length and submitted to the ICGT/SPIN workshop chair before December 18th, 2009. A workshop proposal should contain at least the following information: - Title and brief technical description of the workshop, specifying the goals and the technical issues that will be its focus. - A brief description of why the workshop is of interest and what is the target audience. - The names and contact information (web page, email address) of the Program Committee (PC) chairs, i.e., the workshop organizers. Moreover, a tentative list of workshop PC members should be given. - A list of related workshops or similar events held in the past. - The preferred dates (either pre- or post-conference for ICGT or SPIN), the duration, and the estimated number of participants. (2) Responsibilities The workshop organizer(s) will be responsible for the following: - Producing a web page and a "Call for Papers/Participation" for their workshop. Based on the notification deadline of the main conferences we expect the submission deadlines for the workshops to be in the beginning of June 2010. - Advertising the workshop on the appropriate mailing lists. - Appointing session chairs, etc. - Inviting and reimbursing the keynote speakers. The local organization of the conference can take care of the production of workshop pre- proceedings. (3) Submitting a Workshop Proposal Expressions of interest and full proposals may be submitted in any one of the following formats: ASCII text, PostScript, PDF or Microsoft Word. Please send your proposals and any inquiries by electronic mail to: Amir Hossein Ghamarian <a.h.ghamarian@cs.utwente.nl> (4) Important Dates Deadline workshop proposals: December 18th, 2009 Notification of acceptance: January 15th, 2010 Paper submission (tentative): Start of June 2010 ICGT/SPIN Workshop chair 2010 Amir Hossein Ghamarian E-mail: a.h.ghamarian@cs.utwente.nl
Date: Mon, 02 Nov 2009 13:15:49 +0100 From: Eduardo Zambon <zambon@cs.utwente.nl> To: ECOOP mailing list <ecoop-info@ecoop.org> Subject: [ecoop-info] Call for Workshop Proposals: ICGT/SPIN 2010 [ 83 lines deleted; see updated version above -- dc ]
Date: Mon, 30 Nov 2009 15:47:59 +0100
From: Eduardo Zambon <zambon@cs.utwente.nl>
To: ECOOP mailing list <ecoop-info@ecoop.org>
Subject: [ecoop-info] Call for Papers: ICGT 2010 -- Abstract submission: 9 Apr '10
--------------------------------------------------------------------------------
5th International Conference on Graph Transformation (ICGT 2010)
University of Twente, Enschede, The Netherlands
29 September - 1 October 2010
----------------------------------------------
Call for Papers
The 5th International Conference on Graph Transformation (ICGT 2010) will be
held at the University of Twente in Enschede (The Netherlands) in the last week
of September 2010. It continues the line of conferences previously held in
Barcelona (Spain) in 2002, Rome (Italy) in 2004, Natal (Brazil) in 2006 and
Leicester (UK) in 2008, as well as a series of six International Workshops on
Graph Transformation with Applications in Computer Science between 1978 and
1998. The conference takes place under the auspices of EATCS, EASST, and IFIP
WG 1.3. Awards will be given by EATCS and EASST for the best theoretical and
application-oriented papers. Proceedings are planned with Springer's Lecture
Notes in Computer Science series.
ICGT 2010 will be colocated with the SPIN 2010 workshop on Software Model
Checking, and will also host several satellite events.
Invited Speakers
================
We are pleased to announce the following invited speakers:
- Javier Esparza, University of Munich (joint keynote speaker with SPIN 2010)
- Krzysztof Czarnecki, University of Waterloo
- Christoph Brandt, University of Luxembourg
Scope
=====
Graphs are among the simplest and most universal models for a variety of
systems, not just in computer science, but throughout engineering and the life
sciences. When systems evolve we are interested in the way they change, to
predict, support, or react to their evolution. Graph transformation combines
the idea of graphs as a universal modelling paradigm with a rule-based approach
to specify evolution. The area is concerned with both the theory of graph
transformation and their application to a variety of domains.
The conference aims at bringing together researchers and practitioners
interested in the foundations and application of graph transformation to a
variety of areas. Topics of interest include, but are not limited to
* Foundations and theory of
o General models of graph transformation
o High-level and adhesive replacement systems
o Node-, edge-, and hyperedge replacement grammars
o Parallel, concurrent, and distributed graph transformation
o Term graph rewriting
o Hierarchical graphs and decompositions of graphs
o Graph theoretical properties of graph languages
o Geometrical and topological aspects of graph transformation
o Automata on graphs and parsing of graph languages
o Analysis and verification of graph transformation systems
o Structuring and modularization concepts for transformation systems
o Graph transformation and Petri nets
* Languages, tool support and applications in
o Software architecture
o Workflows and business processes
o Software quality, testing and evolution
o Access control and security models
o Aspect-oriented development
o Model-driven development, especially model transformations
o Domain-specific languages
o Implementation of programming languages
o Bioinformatics and system biology
o Natural computing
o Image generation and pattern recognition techniques
o Massively parallel computing
o Self-adaptive systems and ubiquitous computing
o Service-oriented applications and semantic web
Paper submission is at http://www.easychair.org/conferences/?conf=icgt2010.
Submitted papers may not exceed fifteen (15) pages using Springer's LNCS
format, and should contain original research. Simultaneous submission to other
conferences with proceedings or submission of material that has already been
published elsewhere is not allowed.
Selected papers will be invited for submission to special issues of Fundamenta
Informaticae (for theoretically oriented papers) and Software and Systems
Modeling (for application-oriented papers).
Important Dates:
================
Abstract submission: 9 April 2010
Full paper submission: 16 April 2010
Notification of acceptance: 7 June 2010
Final version due: 28 June 2010
Main conference: 29 September - 1 October 2010
Satellite events: 28 September and 2 October 2010
Venue:
======
The University of Twente is located in a beautiful green area between the
cities of Hengelo and Enschede, in the eastern part of The Netherlands. It has
good connections to the airports of Schiphol (Amsterdam, The Netherlands) and
Münster (Germany). The main town, Enschede, lies directly on the Dutch/German
border, and it is a characteristic, modern and lively university town. Elegant
historic buildings in the town and surrounding area are evocative of Enschede's
rich textile past. Some of the town's most notable monuments are the beautiful
town hall, several beautiful churches and a unique synagogue.
The University of Twente is an entrepreneurial research university. It was
founded in 1961 and offers education and research in areas ranging from public
policy studies and applied physics to biomedical technology. The UT is the
Netherlands' only campus university. It counts in the order of 10,000 students.
Programme Committee:
====================
- Paolo Baldan,
University of Padova (Italy)
- Luciano Baresi,
University of Milano (Italy)
- Michel Bauderon,
University of Bordeaux (France)
- Artur Boronat,
University of Leicester (UK)
- Paolo Bottoni,
University of Rome La Sapienza (Italy)
- Andrea Corradini,
University of Pisa (Italy)
- Juan de Lara,
Autonomous University of Madrid (Spain)
- Hartmut Ehrig,
Technical University of Berlin (Germany)
- Gregor Engels,
University of Paderborn (Germany)
- Claudia Ermel
Technical University of Berlin (Germany)
- Holger Giese,
University of Potsdam (Germany)
- Annegret Habel,
University of Oldenburg (Germany)
- Reiko Heckel,
University of Leicester (UK)
- Dirk Janssens,
University of Antwerp (Belgium)
- Garbor Karsai,
Vanderbilt University (USA)
- Ekkart Kindler,
Technical University of Denmark (Denmark)
- Barbara Koenig,
University of Duisburg-Essen (Germany)
- Hans-Jörg Kreowski,
University of Bremen (Germany)
- Ralf Lämmel,
University of Koblenz (Germany)
- Mark Minas,
Universität der Bundeswehr München (Germany)
- Ugo Montanari,
University of Pisa (Italy)
- Mohamed Mosbah,
University of Bordeau (France)
- Manfred Nagl,
RWTH Aachen University (Germany)
- Fernando Orejas,
Technical University of Catalonia (Spain)
- Francesco Parisi-Presicce,
University of Rome La Sapienza (Italy)
- Rinus Plasmeijer,
Radboud University (The Netherlands)
- Detlef Plump,
University of York (UK)
- Arend Rensink (PC co-chair),
University of Twente (The Netherlands)
- Leila Ribeiro,
Federal University of Rio Grande do Sul (Brazil)
- Andy Schürr (PC co-chair),
Technische Universität Darmstadt (Germany)
- Gabriele Taentzer,
University of Marburg (Germany)
- Pieter Van Gorp,
Technical University of Eindhoven (The Netherlands)
- Dániel Varró,
Budapest University of Technology and Economics (Hungary)
- Gergely Varró,
Budapest University of Technology and Economics (Hungary)
- Jens-Holger Weber-Jahnke,
University of Victoria (USA)
- Albert Zündorf,
University of Kassel (Germany)
Organisation
============
Program Chairs
- Arend Rensink <rensink@cs.utwente.nl>,
University of Twente, The Netherlands
- Andy Schürr <andy.schuerr@es.tu-darmstadt.de>,
Technische Universität Darmstadt, Germany
Local Organisation
- Maarten de Mol <m.j.demol@utwente.nl>,
University of Twente, The Netherlands
Publicity Chair:
- Eduardo Zambon <zambon@cs.utwente.nl>,
University of Twente, The Netherlands
Workshop Chair:
- Amir Ghamarian <a.h.ghamarian@utwente.nl>,
University of Twente, The Netherlands
Further information can be found at: http://www.utwente.nl/icgt2010
--------------------------------------------------------------------------------
To the Ada-Belgium home page.
Last update: 2010/09/20.
Dirk Craeynest