Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] 2nd CFP: 6th International Workshop on Confluence

Email Gateway (Aug 22 2022 at 15:37):

From: Bertram Felgenhauer via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
For Isabelle, interesting topics could be

• Isabelle for confluence: formalization of confluence results
• confluence for Isabelle: e.g., confluent (sub)sets of simp rules
  or completion thereof

Cheers,

Bertram

=====================================================================
Call for Papers
IWC 2017
6th International Workshop on Confluence

September 8th, 2017, Oxford, United Kingdom
Collocated with FSCD 2017

http://cl-informatik.uibk.ac.at/events/iwc-2017/
=====================================================================

Confluence provides a general notion of determinism and is widely
viewed as one of the central properties of rewriting. Confluence
relates to many topics of rewriting (completion, modularity,
termination, commutation, etc.) and has been investigated in many
formalisms of rewriting such as first-order rewriting, lambda-calculi,
higher-order rewriting, constrained rewriting, conditional rewriting,
etc. Recently there is a renewed interest in confluence research,
resulting in new techniques, tool support, certification as well as
new applications.

The International Workshop on Confluence (IWC) aims at promoting
further research in confluence and related properties. IWC 2017 is
collocated with FSCD 2017. Previous editions of the workshop were held
in Nagoya (2012), Eindhoven (2013), Vienna (2014), Berlin (2015), and
Obergurgl (2016).

During the workshop, the 6th Confluence Competition (CoCo 2017) takes
place.

IMPORTANT DATES:

• submission Saturday, July 1st, 2017
• notification Saturday, July 22nd, 2017
• final version Saturday, August 5th, 2017
• workshop Friday, September 8th, 2017
  (deadlines are AoE)

TOPICS:
Specific topics of interest include:

• confluence and related properties (unique normal forms, commutation,
  ground confluence)

• completion

• critical pair criteria
• decidability issues
• complexity issues
• system descriptions
• certification
• applications of confluence

INVITED SPEAKERS:

• Stefan Kahrs (University of Kent)
• tba

PROGRAM COMMITTEE:

• Beniamino Accattoli (INRIA)
• Jörg Endrullis (Vrije Universiteit Amsterdam)
• Bertram Felgenhauer (University of Innsbruck)
• Ken-Etsu Fujita (Gumma University)
• Philippe Malbos (Université Claude Bernard Lyon 1)
• Jakob Grue Simonsen (University of Copenhagen)

SUBMISSION:
We solicit short papers or extended abstracts of at most five pages.
There will be no formal reviewing. In particular, we welcome short
versions of recently published articles and papers submitted
elsewhere. The program committee checks relevance and may provide
additional feedback. The accepted papers will be made available
electronically before the workshop.

The page limit for papers is 5 pages in EasyChair style. Short papers
or extended abstracts must be submitted electronically through the
EasyChair system at:

https://www.easychair.org/conferences/?conf=iwc2017

EasyChair style:

http://easychair.org/publications/for_authors

Last updated: Nov 21 2024 at 12:39 UTC