[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] 6th International School on Rewriting (ISR), July 16-20, 2012




                   Call for Participation

                          ISR 2012
            6th International School on Rewriting

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

                      July 16th - 20th

            Universitat Politecnica de Valencia
                       Valencia, Spain


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.

The International School on Rewriting is promoted by the IFIP 
Working Group 1.6 Term Rewriting. The school is aimed at master 
and PhD students, researchers, and practitioners interested in 
the study of rewriting concepts and their applications.

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 

Registration fees:

250 euro (early registration, before June 15, 2012)
350 euro (late registration, after June 15, 2012)

Visit our web site for more information about registration and
accommodation. The registration will be open in few weeks.

For more information, please visit our web site or contact 

 isr2012@dsic.upv.es

Organizing Committee:

Salvador Lucas (chair)

Beatriz Alarcon
Santiago Escobar
Marco A. Feliu
Raul Gutierrez
Sonia Santiago
Alicia Villanueva