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 2015 – 4th International Workshop on Confluence – Berlin

IWC 2015 - 4th International Workshop on Confluence - Berlin


Proceedings

pdf

Program Chairs

  • Takahito Aoto - Tohoku University
  • Ashish Tiwari - SRI International

Invited Speakers

  • Stefan Hetzl - Vienna University of Technology
  • Koji Nakazawa Kyoto University

Website

www.csl.sri.com/users/tiwari/iwc2015

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