FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Invited Talk: Practical uses of Logic, Formal Methods, B and ProB

Michael Leuschel

Logic-based Methods for Software Engineers and Business People

Joost Vennekens

Role-Based Access Control via JASP

Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Kristian Reale and Francesco Ricca

Invited Talk: A Modeling Language Based on Semantic Typing

John Hooker

A software system should be declarative except where it interacts with the real world

Peter Van Roy
Total: 5 presentations.