[TYPES/announce] Meeting IFIP WG 1.6 on Rewriting: Call for Participation (early registration by *15 June 2025*)

[Carsten Fuhs]

----------------------------------------------------------------------
**    PLEASE NOTE THAT ATTENDANCE OF PRESENTATIONS IS OPEN
**    TO ALL REGISTERED PARTICIPANTS, NOT ONLY WG MEMBERS!
----------------------------------------------------------------------
**
**      ****    CALL FOR PARTICIPATION    ****
**
**    Meeting of the IFIP Working Group 1.6 on Rewriting (IFIP WG 1.6)
**    19 July 2025
**    Birmingham, United Kingdom
**
**    https://urldefense.com/v3/__https://ifip-wg-rewriting.cs.ru.nl/events/event-2025.html__;!!IBzWLUs!UISkxHbbdasW2fKPUg6_-Y99gFESJdBjkDtLPpN-_uxSe9VG2RC-bXQ4aLE2UsICEV-RY3Amw0R55DZVG1a5lHsNkXc68mg$ 
**
----------------------------------------------------------------------
**
**    IFIP WG 1.6 in 2025 is co-located with FSCD 2025:
**
**    https://urldefense.com/v3/__https://fscd-conference.org/2025/__;!!IBzWLUs!UISkxHbbdasW2fKPUg6_-Y99gFESJdBjkDtLPpN-_uxSe9VG2RC-bXQ4aLE2UsICEV-RY3Amw0R55DZVG1a5lHsNm61Mw2A$ 
**
----------------------------------------------------------------------
** OVERVIEW
----------------------------------------------------------------------

IFIP Working Group 1.6 is one of the working groups of the Technical
Committee 1 of the International Federation for Information Processing
(IFIP). IFIP is the leading multinational, apolitical organisation in
Information & Communications Technologies and Sciences. It is
recognised by United Nations and other world bodies, represents IT
Societies from 56 countries or regions, covering all 5 continents with
a total membership of over half a million.

WG 1.6 Aims
-----------

* To promote research efforts in rewriting and its applications.
* To establish close cooperation between existing groups and to
   facilitate the emergence of new ones.
* To increase awareness of rewriting techniques in the computer
   science community at large.
* To foster development of applications of theoretical advances.

WG 1.6 Scope
------------

* Rewriting for computing and reasoning.
* Theoretical studies of the rewriting relation of different orders.
* Complexity issues of rewriting.
* Compilation techniques and applications.
* Theory and applications of rewriting logic and calculus.
* Application of rewriting to constraint solving, theorem proving and
   algebraic specifications.
* The design, promotion and teaching of rewrite based techniques and
   applications.

----------------------------------------------------------------------
** PRELIMINARY PROGRAMME
----------------------------------------------------------------------

The programme of the meeting consists of invited talks by selected
researchers and of discussions focussed on the activities of the
Working Group.

     9:00 - 10:00: Session 1
     - 60' Santiago Escobar

     10:30 - 12:30: Session 2
     - 60' Raúl Gutiérrez
     - 60' Daniele Nantes

     12:30 - 14:00: Break

     14:00 - 15:30: Session 3
     - 60' Florian Frohn
     - 30' Update on the International School on Rewriting

     16:00 - 17:00: Session 4
     - 60' David Cerna

     17:00 - 17:30: Session 5
     - 30' Business meeting (members-only)

----------------------------------------------------------------------
** REGISTRATION
----------------------------------------------------------------------

The registration page for FSCD 2025 and affiliated events, such as
the meeting of the IFIP WG 1.6, is available here:

https://urldefense.com/v3/__https://fscd2025.github.io/registration.htm__;!!IBzWLUs!UISkxHbbdasW2fKPUg6_-Y99gFESJdBjkDtLPpN-_uxSe9VG2RC-bXQ4aLE2UsICEV-RY3Amw0R55DZVG1a5lHsNVQPlkGw$ 

All parts of the programme are public, except for the members-only
business meeting at the end of the programme.

The deadline for early registration is on:

     ****  15 June 2025  ****

----------------------------------------------------------------------
** CONTACT
----------------------------------------------------------------------

* Chair: Cynthia Kop, Radboud University Nijmegen
* Co-Chair and secretary: Carsten Fuhs, Birkbeck, University of London

----------------------------------------------------------------------