* [Caml-list] Last CFP: Term and Graph rewriting, special issue of MSCS
[not found] <4E85734A.9040501@imag.fr>
@ 2012-01-13 15:40 ` Rachid Echahed
2012-04-04 5:21 ` [Caml-list] CFP: Graph Computation Models (GCM2012) Rachid Echahed
0 siblings, 1 reply; 8+ messages in thread
From: Rachid Echahed @ 2012-01-13 15:40 UTC (permalink / raw)
To: Rachid.Echahed
--------------------------------------------------------------------------
Last Call for Papers
Special Issue of Mathematical Structures in Computer Science (MSCS) on
"TERM and GRAPH Rewriting"
http://membres-lig.imag.fr/echahed/pages/mscs.php
--------------------------------------------------------------------------
Scope
--------------------------------------------------------------------------
Rewriting techniques constitute a foundational theory of computing
science. They are being investigated for several structures such as
lambda-terms, first-order terms or graphs and have been successfully
used in many areas such as programming languages, automated
reasoning, program verification, security, etc. This is witnessed by
the leading international events ICGT, RTA or TLCA among others.
During the last decade, a particular interest has been devoted to the
study of the impact of shared structures in term and graph rewriting
through the international editions of TERMGRAPH series of workshops.
Sharing is indeed ubiquitous in several research areas, for instance:
the modelling of first- and higher-order term rewriting by (acyclic or
cyclic) graph rewriting, the modelling of biological or chemical
abstract machines, the implementation techniques of programming
languages. Term and graph rewriting are also used in automated theorem
proving and symbolic computation systems working on shared
structures...
This special issue is devoted to recent developments in all aspects
of TERM and GRAPH rewriting. This includes (but is not limited to):
term rewriting, graph transformation, proof methods, programming
languages, infinitary rewriting, rewrite strategies, semantics,
properties of rewriting, ...
--------------------------------------------------------------------------
Submissions
--------------------------------------------------------------------------
Submitted papers must be original and not submitted for publication
elsewhere, and will be subject to the standard journal refereeing
process of the Mathematical Structures in Computer Science (MSCS)
journal.
Submissions should be in pdf format following the MSCS instruction for
contributors (http://assets.cambridge.org/MSC/MSC_ifc.pdf) and should
be submitted electronically via the following easy-chair web site:
https://www.easychair.org/conferences/?conf=mscsrewriting2012
--------------------------------------------------------------------------
Important Dates
--------------------------------------------------------------------------
Should you have any problem to meet the deadlines, please send a mail to
the guest editor.
January 20, 2012 : Abstract submission
February 20, 2012: Paper submission
June 15, 2012 : Notification of acceptance
--------------------------------------------------------------------------
Guest Editor:
--------------------------------------------------------------------------
Rachid Echahed, CNRS LIG Lab., Grenoble, France
echahed@imag.fr
--------------------------------------------------------------------------
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Caml-list] CFP: Graph Computation Models (GCM2012)
2012-01-13 15:40 ` [Caml-list] Last CFP: Term and Graph rewriting, special issue of MSCS Rachid Echahed
@ 2012-04-04 5:21 ` Rachid Echahed
2012-06-01 14:04 ` [Caml-list] Second " Rachid Echahed
0 siblings, 1 reply; 8+ messages in thread
From: Rachid Echahed @ 2012-04-04 5:21 UTC (permalink / raw)
To: Rachid.Echahed
-----------------------------------------------------------------------
CALL FOR PAPERS
GCM 2012
Fourth International Workshop on
Graph Computation Models
Bremen, Germany, September 29th, 2012
http://gcm2012.imag.fr/
Part of ICGT2012
http://www.informatik.uni-bremen.de/icgt2012/
Full versions of best papers will be included in an issue of the
the international journal of the "Electronic Communications of the EASST"
--------------------------------------------------------------------------
Aims
The aim of the International Workshop GCM2012 is to bring together
researchers interested in all aspects of computation models based on
graphs and graph transformation techniques. It promotes the
cross-fertilizing exchange of ideas and experiences among researchers
and students from the different communities interested in the
foundations, applications, and implementations of graph computation
models and related areas.
GCM2012 is a one-day satellite event of ICGT 2012, which will take
place in Bremen, Germany, from 24 to 29 of September 2012. Previous
editions of GCM series were held in Natal, Brazil (GCM 2006), in
Leicester, UK (GCM 2008) and in Enschede, The Netherlands (GCM 2010).
-----------------------------------------------------------------------
Topics of Interest
GCM 2012 solicits papers in all areas of Graph Computation Models
including but not limited to:
Foundations : Models of graph transformation; Parallel, concurrent, and
distributed; graph transformations; Term graph rewriting; Logics on
graphs and graph transformations; Formal graph languages Analysis and
verification of graph transformation systems; Foundations of
programming languages
Applications : Software architecture; Software validation; Software
evolution; Visual programming; Security models; Implementation of
programming languages; Rule-based systems; Workflow and business
processes; Model-driven engineering; Service-oriented applications;
Bioinformatics and system biology; Quantum computing, Case-studies
-----------------------------------------------------------------------
Important Dates
Abstract Submission : July 8th, 2012
Paper Submission : July 15th, 2012
Acceptance Notification: August 13th, 2012
Preliminary Proceedings: September 2nd, 2012
Workshop : September 29th, 2012
-----------------------------------------------------------------------
Submissions and Publication
Authors are invited to submit either regular papers (up to 15 pages),
or position papers, system descriptions, work in progress, extended
abstracts (5-7 pages), via the EasyChair system, at URL
https://www.easychair.org/account/signin.cgi?conf=gcm2012
Submissions should be in PDF format, using Lecture Notes in Computer
Science (LNCS) style.
Preliminary proceedings will be distributed at the workshop. Selected
authors will be invited to submit a full version of their papers after
the workshop. These submissions will pass through a second round of
reviewing and accepted contributions are to be published as a special
issue of the international journal of the "Electronic Communications
of the EASST".
-----------------------------------------------------------------------
Program Committee
* Paolo Baldan, University of Padova, Italy
* Franck Drewes, Umea University, Sweden
* Rachid Echahed (cochair), LIG Lab., Grenoble, France
* Stefan Gruner, University of Pretoria, South Africa
* Annegret Habel (cochair), University of Oldenburg, Germany
* Dirk Janssens, University of Antwerp, Belgium
* Hans-Joerg Kreowski, University of Bremen, Germany
* Pascale Le Gall, University of Evry-Val d'Essonne, France
* Mohamed Mosbah (cochair), University of Bordeaux, France
* Detlef Plump, University of York, UK
-----------------------------------------------------------------------
Organizers and contact
* Annegret Habel, University of Oldenburg, Germany
* Mohamed Mosbah, University of Bordeaux, France
* Rachid Echahed, LIG Lab., Grenoble, France
You can contact GCM 2012 organizers via gcm2012@imag.fr
-----------------------------------------------------------------------
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Caml-list] Second CFP: Graph Computation Models (GCM2012)
2012-04-04 5:21 ` [Caml-list] CFP: Graph Computation Models (GCM2012) Rachid Echahed
@ 2012-06-01 14:04 ` Rachid Echahed
2012-07-02 21:43 ` [Caml-list] Last " Rachid Echahed
0 siblings, 1 reply; 8+ messages in thread
From: Rachid Echahed @ 2012-06-01 14:04 UTC (permalink / raw)
To: Rachid.Echahed
-----------------------------------------------------------------------
Second CALL FOR PAPERS
GCM 2012
Fourth International Workshop on
Graph Computation Models
Bremen, Germany, September 29th, 2012
http://gcm2012.imag.fr/
Part of ICGT2012
http://www.informatik.uni-bremen.de/icgt2012/
Full versions of best papers will be included in an issue of the
the international journal of the "Electronic Communications of the EASST"
--------------------------------------------------------------------------
Aims
The aim of the International Workshop GCM2012 is to bring together
researchers interested in all aspects of computation models based on
graphs and graph transformation techniques. It promotes the
cross-fertilizing exchange of ideas and experiences among researchers
and students from the different communities interested in the
foundations, applications, and implementations of graph computation
models and related areas.
GCM2012 is a one-day satellite event of ICGT 2012, which will take
place in Bremen, Germany, from 24 to 29 of September 2012. Previous
editions of GCM series were held in Natal, Brazil (GCM 2006), in
Leicester, UK (GCM 2008) and in Enschede, The Netherlands (GCM 2010).
-----------------------------------------------------------------------
Topics of Interest
GCM 2012 solicits papers in all areas of Graph Computation Models
including but not limited to:
Foundations : Models of graph transformation; Parallel, concurrent, and
distributed; graph transformations; Term graph rewriting; Logics on
graphs and graph transformations; Formal graph languages Analysis and
verification of graph transformation systems; Foundations of
programming languages
Applications : Software architecture; Software validation; Software
evolution; Visual programming; Security models; Implementation of
programming languages; Rule-based systems; Workflow and business
processes; Model-driven engineering; Service-oriented applications;
Bioinformatics and system biology; Quantum computing, Case-studies
-----------------------------------------------------------------------
Important Dates
Abstract Submission : July 8th, 2012
Paper Submission : July 15th, 2012
Acceptance Notification: August 13th, 2012
Preliminary Proceedings: September 2nd, 2012
Workshop : September 29th, 2012
-----------------------------------------------------------------------
Submissions and Publication
Authors are invited to submit either regular papers (up to 15 pages),
or position papers, system descriptions, work in progress, extended
abstracts (5-7 pages), via the EasyChair system, at URL
https://www.easychair.org/account/signin.cgi?conf=gcm2012
Submissions should be in PDF format, using Lecture Notes in Computer
Science (LNCS) style.
Preliminary proceedings will be distributed at the workshop. Selected
authors will be invited to submit a full version of their papers after
the workshop. These submissions will pass through a second round of
reviewing and accepted contributions are to be published as a special
issue of the international journal of the "Electronic Communications
of the EASST".
-----------------------------------------------------------------------
Program Committee
* Paolo Baldan, University of Padova, Italy
* Franck Drewes, Umea University, Sweden
* Rachid Echahed (cochair), LIG Lab., Grenoble, France
* Stefan Gruner, University of Pretoria, South Africa
* Annegret Habel (cochair), University of Oldenburg, Germany
* Dirk Janssens, University of Antwerp, Belgium
* Hans-Joerg Kreowski, University of Bremen, Germany
* Pascale Le Gall, University of Evry-Val d'Essonne, France
* Mohamed Mosbah (cochair), University of Bordeaux, France
* Detlef Plump, University of York, UK
-----------------------------------------------------------------------
Organizers and contact
* Annegret Habel, University of Oldenburg, Germany
* Mohamed Mosbah, University of Bordeaux, France
* Rachid Echahed, LIG Lab., Grenoble, France
You can contact GCM 2012 organizers via gcm2012@imag.fr
-----------------------------------------------------------------------
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Caml-list] Last CFP: Graph Computation Models (GCM2012)
2012-06-01 14:04 ` [Caml-list] Second " Rachid Echahed
@ 2012-07-02 21:43 ` Rachid Echahed
2012-10-24 4:40 ` [Caml-list] CFP: Term and Graph Rewriting (TERMGRAPH2013) / ETAPS2013 Rachid Echahed
0 siblings, 1 reply; 8+ messages in thread
From: Rachid Echahed @ 2012-07-02 21:43 UTC (permalink / raw)
To: Rachid.Echahed
-----------------------------------------------------------------------
Last CALL FOR PAPERS
GCM 2012
Fourth International Workshop on
Graph Computation Models
Bremen, Germany, September 29th, 2012
http://gcm2012.imag.fr/
Part of ICGT2012
http://www.informatik.uni-bremen.de/icgt2012/
Full versions of best papers will be included in an issue of the
the international journal of the "Electronic Communications of the EASST"
--------------------------------------------------------------------------
Aims
The aim of the International Workshop GCM2012 is to bring together
researchers interested in all aspects of computation models based on
graphs and graph transformation techniques. It promotes the
cross-fertilizing exchange of ideas and experiences among researchers
and students from the different communities interested in the
foundations, applications, and implementations of graph computation
models and related areas.
GCM2012 is a one-day satellite event of ICGT 2012, which will take
place in Bremen, Germany, from 24 to 29 of September 2012. Previous
editions of GCM series were held in Natal, Brazil (GCM 2006), in
Leicester, UK (GCM 2008) and in Enschede, The Netherlands (GCM 2010).
-----------------------------------------------------------------------
Topics of Interest
GCM 2012 solicits papers in all areas of Graph Computation Models
including but not limited to:
Foundations : Models of graph transformation; Parallel, concurrent, and
distributed; graph transformations; Term graph rewriting; Logics on
graphs and graph transformations; Formal graph languages Analysis and
verification of graph transformation systems; Foundations of
programming languages
Applications : Software architecture; Software validation; Software
evolution; Visual programming; Security models; Implementation of
programming languages; Rule-based systems; Workflow and business
processes; Model-driven engineering; Service-oriented applications;
Bioinformatics and system biology; Quantum computing, Case-studies
-----------------------------------------------------------------------
Important Dates
Abstract Submission : July 8th, 2012
Paper Submission : July 15th, 2012
Acceptance Notification: August 13th, 2012
Preliminary Proceedings: September 2nd, 2012
Workshop : September 29th, 2012
-----------------------------------------------------------------------
Submissions and Publication
Authors are invited to submit either regular papers (up to 15 pages),
or position papers, system descriptions, work in progress, extended
abstracts (5-7 pages), via the EasyChair system, at URL
https://www.easychair.org/account/signin.cgi?conf=gcm2012
Submissions should be in PDF format, using Lecture Notes in Computer
Science (LNCS) style.
Preliminary proceedings will be distributed at the workshop. Selected
authors will be invited to submit a full version of their papers after
the workshop. These submissions will pass through a second round of
reviewing and accepted contributions are to be published as a special
issue of the international journal of the "Electronic Communications
of the EASST".
-----------------------------------------------------------------------
Program Committee
* Paolo Baldan, University of Padova, Italy
* Franck Drewes, Umea University, Sweden
* Rachid Echahed (cochair), LIG Lab., Grenoble, France
* Stefan Gruner, University of Pretoria, South Africa
* Annegret Habel (cochair), University of Oldenburg, Germany
* Dirk Janssens, University of Antwerp, Belgium
* Hans-Joerg Kreowski, University of Bremen, Germany
* Pascale Le Gall, University of Evry-Val d'Essonne, France
* Mohamed Mosbah (cochair), University of Bordeaux, France
* Detlef Plump, University of York, UK
-----------------------------------------------------------------------
Organizers and contact
* Annegret Habel, University of Oldenburg, Germany
* Mohamed Mosbah, University of Bordeaux, France
* Rachid Echahed, LIG Lab., Grenoble, France
You can contact GCM 2012 organizers via gcm2012@imag.fr
-----------------------------------------------------------------------
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Caml-list] CFP: Term and Graph Rewriting (TERMGRAPH2013) / ETAPS2013
2012-07-02 21:43 ` [Caml-list] Last " Rachid Echahed
@ 2012-10-24 4:40 ` Rachid Echahed
2012-12-10 8:00 ` [Caml-list] Second " Rachid Echahed
2014-02-13 8:43 ` [Caml-list] CFP: Graph Computation Models (GCM 2014), York, July 2014 Rachid Echahed
0 siblings, 2 replies; 8+ messages in thread
From: Rachid Echahed @ 2012-10-24 4:40 UTC (permalink / raw)
To: Rachid.Echahed
-------------------------------------------------------------------------
CALL FOR PAPERS
TERMGRAPH 2013
7th International Workshop on
Computing with Terms and Graphs
Rome, Italy, March 23rd, 2013
http://termgraph2013.imag.fr
http://www.termgraph.org.uk
Part of ETAPS 2013
http://www.etaps.org/
--------------------------------------------------------------------------
Important Dates
December 20, 2012 Abstract submission
January 7, 2013 Paper submission
January 25, 2013 Notification of acceptance
February 10, 2013 Proceedings version due
--------------------------------------------------------------------------
Aims and scope
Research in term and graph rewriting ranges from theoretical questions
to practical issues. Computing with graphs handles the sharing of
common subexpressions in a natural and seamless way, and improves the
efficiency of computations in space and time. Sharing is ubiquitous
in several research areas, for instance : the modelling of first- and
higher-order term rewriting by (acyclic or cyclic) graph rewriting,
the modelling of biological or chemical abstract machines, the
implementation techniques of programming languages: many
implementations of functional, logic, object-oriented, concurrent and
mobile calculi are based on term graphs. Term graphs are also used in
automated theorem proving and symbolic computation systems working on
shared structures.
The aim of this workshop is to bring together researchers working in
different domains on term and graph transformation and to foster their
interaction, to provide a forum for presenting new ideas and work in
progress, and to enable newcomers to learn about current activities in
term graph rewriting.
TERMGRAPH 2013 is a one-day satellite event of ETAPS 2013
<http://www.etaps.org/>, which will take place in Rome, Italy, from
March 16 to March 24, 2013. Previous editions of the TERMGRAPH
workshop series (http://www.termgraph.org.uk/) took place in
Barcelona (2002), in Rome (2004), in Vienna (2006), in Braga (2007) in
York (2009) and in Saarbrücken (2011).
--------------------------------------------------------------------------
Topics of Interest
Topics of interest are open and include all aspects of term graphs and
sharing of common subexpressions in rewriting, programming, automated
reasoning and symbolic computation. This includes (but is not limited
to): term rewriting, graph transformation, graph-based implementations
of lambda-calculus, programming languages, models of computation,
graph-based languages, semantics and implementation of programming
languages, compiler construction, pattern recognition, databases,
bioinformatics, and system descriptions.
--------------------------------------------------------------------------
Submissions and Publication
Authors are invited to submit either regular papers (up to 15 pages),
or position papers, system descriptions, work in progress, extended
abstracts (5-7 pages), via the EasyChair system, at URL
https://www.easychair.org/conferences/?conf=termgraph2013
Submissions should be in PDF format, using the EPTCS style files
(http://style.eptcs.org/). The Proceedings will be published in
Electronic Proceedings in Theoretical Computer Science (EPTCS).
--------------------------------------------------------------------------
Programme Committee
Patrick Bahr, University of Copenhagen, Denmark
Paolo Baldan, University of Padova, Italy
Andrea Corradini, University of Pisa, Italy
Frank Drewes, Umea University, Sweden
Rachid Echahed (co-chair), CNRS and University of Grenoble, France
Maribel Fernandez, King's College London, UK
Clemens Grabmayer, Utrecht University, the Netherlands
Wolfram Kahl, McMaster University, Canada
Ian Mackie, Ecole Polytechnique, France
Detlef Plump (co-chair), University of York, UK
--------------------------------------------------------------------------
Organizers and Contact
Rachid Echahed, CNRS and University of Grenoble, France
Detlef Plump, University of York, UK
You can contact TERMGRAPH 2013 organizers via termgraph2013@imag.fr
--------------------------------------------------------------------------
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Caml-list] Second CFP: Term and Graph Rewriting (TERMGRAPH2013) / ETAPS2013
2012-10-24 4:40 ` [Caml-list] CFP: Term and Graph Rewriting (TERMGRAPH2013) / ETAPS2013 Rachid Echahed
@ 2012-12-10 8:00 ` Rachid Echahed
2012-12-26 8:35 ` [Caml-list] last " Rachid Echahed
2014-02-13 8:43 ` [Caml-list] CFP: Graph Computation Models (GCM 2014), York, July 2014 Rachid Echahed
1 sibling, 1 reply; 8+ messages in thread
From: Rachid Echahed @ 2012-12-10 8:00 UTC (permalink / raw)
To: Rachid.Echahed
-------------------------------------------------------------------------
CALL FOR PAPERS
TERMGRAPH 2013
7th International Workshop on
Computing with Terms and Graphs
Rome, Italy, March 23rd, 2013
http://termgraph2013.imag.fr
http://www.termgraph.org.uk
Part of ETAPS 2013
http://www.etaps.org/
--------------------------------------------------------------------------
Important Dates
December 20, 2012 Abstract submission
January 7, 2013 Paper submission
January 25, 2013 Notification of acceptance
February 10, 2013 Proceedings version due
--------------------------------------------------------------------------
Aims and scope
Research in term and graph rewriting ranges from theoretical questions
to practical issues. Computing with graphs handles the sharing of
common subexpressions in a natural and seamless way, and improves the
efficiency of computations in space and time. Sharing is ubiquitous
in several research areas, for instance : the modelling of first- and
higher-order term rewriting by (acyclic or cyclic) graph rewriting,
the modelling of biological or chemical abstract machines, the
implementation techniques of programming languages: many
implementations of functional, logic, object-oriented, concurrent and
mobile calculi are based on term graphs. Term graphs are also used in
automated theorem proving and symbolic computation systems working on
shared structures.
The aim of this workshop is to bring together researchers working in
different domains on term and graph transformation and to foster their
interaction, to provide a forum for presenting new ideas and work in
progress, and to enable newcomers to learn about current activities in
term graph rewriting.
TERMGRAPH 2013 is a one-day satellite event of ETAPS 2013
<http://www.etaps.org/>, which will take place in Rome, Italy, from
March 16 to March 24, 2013. Previous editions of the TERMGRAPH
workshop series (http://www.termgraph.org.uk/) took place in
Barcelona (2002), in Rome (2004), in Vienna (2006), in Braga (2007) in
York (2009) and in Saarbrücken (2011).
--------------------------------------------------------------------------
Topics of Interest
Topics of interest are open and include all aspects of term graphs and
sharing of common subexpressions in rewriting, programming, automated
reasoning and symbolic computation. This includes (but is not limited
to): term rewriting, graph transformation, graph-based implementations
of lambda-calculus, programming languages, models of computation,
graph-based languages, semantics and implementation of programming
languages, compiler construction, pattern recognition, databases,
bioinformatics, and system descriptions.
--------------------------------------------------------------------------
Submissions and Publication
Authors are invited to submit either regular papers (up to 15 pages),
or position papers, system descriptions, work in progress, extended
abstracts (5-7 pages), via the EasyChair system, at URL
https://www.easychair.org/conferences/?conf=termgraph2013
Submissions should be in PDF format, using the EPTCS style files
(http://style.eptcs.org/). The Proceedings will be published in
Electronic Proceedings in Theoretical Computer Science (EPTCS).
--------------------------------------------------------------------------
Programme Committee
Patrick Bahr, University of Copenhagen, Denmark
Paolo Baldan, University of Padova, Italy
Andrea Corradini, University of Pisa, Italy
Frank Drewes, Umea University, Sweden
Rachid Echahed (co-chair), CNRS and University of Grenoble, France
Maribel Fernandez, King's College London, UK
Clemens Grabmayer, Utrecht University, the Netherlands
Wolfram Kahl, McMaster University, Canada
Ian Mackie, Ecole Polytechnique, France
Detlef Plump (co-chair), University of York, UK
--------------------------------------------------------------------------
Organizers and Contact
Rachid Echahed, CNRS and University of Grenoble, France
Detlef Plump, University of York, UK
You can contact TERMGRAPH 2013 organizers via termgraph2013@imag.fr
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Caml-list] last CFP: Term and Graph Rewriting (TERMGRAPH2013) / ETAPS2013
2012-12-10 8:00 ` [Caml-list] Second " Rachid Echahed
@ 2012-12-26 8:35 ` Rachid Echahed
0 siblings, 0 replies; 8+ messages in thread
From: Rachid Echahed @ 2012-12-26 8:35 UTC (permalink / raw)
To: Rachid.Echahed
-------------------------------------------------------------------------
CALL FOR PAPERS
TERMGRAPH 2013
7th International Workshop on
Computing with Terms and Graphs
Rome, Italy, March 23rd, 2013
http://termgraph2013.imag.fr
http://www.termgraph.org.uk
Part of ETAPS 2013
http://www.etaps.org/
--------------------------------------------------------------------------
Important Dates
January 7, 2013 Paper submission
January 25, 2013 Notification of acceptance
February 10, 2013 Proceedings version due
--------------------------------------------------------------------------
Aims and scope
Research in term and graph rewriting ranges from theoretical questions
to practical issues. Computing with graphs handles the sharing of
common subexpressions in a natural and seamless way, and improves the
efficiency of computations in space and time. Sharing is ubiquitous
in several research areas, for instance : the modelling of first- and
higher-order term rewriting by (acyclic or cyclic) graph rewriting,
the modelling of biological or chemical abstract machines, the
implementation techniques of programming languages: many
implementations of functional, logic, object-oriented, concurrent and
mobile calculi are based on term graphs. Term graphs are also used in
automated theorem proving and symbolic computation systems working on
shared structures.
The aim of this workshop is to bring together researchers working in
different domains on term and graph transformation and to foster their
interaction, to provide a forum for presenting new ideas and work in
progress, and to enable newcomers to learn about current activities in
term graph rewriting.
TERMGRAPH 2013 is a one-day satellite event of ETAPS 2013
<http://www.etaps.org/>, which will take place in Rome, Italy, from
March 16 to March 24, 2013. Previous editions of the TERMGRAPH
workshop series (http://www.termgraph.org.uk/) took place in
Barcelona (2002), in Rome (2004), in Vienna (2006), in Braga (2007) in
York (2009) and in Saarbrücken (2011).
--------------------------------------------------------------------------
Topics of Interest
Topics of interest are open and include all aspects of term graphs and
sharing of common subexpressions in rewriting, programming, automated
reasoning and symbolic computation. This includes (but is not limited
to): term rewriting, graph transformation, graph-based implementations
of lambda-calculus, programming languages, models of computation,
graph-based languages, semantics and implementation of programming
languages, compiler construction, pattern recognition, databases,
bioinformatics, and system descriptions.
--------------------------------------------------------------------------
Submissions and Publication
Authors are invited to submit either regular papers (up to 15 pages),
or position papers, system descriptions, work in progress, extended
abstracts (5-7 pages), via the EasyChair system, at URL
https://www.easychair.org/conferences/?conf=termgraph2013
Submissions should be in PDF format, using the EPTCS style files
(http://style.eptcs.org/). The Proceedings will be published in
Electronic Proceedings in Theoretical Computer Science (EPTCS).
--------------------------------------------------------------------------
Programme Committee
Patrick Bahr, University of Copenhagen, Denmark
Paolo Baldan, University of Padova, Italy
Frank Drewes, Umea University, Sweden
Rachid Echahed (co-chair), CNRS and University of Grenoble, France
Maribel Fernandez, King's College London, UK
Clemens Grabmayer, Utrecht University, the Netherlands
Wolfram Kahl, McMaster University, Canada
Ian Mackie, Ecole Polytechnique, France
Detlef Plump (co-chair), University of York, UK
--------------------------------------------------------------------------
Organizers and Contact
Rachid Echahed, CNRS and University of Grenoble, France
Detlef Plump, University of York, UK
You can contact TERMGRAPH 2013 organizers via termgraph2013@imag.fr
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Caml-list] CFP: Graph Computation Models (GCM 2014), York, July 2014
2012-10-24 4:40 ` [Caml-list] CFP: Term and Graph Rewriting (TERMGRAPH2013) / ETAPS2013 Rachid Echahed
2012-12-10 8:00 ` [Caml-list] Second " Rachid Echahed
@ 2014-02-13 8:43 ` Rachid Echahed
1 sibling, 0 replies; 8+ messages in thread
From: Rachid Echahed @ 2014-02-13 8:43 UTC (permalink / raw)
-----------------------------------------------------------------------
CALL FOR PAPERS
GCM 2014
Fifth International Workshop on
Graph Computation Models
York, UK, July 21st, 2014
http://gcm2014.imag.fr/
Part of ICGT 2014
http://www.2014.icgt-conferences.org/
Full versions of best papers will be included in an issue of the
the international journal of the "Electronic Communications of the EASST"
--------------------------------------------------------------------------
Aims
The aim of the International Workshop GCM2014 is to bring together
researchers interested in all aspects of computation models based on
graphs and graph transformation techniques. It promotes the
cross-fertilizing exchange of ideas and experiences among researchers
and students from the different communities interested in the
foundations, applications, and implementations of graph computation
models and related areas.
GCM 2014 is a one-day satellite event of ICGT and STAF, which will
take place in York, UK, from 21 to 25 of July 2014. Previous editions
of GCM series were held in Natal, Brazil (GCM 2006), in Leicester, UK
(GCM 2008), in Enschede, The Netherlands (GCM 2010) and in Bremen,
Germany (GCM 2012).
-----------------------------------------------------------------------
Topics of Interest
GCM 2014 solicits papers in all areas of Graph Computation Models
including but not limited to:
Foundations : Models of graph transformation; Parallel, concurrent, and
distributed; graph transformations; Term graph rewriting; Logics on
graphs and graph transformations; Formal graph languages Analysis and
verification of graph transformation systems; Foundations of
programming languages
Applications : Software architecture; Software validation; Software
evolution; Visual programming; Security models; Implementation of
programming languages; Rule-based systems; Workflow and business
processes; Model-driven engineering; Service-oriented applications;
Bioinformatics and system biology; Quantum computing, Case-studies
-----------------------------------------------------------------------
Important Dates
Abstract submission: 18 May 2014
Paper submission: 25 May 2014
Notification: 15 June 2014
Preliminary Proceedings: 29 June 2014
Workshop: 21 July 2014
-----------------------------------------------------------------------
Submissions and Publication
Authors are invited to submit either regular papers (up to 15 pages),
or position papers, system descriptions, work in progress, extended
abstracts (5-7 pages), via the EasyChair system, at URL
https://www.easychair.org/conferences/?conf=gcm2014
Submissions should be in PDF format, using Lecture Notes in Computer
Science (LNCS) style.
Preliminary proceedings will be distributed at the workshop. Selected
authors will be invited to submit a full version of their papers after
the workshop. These submissions will pass through a second round of
reviewing and accepted contributions are to be published as a special
issue of the international journal of the "Electronic Communications
of the EASST".
-----------------------------------------------------------------------
Program Committee
* Rachid Echahed, CNRS and University of Grenoble, France
* Annegret Habel, University of Oldenburg, Germany
* Dirk Janssens, University of Antwerp, Belgium
* Hans-Joerg Kreowski, University of Bremen, Germany
* Mohamed Mosbah, University of Bordeaux, France
* Detlef Plump, University of York, UK
-----------------------------------------------------------------------
Organizers and contact
* Rachid Echahed, CNRS and University of Grenoble, France
* Annegret Habel, University of Oldenburg, Germany
* Mohamed Mosbah, University of Bordeaux, France
You can contact GCM 2014 organizers via gcm-email@imag.fr
-----------------------------------------------------------------------
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2014-02-13 8:44 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <4E85734A.9040501@imag.fr>
2012-01-13 15:40 ` [Caml-list] Last CFP: Term and Graph rewriting, special issue of MSCS Rachid Echahed
2012-04-04 5:21 ` [Caml-list] CFP: Graph Computation Models (GCM2012) Rachid Echahed
2012-06-01 14:04 ` [Caml-list] Second " Rachid Echahed
2012-07-02 21:43 ` [Caml-list] Last " Rachid Echahed
2012-10-24 4:40 ` [Caml-list] CFP: Term and Graph Rewriting (TERMGRAPH2013) / ETAPS2013 Rachid Echahed
2012-12-10 8:00 ` [Caml-list] Second " Rachid Echahed
2012-12-26 8:35 ` [Caml-list] last " Rachid Echahed
2014-02-13 8:43 ` [Caml-list] CFP: Graph Computation Models (GCM 2014), York, July 2014 Rachid Echahed
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).