Full Program

09:00-10:30 Session: Logic and Practice of Programming
09:00-09:10 Marc Denecker. Opening and introduction
09:10-09:50 Invited Talk: Michael Leuschel. Practical uses of Logic, Formal Methods, B and ProB
09:50-10:30 Invited Talk: Nicola Leone, Bernardo Cuteri, Marco Manna, Kristian Reale and Francesco Ricca. On the Development of Industrial Applications with ASP

11:00-12:30 Session: Security Policies as Challenge Problems
11:00-11:10 Annie Liu. Introduction: Role-Based Access Control as a Programming Challenge
11:10-11:20 Thom Fruehwirth. Security Policies in Constraint Handling Rules
11:20-11:30 David S. Warren. LPOP2018 XSB Position Paper
11:30-11:40 Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Kristian Reale and Francesco Ricca. Role-Based Access Control via JASP
11:40-11:50 Marc Denecker. The RBAC challenge in the Knowledge Base Paradigm
11:50-12:00 Tuncay Tekle. Role-Based Access Control via LogicBlox
12:00-12:10 Joost Vennekens. Logic-based Methods for Software Engineers and Business People
12:10-12:20 Yanhong A. Liu and Scott Stoller. Easier Rules and Constraints for Programming
12:20-12:30 All Workshop Participants. Questions about RBAC challenge solutions

14:00-15:30 Session: Challenge Solutions and Constraint Solving
14:00-14:30 Panelists - All Morning Speakers. Panel: Practice of Modeling and Programming
14:30-15:10 Invited Talk: John Hooker. A Modeling Language Based on Semantic Typing
15:10-15:20 Neng-Fa Zhou and Håkan Kjellerstrand. A Picat-based XCSP Solver - from Parsing, Modeling, to SAT Encoding
15:20-15:30 Daniel Gall. Confluence Analysis of Cognitive Models with Constraint Handling Rules

16:00-18:00 Session: Logic and Constraints in Applications
16:00-16:40 Invited Talk: Rustan Leino. The Young Software Engineer’s Guide to Using Formal Methods
16:40-16:50 Torsten Schaub. How to upgrade ASP for true dynamic modelling and solving?
16:50-17:00 Thom Fruehwirth. A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
17:00-17:10 Peter Van Roy. A software system should be declarative except where it interacts with the real world
17:10-17:20 All Workshop Participants. Questions about logic and constraints in real-world applications
17:20-17:50 Panelists - All Afternoon Speakers. Panel: Future of Programming with Logic and Knowledge
17:50-18:00 Tuncay Tekle and Marc Denecker. Closing