投稿募集（Call for Contributions）

第1回 AI・証明・検証ワークショップ（AIPV 2026） FM 2026 併催｜2026年5月18–19日｜東京

※ 本日本語版は、便宜のために作成した参考訳です。正式な Call for Contributions は英語版とします。 内容に差異がある場合は、英語版の記載が優先されます。 なお、本ワークショップは国際ワークショップとして開催され、発表および議論は原則として英語で行われることを想定しています。

Note: This Japanese version is provided for convenience only. The official and authoritative version of the Call for Contributions is the English version. In the event of any discrepancy, the English version shall prevail. As this is an international workshop, presentations and discussions are generally expected to be conducted in English.

概要

人工知能（AI）および機械学習（ML）は近年めざましい進展を遂げていますが、厳密な推論の実現はいまだ大きな未解決課題です。 生成系AIはしばしば不正確な推論や無効な議論を生成し、健全性（soundness）に関する保証を持ちません。 本ワークショップ「AI, Proof and Verification（AIPV）」は、AI／機械学習分野と、論理・定理証明・形式検証分野との橋渡しを目的としています。 AIの能力を批判的に検討し、異なる論理体系や手法の間で知見を共有するとともに、信頼性の高いAI支援型推論技術の新たな方向性を探ります。

募集テーマ

AIPVでは、AIと形式的推論の交差領域において、拡張性と健全性の両立を目指す研究・実践的成果を幅広く募集します。以下は例示であり、これらに限定されません。

投稿区分

AIPVは、簡潔で建設的なワークショップです。 すべての投稿について、前向きかつ包摂的な姿勢で、ワークショップとの関連性および記述の明確さを簡易的に確認します。 選別を目的とするのではなく、参加の促進を重視します。

以下の種類の投稿を歓迎します。

投稿内容は、建設的な観点からプログラム委員会により確認・検討されます。 採択された投稿は、通常発表、短時間発表、ポスター等の形式で発表される場合があります。

投稿方法

論文や要約の投稿は、EasyChairを通じて受け付けています。

資料共有・公開方針

提出されたPDF（または機密情報を除いた版）は、参加者が事前および会期中に閲覧できるよう、ワークショップのウェブサイトに掲載する予定です。 ただし、出版社の規定や研究契約等の事情により公開が難しい場合があることも理解しています。

PDFの一般公開を希望されない場合、あるいは「参加者限定」など公開範囲を制限したい場合は、事前にご相談ください。 可能な範囲で柔軟に対応します。

既発表・採択済み研究については、PDFやプレプリントの共有が元の会議・出版社の規定に抵触しないことをご確認ください。 必要に応じて、短い拡張要約のみを掲載する対応も可能です。

ご不明点やご懸念がございましたら、どうぞ遠慮なく運営委員会までお問い合わせください。可能な限り適切な対応を検討いたします。

重要日程

##

AIPV2026は、一橋講堂（Hitotsubashi Hall）にて開催予定です。

Organization

Random Image