Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive
    • IWC - International Workshop on Confluence
Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive
    • IWC - International Workshop on Confluence

IWC Menu

  • IWC Home
  • IWC 2026
  • IWC 2025
  • IWC 2024
  • IWC 2023
  • IWC 2022
  • IWC 2021
  • IWC 2020
  • IWC 2019
  • IWC 2018
  • IWC 2017
  • IWC 2016
  • Competition
  • Steering Committee
Details
Written by: Gernot Baumgartner
Category: International Workshop on Confluence
Read Time: 1 min
Published: 29 May 2026
Hits: 6

IWC 2020 - 9th International Workshop on Confluence - Paris


Proceedings

pdf

Program Chairs

  • Samuel Mimram - LIX, École Polytechnique
  • Mauricio Ayala - Rincón Brasilia University

Invited Speakers

  • Frédéric Blanqui - INRIA LSV ENS Paris – Saclay/Université Saclay
  • Margherita Zorzi - Università degli Studi di Verona

Website

iwc2020.cic.unb.br/

Share it:
Previous article: IWC 2019 - 8th International Workshop on Confluence - Dortmund Prev Next article: International Workshop on Confluence Next
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
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive
    • IWC - International Workshop on Confluence