- 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
- 9.00-10.00 Franz Baader (Invited speaker).
- 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
- 10.30-11.00 Franz Baader and Stefan Borgwardt and Barbara Morawska
- 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
- 13.30-14.30 Emil Jeřábek (Invited speaker).
- 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
- 15.30-16.00 George Metcalfe and Christoph Röthlisberger
- 17.00-17.30 Business Meeting
- 17.30 Closing