6th International School on Rewriting (ISR), Valencia, July 16-20, 2012

From: Santiago Escobar <sescobar_at_dsic.upv.es>
Date: Thu, 10 May 2012 16:22:03 +0200

                    Call for Participation

                           ISR 2012
             6th International School on Rewriting

                http://www.dsic.upv.es/~isr2012

                       July 16th - 20th
                        Valencia, Spain

           Early registration before June 15, 2012!

Rewriting is a branch of computer science whose origins go back
to the origins of computer science itself (with Thue, Church,
Post, and many other prominent researchers). It has strong links
with mathematics, algebra, and logic, and it is the basis of
well-known programming paradigms like functional and equational
programming, which are taught at the universitary level in many
countries. In these programming paradigms and corresponding
languages, the notions of reduction, pattern matching,
confluence, termination, strategy, etc., are essential.
Rewriting provides a solid framework for understanding, using,
and teaching all these notions. Rewriting techniques are also
used in many other areas of software engineering (scripting,
prototyping, automated transformation of legacy systems,
refactoring, web services, etc.) and are implemented in popular
systems like Mathematica, Autocad, and others. Rewriting
techniques play a relevant role in computing research,
education, and industry.

Two tracks are offered, including the lectures and the courses:

- Track A: for newcomers in the field, or just for people
          who want to obtain a new, updated exposure.

 * Jose Meseguer. Introduction to Term Rewriting
 * Albert Rubio. Termination of Rewriting: Foundations and
   Automation
 * Santiago Escobar. A Rewriting-Based Specification and
   Programming Language: Maude
 * Beatriz Alarcon & Raul Gutierrez. Exercises on Term
   Rewriting

- Track B: for those who want to get deeper in the most
          recent developments and applications of rewriting.

 * Maria Alpuente: Narrowing Techniques and Applications
 * Temur Kutsia: Matching, unification, and generalizations
 * Pierre Lescanne: Lambda Calculus: extensions and
   applications
 * Narciso Marti-Oliet: Rewriting Logic and Applications
 * Georg Moser: Automated Complexity Analysis of Term
   Rewriting Systems
 * Albert Oliveras: SAT and SMT techniques in Proof and
   Verification
 * Sophie Tison: Tree Automata, Turing Machines and Term
   Rewriting
 * Xavier Urbain: Certification of Rewriting Properties
 * Andrei Voronkov: Automated Reasoning and Theorem Proving

For more information, please contact
Salvador Lucas <slucas_at_dsic.upv.es>


_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Mai 10 2012 - 17:49:51 CEST

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:11 CET