[Maude-users] Fwd: WRS 2008 final CFP (extended deadline)

[Salvador Lucas]

Inicio del mensaje reenviado:

> De: aart.middeldorp at uibk.ac.at
> Fecha: 22 de abril de 2008 22:54:59 GMT+02:00
> Para: slucas at dsic.upv.es
> Asunto: WRS 2008 final CFP (extended deadline)
>
> Final Call for Papers
>
> **********
> W R S 2008
> **********
>
> http://cl-informatik.uibk.ac.at/events/wrs08/
>
> 8th International Workshop on Reduction Strategies in Rewriting and  
> Programming
>
> July 14, 2008, Castle of Hagenberg, Austria
>
> Important Dates
> ---------------
>
> Submission:     May  5, 2008
> Notification:  June  2, 2008
> Final version: June 23, 2008
>
> Background
> ----------
>
> The workshop promotes and stimulates research and collaboration in the
> area of strategies. It encourages the presentation of new directions,
> developments, and results as well as surveys and tutorials on existing
> knowledge in this area. WRS 2008 collocates with RTA 2008, the 19th
> International Conference on Rewriting Techniques and Applications. For
> more information, consult the WRS 2008 website.
>
> Topics
> ------
>
> Topics of interest include, but are not restricted to:
>
> * foundations for the definition and semantic description of  
> reduction strategies
> * strategies in rewriting, lambda calculi, narrowing, constraint  
> solving
> * strategies in programming languages
> * strategies and tactics in theorem and termination proving
> * properties of strategies and corresponding computations
> * interrelations, combinations and applications of computation  
> under different
>   evaluation strategies
> * analysis and optimization techniques for reduction strategies
> * rewrite systems, tools and implementations with flexible strategies
> * strategies suitable to software engineering problems and  
> applications
> * tutorials and systems related to strategies
>
> Program Committee
> -----------------
>
> * Elvira Albert          (Madrid)
> * Gabrielle Keller       (Sydney)
> * Helene Kirchner        (Nancy)
> * Temur Kutsia           (Linz)
> * Ian Mackie             (Paris)
> * Aart Middeldorp        (Innsbruck)  chair
> * Pierre-Etienne Moreau  (Nancy)
> * Michael Norrish        (Canberra)
> * Femke van Raamsdonk    (Amsterdam)
> * Kristoffer Rose        (Yorktown Heights)
> * Amr Sabry              (Bloomington)
> * Masahiko Sakai         (Nagoya)
>
> Submission
> ----------
>
> There are two categories of submissions:
>
> (A) Submissions to the formal proceedings
>     These submissions must describe unpublished work. Accepted  
> submissions
>     of this category will be published both in the informal and in the
>     formal proceedings. The formal proceedings will be published  
> after the
>     workshop by Elsevier as a volume of ENTCS.
>
> (B) Submissions to the informal proceedings
>     These submissions may also describe work that has been or will be
>     submitted or published elsewhere or work in progress. Accepted
>     submissions of this category will be published in the informal
>     proceedings, which will be distributed during the workshop.
>
> The page limit for papers in both categories is 15 pages in ENTCS  
> style.
> We also explicitly solicit survey and tutorial submissions (of either
> category) which may be longer. The necessary style files and  
> instructions
> can be found at http://www.entcs.org/prelim.html. The submission  
> page for
> WRS 2008 is
>
> http://www.easychair.org/conferences/?conf=WRS2008

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://maude.cs.uiuc.edu/pipermail/maude-users/attachments/20080423/52bae9ee/attachment.html