Schedule (1st of July)

  • 8:30-9:00 Registration
  • Session 1: 09.00-10.00
    • 9.00-10.00 Franz Baader (Invited speaker).
      Unification and Related Problems in Modal and Description Logics
  • 10.00-10.30 Coffee Break
  • Session 2: 10.30-12.00
    • 10.30-11.00 Franz Baader and Stefan Borgwardt and Barbara Morawska
      Recent Advances in Unification for the EL Family
    • 11.00-11.30 Serdar Erbatur, Santiago Escobar, and Paliath Narendran
      Unification modulo a property of the El Gamal Encryption Scheme
    • 11.30-12.00 Christopher Bouchard, Kimberly A. Gero, and Paliath Narendran
      Some Notes on Basic Syntactic Mutation
  • 12.00-13.30 Lunch Time
  • Session 3: 13.30-15.00
    • 13.30-14.30 Emil Jeřábek (Invited speaker).
      Rules with parameters in modal logic
    • 14.30-15.00 Jorge Luis Sacchini, Iliano Cervesato, Frank Pfenning, Carsten Schürmann, and Robert J. Simmons
      On Matching Concurrent Traces
  • 15.00-15.30 Coffee Break
  • Session 4: 15.30-17.00
    • 15.30-16.00 George Metcalfe and Christoph Röthlisberger
      Experiments in Admissibility
    • 16.00-16.30 Leonardo Manuel Cabrer
      Admissibility and unification in subvarieties of pseudocomplemented lattices
    • 16.30-17.00 Tomer Líbal
      Bounded Second-Order Unification Using Regular Terms
  • 17.00-17.30 Business Meeting
  • 17.30 Closing