Chair: Adrián Riesco

• 14:00: María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña. Narrowing-based Optimization of Rewriting Logic Theories.
• 14:30: Irina Mariuca Asavoae, Ramtine Tofighi Shirazi, Adrian Riesco, Uemura Yasuyoshi. Hardware Trojan Detection via Rewriting Logic.
• 15:00: Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau. Preservation of Pattern-free Properties for Constructor TRS.