Newsletter 74

Moves Newsletter

Dear reader, This here is the third installment of the Fundamental Issues in Modelling, Verification and Evolution of Software (MoVES) newsletter. The goal of the newsletter is to highlight the work performed in the context of the project through the different workpackages. As with previous issues, this edition of the newsletter is divided in two parts, the first one focusing on the results ach...

Newsletter 149

The negative relationship between stock market P/E ratios and government bond yields seems to have become conventional wisdom among practitioners. Both limited empirical evidence and a misleading suggestion that the model originated in the Fed are used to support the model's plausibility. This article argues that the Fed model is flawed from a theoretical standpoint and reports evidence from 20...

Moves Newsletter

Dear Reader, this edition of the MoVES newsletter is dedicated to Workpackage 6, focused on verification methods and tools, and presents results obtained by the University of Liège on that topic. This issue of the newsletter describes three recent results that cover different research topics in the field of verification. The first result, presented on p. 2, introduces an original method for ana...

Niconet Newsletter

Vegetarian Newsletter