* [Caml-list] Second CFP: Term and Graph rewriting, special issue of MSCS [not found] <4E85734A.9040501@imag.fr> @ 2011-11-22 5:44 ` Rachid Echahed 2012-01-13 15:40 ` [Caml-list] Last " Rachid Echahed 1 sibling, 0 replies; 9+ messages in thread From: Rachid Echahed @ 2011-11-22 5:44 UTC (permalink / raw) To: Rachid.Echahed, rewriting, gratra, gcm2010, gdr-im, gdr.gpl, alp-diffusion, easst-members, concurrency, lics, EAPLS, eacsl, formal-methods, haskell, caml-list, curry -------------------------------------------------------------------------- Second Call for Papers Special Issue of Mathematical Structures in Computer Science (MSCS) on "TERM and GRAPH Rewriting" -------------------------------------------------------------------------- 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 -------------------------------------------------------------------------- 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] 9+ messages in thread
* [Caml-list] Last CFP: Term and Graph rewriting, special issue of MSCS [not found] <4E85734A.9040501@imag.fr> 2011-11-22 5:44 ` [Caml-list] Second CFP: Term and Graph rewriting, special issue of MSCS Rachid Echahed @ 2012-01-13 15:40 ` Rachid Echahed 2012-04-04 5:21 ` [Caml-list] CFP: Graph Computation Models (GCM2012) Rachid Echahed 1 sibling, 1 reply; 9+ 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] 9+ messages in thread
* [Caml-list] CFP: Graph Computation Models (GCM2012) 2012-01-13 15:40 ` [Caml-list] Last " Rachid Echahed @ 2012-04-04 5:21 ` Rachid Echahed 2012-06-01 14:04 ` [Caml-list] Second " Rachid Echahed 0 siblings, 1 reply; 9+ 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] 9+ 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; 9+ 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] 9+ 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; 9+ 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] 9+ 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; 9+ 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] 9+ 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; 9+ 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] 9+ 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; 9+ 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] 9+ 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; 9+ 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] 9+ messages in thread
end of thread, other threads:[~2014-02-13 8:44 UTC | newest]
Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <4E85734A.9040501@imag.fr>
2011-11-22 5:44 ` [Caml-list] Second CFP: Term and Graph rewriting, special issue of MSCS Rachid Echahed
2012-01-13 15:40 ` [Caml-list] Last " 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