EWベス論文賞

論理・言語・情報学会（FoLLI）は毎年、オランダの数学者エバート・ウィレム・ベスにちなんで名付けられたEWベス博士論文賞を、論理・言語・情報分野の優れた博士論文に授与しています。論文は、技術的な深さ、力量、独創性に基づいて評価されます。この賞は毎年、複数の論文に同等の権利が付与される場合もあれば、論文がまったく提出されない場合もあります。この賞は、証明書、賞金、およびSpringer Science+Business Mediaが発行するFoLLI Publications on Logic, Language and Information ^[¹^]への論文（改訂版でもよい）の提出への招待で構成されます。

過去の受賞者リスト

年^{[ 2 ]}	著者	論文のタイトル	機関
2024	アリアウメ・ロペス	有限モデル理論における第一階保存定理：局所性、位相、極限構成	パリ・サクレー高等師範学校
2024	コンスタンティノス・コグカリディス	依存性は様相として、構文解析は順列として。範疇文法に対する神経記号論的視点	ユトレヒト大学
2023	ガブリエーレ・ヴァノーニ	λ計算のための合理的な空間・時間コストモデルについて	ボローニャ大学
2022	アレクサンダー・ベントカンプ	高階論理における重ね合わせ	アムステルダム自由大学
2021	イラリア・カナヴォット	責任があなたを導く場所	アムステルダム大学
2021	マーティン・リュック	チームロジック：公理、表現力、複雑性	ライプニッツ大学ハノーバー
2020	フアン・アギレラ	有限と無限の間	ウィーン工科大学
2020	マルチン・ウォンギエル	原子レベルの定量化	マサリコヴァ大学
2019	バルトシュ・ウィチウォ	構成的真実の強さを理解する	ワルシャワ大学
2018	イスマイル・イルカン・ジェイラン	確率的データと知識ベースにおけるクエリ応答	ドレスデン工科大学
2017	アントワーヌ・アマリリ	不確実なデータの構造を活用する	テレコム・パリテック
2017	ロナルド・デ・ハーン	多項式階層におけるパラメータ化された複雑性	ウィーン工科大学
2016	トーマス・ゼウメ	小さな動的複雑度クラス	ドルトムント大学
2015	ミハウ・スクルジプチャク	オートマトン理論における記述的集合論的手法	ワルシャワ大学
2014	トーマス・グラフ	統語論と意味論における局所的制約と導出遷移的制約	カリフォルニア大学ロサンゼルス校
2013	ウェズリー・H・ホリデイ	後続するものを知る：認識論的閉包と認識論的論理	スタンフォード大学
2013	エカテリーナ・レベデワ	継続による談話のダイナミクスの表現	ロレーヌ大学
2012	アンドレアス・カプスナー	論理と反証	バルセロナ大学
2012	ダニエル・R・リカタ	ドメイン固有ロジックによる依存型プログラミング	カーネギーメロン大学
2011	ニルス・ブリング	合理的エージェントの能力のモデル化と検証	クラウスタール工科大学
2011	モハン・ガネサリンガム	数学の言語	ケンブリッジ大学
2010	ユーリ・サヴァテエフ	ランベック計算の断片のアルゴリズムの複雑さ	モスクワ国立大学
2009	エマニュエル・シェムラ	前提と尺度含意：形式的および実験的研究	パリ高等師範学校
2009	ルカス・カイザー	自動構造における論理とゲーム	RWTHアーヘン
2008	トーマス・ブラズディル	確率的再帰逐次プログラムの検証	マサリク大学
2008	マルコ・クールマン	依存構造と語彙化文法	ザールランド大学
2007	ガブリエーレ・プッピス	分岐と階層構造のオートマトン	ウーディネ大学
2006	レシェク・コウォジェチク	有限モデルにおける真理定義と高階論理	ワルシャワ大学
2006	チョン・チェ（ケン）・シャン	言語的副作用	ハーバード大学
2005	アッシュ・アスデ	資源管理としての再開	カンタベリー大学
2004	ジョン・T・ヘイル	文法、不確実性、文処理	ミシガン州立大学
2003	ジェイソン・ボルドリッジ	組み合わせ範疇文法における語彙的に指定された導出制御	エディンバラ大学
2002	マリア・アロニ	概念の覆いの下での定量化	アムステルダム大学
2001	ジェラルド・ペン	属性型シグネチャの代数的構造	トロント大学
2000	ジェレ・ジェルブランディ	惑星クリプキにおける双シミュレーション	アムステルダム大学
2000	カリル・シマアン	効率的な曖昧性解消の学習	アムステルダム大学とユトレヒト大学
1999	ピーター・グリュンヴァルト	最小記述長原理と不確実性下における推論	アムステルダム大学
1999	マシュー・ストーン	対話における様相：計画、語用論、計算	ペンシルベニア大学
1998	ニル・フリードマン	動的システムにおける信念のモデリング	スタンフォード大学
1998	リサ・マシューソン	限定詞システムと数量化戦略：サリッシュ語からの証拠	ブリティッシュコロンビア大学

参照

数学の賞一覧

参考文献

^ FoLLI 論理、言語、情報に関する出版物。
^ベス博士論文賞（FoLLI）の全リスト

外部リンク

論理・言語・情報協会— FoLLI 公式ホームページ

[pub-1] FoLLI 論理、言語、情報に関する出版物。

[winners-2] ベス博士論文賞（FoLLI）の全リスト

[

[ 2 ]