Chair: Christophe Ringeissen

• 11:30: Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv, Tinko Tinchev. About the unification type of modal logic K+[][]false.
• 11:55: David Cerna, Alexander Leitsch, Anela Lolic. On the Unification of Term Schemata.
• 12:20: Jean-Pierre Jouannaud, Fernando Orejas. Unification of Drags.