---------------------------------------------------------------------- ** 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 ----------------------------------------------------------------------