協賛のご案内（Call for Sponsorship）

AIPV（FM 2026 併催）

開催予定日：2026年5月18–19日（正確な日程は後日確定）

開催地：東京

※ 本日本語版は、便宜のために作成した参考訳です。正式な「Call for Sponsorship」は英語版とします。内容に差異がある場合は、英語版の記載が優先されます。

Note: This Japanese version is provided for convenience only. The official and authoritative version of the Call for Sponsorship is the English version. In the event of any discrepancy, the English version shall prevail.

AI, Proof and Verification（AIPV）について

このたび、第1回 国際ワークショップ「AI, Proof and Verification（AIPV）」の開催にあたり、企業・研究機関・産学連携パートナーの皆様に、協賛のご検討をお願い申し上げます。

AIPVは、以下の分野を横断的につなぐことを目的とした国際ワークショップです。

• AI・機械学習（大規模言語モデルを含む）
• 定理証明・形式検証
• 高信頼・安全重視システムの設計・検証技術

普段は交わる機会の少ない研究コミュニティが一堂に会し、相互理解を深め、新たな共同研究や技術発展につなげる場を提供します。 信頼性の高いAI・推論技術の社会実装に向けた議論を促進することを目指しています。

皆様からのご支援は、以下の取り組みに活用されます。

• 参加しやすい参加費設定の維持
• 招待講演者への渡航支援
• ツールデモや学生参加の促進

協賛プランのご案内

初開催のワークショップであるため、シンプルで分かりやすい3段階の協賛プランをご用意しております。

区分	協賛金額	ご提供内容
Supporter	¥50,000	ウェブサイトへのロゴ掲載、開会時の謝辞
Contributor	¥150,000	Supporterの内容に加え、団体紹介文およびリンク掲載
Partner	¥300,000	Contributorの内容に加え、デモ展示スペースまたは簡単な団体紹介（会場・スケジュールの都合により調整）

上記金額が貴組織の規定と合わない場合も、個別に金額調整（例：¥100,000、¥200,000、¥500,000 等）についてご相談可能です。 少額のご協賛も歓迎いたします。

協賛いただくメリット

• 成長分野における認知向上・ブランド露出
• 優秀な学生・若手研究者・専門家とのネットワーク形成
• 信頼性の高いAI、安全・セキュリティ、形式検証分野の第一線研究者との交流
• 今後の研究・技術動向に対する意見交換・関与の機会

協賛金の活用について

AIPV 2026は、競争よりも協調と対話を重視したコミュニティ主導型のイベントとして企画されています。 ご協賛は、主に以下の用途に直接充てられます。

• 招待講演者の参加登録費・渡航・滞在支援
• 学生参加者の支援
• デモ・展示セッション実施に必要な運営費
• 参加者交流を目的とした公式懇親会／ネットワーキングイベントの開催（実施する場合）

お問い合わせ先

ご関心をお持ちいただけましたら、以下までお気軽にお問い合わせください。

AIPV 2026 運営委員会 📩 nagashima+cs.cas.cz（+ を @ に置き換えてください） ※ いずれの運営委員へ直接ご連絡いただいても構いません。

可能であれば、2026年2月下旬頃までにご関心の有無をご連絡いただけますと、円滑な準備に大変助かります。

皆様と東京にて有意義な交流の機会を持てることを、運営一同、心より楽しみにしております。 ぜひご協賛をご検討賜りますよう、よろしくお願い申し上げます。