LPOP PROGRAM
Wednesday, July 18th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 125E: Logic and Practice of Programming
Chair:
Location: Blavatnik Seminar Room 2
| 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 127E: Security Policies as Challenge Problems
Chair:
Location: Blavatnik Seminar Room 2
| 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 128E: Challenge Solutions and Constraint Solving
Chair:
Location: Blavatnik Seminar Room 2
| 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 130D: Logic and Constraints in Applications
Chair:
Location: Blavatnik Seminar Room 2
| 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).
Location: Magdalen College