Logic List Mailing Archive

CfP: IFIP WG 1.6 Meeting on Rewriting, 19 July 2025, Birmingham (UK), co-located with FSCD 2025

----------------------------------------------------------------------
**    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' Ral Gutirrez
     - 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

----------------------------------------------------------------------
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php