IWC 2024 - Computational Logic

IWC 2024 – 13th International Workshop on Confluence – Tallinn

Proceedings

Program Chairs

Cyrille Chenavier - University of Limoges
Naoki Nishida - Nagoya University

Invited Speaker

Aart Middeldorp - University of Innsbruck

Website

www.trs.css.i.nagoya-u.ac.jp/event/iwc2024/