EasyChair Smart SlideDocs/Log in
Conference: LPOP2018 (Workshop on Logic and Practice of Programming)

This page shows all presentations from this conference published in EasyChair Smart Slide.

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

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

Michael Leuschel

Role-Based Access Control via JASP

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

Invited Talk: A Modeling Language Based on Semantic Typing

John Hooker

Logic-based Methods for Software Engineers and Business People

Logic-based Methods for Software Engineers and Business People

Joost Vennekens

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

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

Peter Van Roy

Presentations in this collection: 5
Copyright © 2002 – 2024 EasyChair