[参加募集] FLOPS 2026 Early registration & Student Research Competition

[Yukiyoshi Kameyama]

sonoteno皆様、（重複してうけとったかたはすいません）

筑波大学の亀山です。

関数型＋論理型プログラミングに関する国際会議FLOPS 2026 について

早期参加登録の締切りが  4/25 (月, 日本時間)に迫ってきましたので、

再度ご案内します。日本で定期的に開催される数少ない国際会議であり、

今回は Keynote 3件（Gabriele Keller氏, 上田和紀氏、Fritz Henglein氏）

と Leanに関するTutorial 1件 (Jesse Alama氏)、および、採択された

１４件の研究発表から構成されています。

また、FLOPS期間中に開催する SRC (Student Research Competition)  

について、投稿締め切りを 4/27  に延長しました。SRC は、FLOPS

１日目にポスター発表を行い FLOPS参加者からコメントをもらえる

有益な場で、Judgeにより上位に評価された学生は賞をもらえます。

なお、学生以外の方がポスター発表をする事も可能です。

この分野の研究を盛り上げるためにも、ぜひ参加をご検討ください。

FLOPS 2026 top:　https://functional-logic.org/events/flops/2026/

参加登録: https://functional-logic.org/events/flops/2026/src-poster/

SRC and poster: https://functional-logic.org/events/flops/2026/registration/ 

--

亀山 幸義（筑波大学）
FLOPS General Chair <flops....@gmail.com>

======================================================================

    *** FLOPS 2026 -- CALL FOR PARTICIPATION ***

The 18th International Symposium on
  Functional and Logic Programming

     May 26-28, Tsukuba, Japan

  https://functional-logic.org/events/flops/2026/

======================================================================

Welcome to the 18th International Symposium on Functional and Logic
Programming (FLOPS 2026) on May 26-May 28, 2026 in Tsukuba, Japan.

FLOPS 2026 is co-sponsored by Special Interest Group on Programming
and Programming Languages (SIG-PPL), Japan Society for Software
Science and Technology (JSSST).

FLOPS brings together practitioners, researchers and implementers of
declarative programming, to discuss mutually interesting results and
common problems: theoretical advances, their implementations in
language systems and tools, and applications of these systems in
practice. FLOPS specifically aims to promote cross-fertilization
between theory and practice and among different styles of declarative
programming.

VENUE

FLOPS 2026 will take place at the University of Tsukuba.  Tsukuba is
about 60km from central Tokyo, and easily reachable via public
transport from both Haneda and Narita airports.

Tsukuba is Japan's science and technology city.  Yet, it preserves
its rich traditions and local heritage with attractions such as
Mt. Tsukuba and Tsukubasan Shrine.

REGISTRATION

You can register for FLOPS 2026 here:

https://functional-logic.org/events/flops/2026/registration/

Early-bird registration fee (until Apr 25) is 50000 JPY for regular
participants (roughly 275 EUR or 325 USD), and 20000 JPY for
students (roughly 110 EUR or 130 USD).

Registration includes an excursion and a banquet on May 27.  Extra
banquet tickets are available.

PROGRAM

Keynote:

- Gabriele Keller, Utrecht University
   Accelerate – past, present and future

- Kazunori Ueda, Waseda University
   Hierarchical Port Hypergraphs: Two Decades Toward
   a Unifying Structure for Declarative Languages

- Fritz Henglein, University of Copenhagen
   TBA

Tutorial:

- Jesse Alama, Igalia
   TypeScript, meet Lean!

Accepted papers:

- Li, F., Gupta, G.: Computing Supported Models via Transformation to
  Stable Models

- Miyazawa, O., Nishizaki, S.: Matrix Coeffect: A Coeffect Calculus
  for Handling Interdependent Information

- Arntzenius, M., Willsey, M.: Finite Functional Programming or,
  LAMBDA: the Ultimate Predicate

- Lam, C.: Optimizing Mesh Booleans by Being Lazy (System Description)

- Zhou, N., Jiang, C., Bierlee, H., Stuckey, P.: Dynamic Programming
  and Tabled Logic Programming for Encoding Single-Constant
  Multiplication into SAT (Declarative Pearl)

- Bohrer, R.: Demonic Dynamic Logic Programming

- Morihata, A.: Test Your Polymorphic Functions with Boolean Values

- Kiselyov, O.: More Fun with Monoids (Declarative Pearl)

- Boyland, P., Hyatt, S., Dewey, K., Hardekopf, B.: Breccia: A
  Functional DSL Compiled to Egglog for Test Input Generation

- Cabo, Q., Scholz, S.: Finding Programming Faults Even When Large
  Parts of the Code have Disappeared

- Maieli, R., Acclavio, M.: Probabilistic Linear Logic Programming
  with an application to Bayesian Networks computations

- Tudor, A., Arias, J., Gupta, G.: Automatic Knowledge Gap Detection
  and Plan Validation Using Counterfactual Justifications

- Hemann, J., Pfingsten, B.: Visualizing miniKanren Search with a
  Fine-Grained Small-Step Semantics

- Coltharp, N., Libby, S., Israel, L., Li, Y.: Unifying Hindsight and
  Foresight: Lazy Cost Analysis as Functional Logic Programming

Further information about the conference and local arrangements is
available on the conference website.

------------------------------