IWC 2012
1st International Workshop on Confluence 2012
29 May 2012, Nagoya, Japan
Background
Recently there is a renewed interest in confluence research, resulting in new techniques, tool support as well as new applications. The workshop aims at promoting further research in confluence and related properties. The workshop is collocated with RTA 2012, the 23rd International Conference on Rewriting Techniques and Applications. During the workshop the 1st Confluence Competition (CoCo 2012) takes place.
Topics
The workshop solicits short papers/extended abstracts on the following topics:
- confluence and related properties (unique normal forms, commutation, ground confluence)
- critical pair criteria
- decidability issues
- complexity issues
- system descriptions
- certification
- applications of confluence
Invited Speakers
| Vincent van Oostrom | Utrecht University | Decreasing Proof Orders – Interpreting Conversions in Involutive Monoids |
| Yoshihito Toyama | Tohoku University | Type Introduction for Confluence Proofs |
Accepted Papers
- Bertram Felgenhauer: A Proof Order for Decreasing Diagrams
- Dominik Klein and Nao Hirokawa: Confluence of Non-Left-Linear TRSs via Relative Termination (Extended Abstract)
- Christian Nemeth, Harald Zankl and Nao Hirokawa: IaCOP – Interface for the Administration of COPS
- Kristoffer Rose: A Case for Completion Modulo Equivalence
- Thomas Sternagel, René Thiemann, Harald Zankl and Christian Sternagel: Recording Completion for Finding and Certifying Proofs in Equational Logic
- Hans Zantema: Automatically Finding Non-Confluent Examples in Abstract Rewriting
Committees
Organising Committee
| Nao Hirokawa | Japan Advanced Institute of Science and Technology |
| Aart Middeldorp | University of Innsbruck |
| Naoki Nishida | Nagoya University |
Program Committee
| Takahito Aoto | Tohoku University | |
| Nao Hirokawa | Japan Advanced Institute of Science and Technology | (co-chair) |
| Aart Middeldorp | University of Innsbruck | (co-chair) |
| Femke van Raamsdonk | VU University Amsterdam | |
| Aaron Stump | The University of Iowa | |
| Rakesh M. Verma | University of Houston |
Important Dates
| submission | March 26, 2012 |
| notification | April 9, 2012 |
| final version | May 15, 2012 (extended) |
| workshop | May 29, 2012 |
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. In addition, we plan to distribute a printed version of the proceedings at the workshop.
The page limit for papers is 5 pages in EasyChair style. Submission will be via EasyChair.