{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreic2644f34222mez5vneaaqueimbegx7a2hzrk7534zpbjer27hzhm",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mfihvjnyvcn2"
  },
  "path": "/t/call-for-participation-functional-and-logic-programming-flops-may-26-28-tsukuba/13716#post_1",
  "publishedAt": "2026-02-22T17:09:59.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "`https://functional-logic.org/events/flops/2026/`",
    "`https://functional-logic.org/events/flops/2026/registration/`"
  ],
  "textContent": "# FLOPS 2026 – Call for Participation\n\n## The 18th International Symposium on Functional and Logic Programming\n\n## May 26-28, Tsukuba, Japan\n\n## `https://functional-logic.org/events/flops/2026/`\n\nWelcome to the 18th International Symposium on Functional and Logic\nProgramming (FLOPS 2026) on May 26-May 28, 2026 in Tsukuba, Japan.\n\nFLOPS 2026 is co-sponsored by Special Interest Group on Programming\nand Programming Languages (SIG-PPL), Japan Society for Software\nScience and Technology (JSSST).\n\nFLOPS brings together practitioners, researchers and implementers of\ndeclarative programming, to discuss mutually interesting results and\ncommon problems: theoretical advances, their implementations in\nlanguage systems and tools, and applications of these systems in\npractice. FLOPS specifically aims to promote cross-fertilization\nbetween theory and practice and among different styles of declarative\nprogramming.\n\n### Venue\n\nFLOPS 2026 will take place at the University of Tskukuba. Tsukuba is\nabout 60km from central Tokyo, and easily reachable via public\ntransport from both Haneda and Narita airports.\n\nTsukuba is Japan’s science and technology city. Yet, it preserves\nits rich traditions and local heritage with attractions such as\nMt. Tsukuba and Tsukubasan Shrine.\n\n### Registration\n\nYou can register for FLOPS 2026 here:\n\n`https://functional-logic.org/events/flops/2026/registration/`\n\nEarly-bird registration fee (until Apr 25) is 50000¥/20000¥ for\nstudents - roughly 275€, 325$, 240£ as of February 19.\n\nRegistration includes an excursion and a banquet on May 27. Extra\nbanquet tickets are available.\n\n### Program\n\n#### Keynote speakers:\n\n  * Kazunori Ueda, Waseda University\n  * Fritz Henglein, University of Copenhagen\n  * Gabriele Keller, Utrecht University\n\n\n\n#### Tutorial:\n\n  * Jesse Alama, Scheming in Lean\n\n\n\n#### Accepted papers:\n\n  * Li, F., Gupta, G.: Computing Supported Models via Transformation to\nStable Models\n\n  * Miyazawa, O., Nishizaki, S.: Matrix Coeffect: A Coeffect Calculus\nfor Handling Interdependent Information\n\n  * Arntzenius, M., Willsey, M.: Finite Functional Programming or,\nLAMBDA: the Ultimate Predicate\n\n  * Lam, C.: Optimizing Mesh Booleans by Being Lazy (System Description)\n\n  * Zhou, N., Jiang, C., Bierlee, H., Stuckey, P.: Dynamic Programming\nand Tabled Logic Programming for Encoding Single-Constant\nMultiplication into SAT (Declarative Pearl)\n\n  * Bohrer, R.: Demonic Dynamic Logic Programming\n\n  * Morihata, A.: Test Your Polymorphic Functions with Boolean Values\n\n  * Kiselyov, O.: More Fun with Monoids (Declarative Pearl)\n\n  * Boyland, P., Hyatt, S., Dewey, K., Hardekopf, B.: Breccia: A\nFunctional DSL Compiled to Egglog for Test Input Generation\n\n  * Cabo, Q., Scholz, S.: Finding Programming Faults Even When Large\nParts of the Code have Disappeared\n\n  * Maieli, R., Acclavio, M.: Probabilistic Linear Logic Programming\nwith an application to Bayesian Networks computations\n\n  * Tudor, A., Arias, J., Gupta, G.: Automatic Knowledge Gap Detection\nand Plan Validation Using Counterfactual Justifications\n\n  * Hemann, J., Pfingsten, B.: Visualizing miniKanren Search with a\nFine-Grained Small-Step Semantics\n\n  * Coltharp, N., Libby, S., Israel, L., Li, Y.: Unifying Hindsight and\nForesight: Lazy Cost Analysis as Functional Logic Programming\n\n\n\n\nFurther information about the conference and local arrangements is\navailable on the conference website.",
  "title": "Call for Participation: Functional and Logic Programming (FLOPS, May 26-28, Tsukuba)"
}