皆様、
7月にOxfordで開催される合流性に関する国際ワークショップIWC 2018 の締切が4/22まで延長されましたのでご案内をさせていただきます。ぜひ ご投稿をご検討ください。
菊池 健太郎 -----
(* Apologies for any cross-postings. *)
===================================================================== Call for Papers IWC 2018 7th International Workshop on Confluence
July 7th, 2018, Oxford, United Kingdom Collocated with FSCD 2018 Part of FLoC 2018
http://cl-informatik.uibk.ac.at/events/iwc-2018/ =====================================================================
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 2018 is collocated with FSCD 2018. Previous editions of the workshop were held in Nagoya (2012), Eindhoven (2013), Vienna (2014), Berlin (2015), Obergurgl (2016), and Oxford (2017).
IMPORTANT DATES: * submission (abstract) Friday, April 20th, 2018 (extended) * submission (paper) Sunday, April 22nd, 2018 (extended) * notification Tuesday, May 15th, 2018 * final version Friday, May 25th, 2018 * workshop Saturday, July 7th, 2018 (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: * Henning Christiansen and Maja H. Kirkeby (Roskilde University, Denmark)
PROGRAM COMMITTEE: * Bertram Felgenhauer (University of Innsbruck) * Jeroen Ketema (TNO-ESI) * Kentaro Kikuchi (Tohoku University) * Samuel Mimram (LIX laboratory, École Polytechnique) * Julian Nagele (Queen Mary University of London) * 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=iwc2018
EasyChair style: