Proof Summit 2025 (2025/06/28 09:00〜)

DRANK

開催日は 6月28日（土）、会場は 国立情報学研究所国立情報学研究所（東京都千代田区一ツ橋2-1-2学術総合センター内）の会議室（定員：約30名） を予定しております。 当日の入館方法や集合時刻などの詳細につきましては、追ってご案内いたします。 本ワークショップは、1日がかりの半学術的な催しとして、8名程度の登壇者による口頭発表を想定しています。 発表希望者が多数となった場合には、ポスター発表などの形式を設けるなど、可能な限り柔軟に対応する予定です。研究が進行中のテーマや構想段階のアイデアも歓迎いたしますので、ぜひお気軽にご応募ください。 なお、本ワークショップでは、プロシーディン...