Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] International School on Rewriting 2017: First ...


view this post on Zulip Email Gateway (Aug 22 2022 at 15:00):

From: Christian Sternagel <c.sternagel@gmail.com>
First Call for Participation

9th INTERNATIONAL SCHOOL ON REWRITING (ISR 2017)
July 3-7, 2017, Eindhoven, The Netherlands
http://www.win.tue.nl/~hzantema/isr.html

Early registration deadline: May 15, 2017
The 9th International School on Rewriting (ISR 2017) is aimed at master
and PhD students, researchers, and practitioners interested in the study
of rewriting concepts and their applications.

The school features lectures by renowned researchers in rewriting, and
is organized in two parallel tracks: the Basic Track and the Advanced Track.

The BASIC TRACK is intended for students who enter the field. The basic
track can, if desired, be round off with an examination of 3EC.
The teachers of the Basic Track are

Aart Middeldorp (University of Innsbruck)
Sarah Winkler (University of Innsbruck)

The ADVANCED TRACK consists of eight shorter courses, showing different
areas of rewriting research and applications. The teachers and courses
of the Advanced Track are:

Beniamino Accatoli (INRIA)
The Complexity of Beta-Reduction

Carsten Fuhs (University of London)
Proving Program Termination via Term Rewriting

Thomas Genet (IRISA, France)
Tree Automata for Reachability in Rewriting

Philippe Malbos (University of Lyon) and
Samuel Mimram (Ecole Polytechnique)
Two-dimensional Rewriting Techniques and Applications

Temur Kutsia (University of Linz)
Solving Equational Problems: Matching and Unification

Julian Nagele (University of Innsbruck) and
Vincent van Oostrom (University of Innsbruck)
Commutation

Christian Sternagel (University of Innsbruck) and
René Thiemann (University of Innsbruck)
Formalizing Rewriting in Isabelle

Johannes Waldmann (RWTH Leipzig)
Weighted Automata and Rewriting

There will be the opportunity for participants to present their own
research.

Registration:
You can register for ISR 2017 by sending an email to h.zantema@tue.nl.
Please mention your full name, institution, and the track you wish to
attend.
It is appreciated if you mention the subjects you are particularly
interested in.

Registration fee:
The registration fee is 250 euro for early registrations (before May 15,
2017), and 300 euro for late registrations (starting May 16, 2107).
Registrations includes access to the lectures, printed copies of or
electronic access to material provided by the lecturers, coffee breaks
and lunches on Monday-Friday, and the excursion and dinner on Wednesday.

If you have any questions, please feel free to contact the organisers:

Hans Zantema, email: h.zantema@tue.nl
Femke van Raamsdonk, email: f.van.raamsdonk@vu.nl
Margje Mommers-Lenders, email: wsinset@tue.nl

====================================================================
International Schools on Rewriting are promoted
by the IFIP Working Group 1.6 Term Rewriting.

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.
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.) Rewriting techniques play a relevant
role in computing research, education, and industry.

view this post on Zulip Email Gateway (Aug 22 2022 at 15:03):

From: "Raamsdonk, F. van" <f.van.raamsdonk@vu.nl>
First Call for Participation

9th INTERNATIONAL SCHOOL ON REWRITING (ISR 2017)

* with a course on formalizing rewriting in Isabelle *

July 3-7, 2017, Eindhoven, The Netherlands
http://www.win.tue.nl/~hzantema/isr.html

Early registration deadline: May 15, 2017

The 9th International School on Rewriting (ISR 2017) is aimed at master
and PhD students, researchers, and practitioners interested in the study
of rewriting concepts and their applications.

The school features lectures by renowned researchers in rewriting, and is
organized in two parallel tracks: the Basic Track and the Advanced Track.

The BASIC TRACK is intended for students who enter the field.
The basic track can, if desired, be round off with an examination of 3EC.
The teachers of the Basic Track are

Aart Middeldorp (University of Innsbruck)
Sarah Winkler (University of Innsbruck)

The ADVANCED TRACK consists of eight shorter courses, showing different
areas of rewriting research and applications. The teachers and courses of
the Advanced Track are:

Beniamino Accatoli (INRIA)
The Complexity of Beta-Reduction

Carsten Fuhs (University of London)
Proving Program Termination via Term Rewriting

Thomas Genet (IRISA, France)
Tree Automata for Reachability in Rewriting

Philippe Malbos (University of Lyon), and
Samuel Mimram (Ecole Polytechnique)
Two-dimensional Rewriting Techniques and Applications

Temur Kutsia (University of Linz)
Solving Equational Problems: Matching and Unification

Julian Nagele (University of Innsbruck), and
Vincent van Oostrom (University of Innsbruck)
Commutation

Christian Sternagel (University of Innsbruck), and
René Thiemann (University of Innsbruck)
Formalizing Rewriting in Isabelle

Johannes Waldmann (RWTH Leipzig)
Weighted Automata and Rewriting

There will be the opportunity for participants to present their own research.

Registration:
You can register for ISR 2017 by sending an email to h.zantema@tue.nl.
Please mention your full name, institution, and the track you wish to attend.
It is appreciated if you mention the subjects you are particularly interested in.

Registration fee:
The registration fee is 250 euro for early registrations (before May 15, 2017),
and 300 euro for late registrations (starting May 16, 2107). Registrations
includes access to the lectures, printed copies of or electronic access to
material provided by the lecturers, coffee breaks and lunches on Monday-Friday,
and the excursion and dinner on Wednesday.

If you have any questions, please feel free to contact the organisers:

Hans Zantema, email: h.zantema@tue.nl
Femke van Raamsdonk, email: f.van.raamsdonk@vu.nl
Margje Mommers-Lenders, email: wsinset@tue.nl

====================================================================
International Schools on Rewriting are promoted
by the IFIP Working Group 1.6 Term Rewriting.

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.
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.) Rewriting techniques play a relevant
role in computing research, education, and industry.


Last updated: Mar 29 2024 at 12:28 UTC