FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
LPOP PROGRAM
Wednesday, July 18th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 121E: Logic and Practice of Programming
09:00
Opening and introduction (abstract)
09:10
Invited Talk: Practical uses of Logic, Formal Methods, B and ProB (abstract)
09:50
Invited Talk: On the Development of Industrial Applications with ASP (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 123E: Security Policies as Challenge Problems
Chair:
11:00
Introduction: Role-Based Access Control as a Programming Challenge (abstract)
11:10
Security Policies in Constraint Handling Rules (abstract)
11:20
LPOP2018 XSB Position Paper (abstract)
11:30
Role-Based Access Control via JASP (abstract)
11:40
The RBAC challenge in the Knowledge Base Paradigm (abstract)
11:50
Role-Based Access Control via LogicBlox (abstract)
12:00
Logic-based Methods for Software Engineers and Business People (abstract)
12:10
Easier Rules and Constraints for Programming (abstract)
12:20
Questions about RBAC challenge solutions (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 124E: Challenge Solutions and Constraint Solving
14:00
Panel: Practice of Modeling and Programming (abstract)
14:30
Invited Talk: A Modeling Language Based on Semantic Typing (abstract)
15:10
A Picat-based XCSP Solver - from Parsing, Modeling, to SAT Encoding (abstract)
15:20
Confluence Analysis of Cognitive Models with Constraint Handling Rules (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 126D: Logic and Constraints in Applications
16:00
Invited Talk: The Young Software Engineer’s Guide to Using Formal Methods (abstract)
16:40
How to upgrade ASP for true dynamic modelling and solving? (abstract)
16:50
A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks (abstract)
17:00
A software system should be declarative except where it interacts with the real world (abstract)
17:10
Questions about logic and constraints in real-world applications (abstract)
17:20
Panel: Future of Programming with Logic and Knowledge (abstract)
17:50
Closing (abstract)
19:15-21:30 Workshops dinner at Magdalen College

Workshops dinner at Magdalen College. Drinks reception from 7.15pm, to be seated by 7:45 (pre-booking via FLoC registration system required; guests welcome).