The research area "Formal Methods and Algorithmics" (ForMAl) consists of the three working groups "Software Development and Verification", "Safety-Critical Systems" and "Efficient Algorithms and ...

On May 19-20, Harvard Business School will host the Methodology, Organization, and Management (MOM): Technological Adoption and Human-Algorithm Interaction workshop ... and quantitative researchers ...