Chair: Temur Kutsia

• 09:00: Stéphanie Delaune. Invited Talk: Rewriting in Protocol Verification.
• 09:45: Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek. Algorithmic Problems in Synthesized Cryptosystems.
• 10:10: Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. Terminating Non-Disjoint Combined Unification.
• 10:35: Paliath Narendran, Ashley Suchy, Yu Zhang. Some Results on Prefix Grammars.