Chair: Andrew Marshall

• 14:00: Manfred Schmidt-Schauß. Invited Talk: Nominal Algorithms: Applications and Extensions.
• 14:45: Alexander Baumgartner, Daniele Nantes-Sobrinho. A,C and AC Nominal Anti-Unification.
• 15:10: Daniele Nantes-Sobrinho, Deivid Vale, Mauricio Ayala-Rincón, Maribel Fernandez. An Investigation into Nominal Equational Problems.