Note: This schedule is preliminary and subject to change!
Tuesday, May 26
9:30 Invited talk: Gabriele Keller
11:00-12:00 Talks: Functional Programming
- Miyazawa, O., Nishizaki, S.: Matrix Coeffect: A Coeffect Calculus for Handling Interdependent Information
- Cabo, Q., Scholz, S.: Finding Programming Faults Even When Large Parts of the Code have Disappeared
12:00-14:00 Lunch
14:00-15:00 Talks: Logic Programming
- Li, F., Gupta, G.: Computing Supported Models via Transformation to Stable Models
- Bohrer, R.: Demonic Dynamic Logic Programming
15:15-16:15 Talks: Logic Programming
- Zhou, N., Jiang, C., Bierlee, H., Stuckey, P.: Dynamic Programming and Tabled Logic Programming for Encoding Single-Constant Multiplication into SAT (Declarative Pearl)
- Maieli, R., Acclavio, M.: Probabilistic Linear Logic Programming with an application to Bayesian Networks computations
16:30-17:30 Talks: Testing
- Morihata, A.: Test Your Polymorphic Functions with Boolean Values
- Boyland, P., Hyatt, S., Dewey, K., Hardekopf, B.: Breccia: A Functional DSL Compiled to Egglog for Test Input Generation
Wednesday, May 27
9:30 Invited talk: Kazunori Ueda
11:00-12:30 Tutorial
- Alama, J.: Scheming in Lean
12:30-14:30 lunch
Thursday, May 28
9:30 Invited talk: Fritz Henglein
10:30-12:00 Poster session
12:00-14:00 Lunch
14:00-15:00 Talks: Functional Programming
- Kiselyov, O.: More Fun with Monoids (Declarative Pearl)
- Lam, C.: Optimizing Mesh Booleans by Being Lazy (System Description)
15:15-16:15 Talks
- Hemann, J., Pfingsten, B.: Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics
- Tudor, A., Arias, J., Gupta, G.: Automatic Knowledge Gap Detection and Plan Validation Using Counterfactual Justifications
16:30-17:30 Talks: Functional/Logic Programming
- Arntzenius, M., Willsey, M.: Finite Functional Programming or, LAMBDA: the Ultimate Predicate
- Coltharp, N., Libby, S., Israel, L., Li, Y.: Unifying Hindsight and Foresight: Lazy Cost Analysis as Functional Logic Programming