Title: “Automated Reasoning with Vampire” by Laura Kovacs, Vienna University of Technology, Vienna, Austria

Title: “Symbolic Techniques for Fuzzy Relations” by Ioana Cleopatra Pau, Research Institute for Symbolic Computation, Linz, Austria