自動推論への顕著な貢献に対するエルブラン賞は、自動推論分野への重要な貢献を称えるために、自動推論会議（CADE）Inc.（CADEの正式な法人化以前から存在）が授与する賞です。この賞はフランスの科学者ジャック・エルブランにちなんで名付けられ、CADEまたは国際自動推論合同会議（IJCAR）ごとに最大1回授与されます。賞金は1,000米ドルです。誰でも推薦することができ、CADE評議員と過去の受賞者による投票を経て授与されます。通常はCADE/IJCARプログラム委員会の意見も参考に行われます。
受信者
過去の受賞者は次のとおりです。
1990年代
- ラリー・ウォス（1992）
- ウディ・ブレッドソー（1994）
- ジョン・アラン・ロビンソン（1996）
- ウー・ウェンジュン(1997)
- ジェラール・ユエ（1998）
- ロバート・S・ボイヤーとJ・ストロザー・ムーア（1999）
2000年代
- ウィリアム・W・マッキューン（2000）
- ドナルド・W・ラブランド（2001）
- マーク・E・スティッケル（2002年）。
- ピーター・B・アンドリュース（2003）
- ハラルド・ガンジンガー（2004）
- マーティン・デイヴィス（2005）
- ヴォルフガング・ビーベル（2006）
- アラン・バンディ（2007）
- エドマンド・M・クラーク（2008）
- ディーパック・カプール（2009）
2010年代
- デビッド・プレイステッド（2010）
- ナフム・ダーショウィッツ（2011）
- メルヴィン・フィッティング（2012）
- C. グレッグ ネルソン(2013)
- ロバート・L・コンスタブル（2014）
- アンドレイ・ヴォロンコフ（2015）
- ゾハル・マンナとリチャード・ウォルディンガー（2016）
- ローレンス・C・ポールソン（2017）
- ブルーノ・ブッフベルガー（2018）
- ニコライ・ビョルナーとレオナルド・デ・モウラ(2019)
2020年代
- フランツ・バーダー（2020）
- トビアス・ニプコウ（2021）
- ナタラジャン・シャンカール（2022）
- モシェ・ヴァルディ（2023）
- アーミン・ビエール（2024）
参照
- コンピュータサイエンスの賞一覧
- ジャック・エルブラン賞— フランス科学アカデミーによる数学と物理学の賞
参考文献
外部リンク
- 自動推論への顕著な貢献に対するエルブラン賞
