Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Meeting IFIP WG 1.6 on Rewriting: Call for Par...

Email Gateway (Jun 13 2025 at 15:10):

From: Carsten Fuhs <c.fuhs@bbk.ac.uk>

** 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://ifip-wg-rewriting.cs.ru.nl/events/event-2025.html
**

**
** IFIP WG 1.6 in 2025 is co-located with FSCD 2025:
**
** https://fscd-conference.org/2025/
**

** 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://fscd2025.github.io/registration.htm

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

Last updated: Jun 20 2025 at 16:26 UTC