Chair: Cláudia Nalon

• 14:00: Pedro Barroso, António Ravara, Mário Pereira. Animated Logic: Correct Functional Conversion to Conjunctive Normal Form!.
• 14:30: Hans de Nivelle. Deciding Logical Relations between Inductive Types using Monadic Horn Clauses!.
• 15:00: Constantin Ruhdorfer, Stephan Schulz. Efficient Implementation of Large-Scale Watchlists!.