Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
  • Teaching
    • ISR 2026
  • Members
  • Events
    • Event Archive
    • IWC
  • Software
    • CSI
    • CREST
    • CTRL
Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
  • Teaching
    • ISR 2026
  • Members
  • Events
    • Event Archive
    • IWC
  • Software
    • CSI
    • CREST
    • CTRL

Steering Committee

Steering Committee

  • Naoki Nishida - Nagoya University 2026 – 2030
  • Sarah Winkler - Free University of Bozen-Bolzano 2024 – 2028

Past Members

  • Mauricio Ayala Rincón - Brasilia University 2021 – 2025
  • Takahito Aoto - Niigata University 2018 – 2023
  • Nao Hirokawa - Japan Advanced Institute of Science and Technology 2012 – 2020
  • Aart Middeldorp - University of Innsbruck 2012 – 2018

IWC 2026 – 15th International Workshop on Confluence – Lisbon


Proceedings

pdf

Program Chairs

  • Raúl Gutiérrez - Universitat Politècnica de València
  • René Thiemann - University of Innsbruck

Invited Speaker

  • Jean-Pierre Jouannaud - École Polytechnique

Website

iwc2026.github.io/

Contact
  • +43 512 507 53229
  • Technikerstraße 21a
  • A-6020 Innsbruck
UIBK Quick Links
  • Department of Computer Science
  • LFU:Online Courses
  • OLAT
  • UIBK Webconference (BBB)
  • UIBK FileShare (Synch & Share)
  • UIBK GitLab

© 2026 Computational Logic

  • Privacy
  • Terms of Use
  • Policy
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
  • Teaching
    • ISR 2026
  • Members
  • Events
    • Event Archive
    • IWC
  • Software
    • CSI
    • CREST
    • CTRL