ウィーン・サマー・オブ・ロジック

科学イベントのロゴ

ウィーン・サマー・オブ・ロジックは、2014年夏の科学イベントで、数理論理学、コンピュータサイエンスの論理学、人工知能の論理学の分野から12の主要な会議といくつかのワークショップが集まった。^{[ 1 ]}会議は2014年7月9日から24日まで開催され、2000人以上の科学者や研究者が参加した。^{[ 2 ] [ 3 ]}

このイベントはウィーン工科大学のクルト・ゲーデル協会が主催した。^{[ 4 ]}参加する会議は以下の通りである。^{[ 5 ]}

コンピュータサイエンスにおけるロジック ストリーム( Federated Logic Conference (FLoC) を代表):

• コンピュータ支援検証に関する国際会議（CAV）
• IEEEコンピュータセキュリティ基礎シンポジウム(CSF)
• 国際論理プログラミング会議(ICLP)
• 自動推論に関する国際合同会議（IJCAR）
• インタラクティブ定理証明会議（ITP）
• EACSLコンピュータサイエンス論理年次会議(CSL) と ACM/IEEEコンピュータサイエンス論理シンポジウム(LICS)の合同会議
• 書き換え技術と応用に関する国際会議（RTA）は、型付きラムダ計算と応用に関する国際会議（TLCA）と共同で開催されます。
• 満足度テスト（SAT）の理論と応用に関する国際会議
• 70以上のFLoCワークショップ
• FLoCオリンピック（システム競技）
• SAT / SMTサマースクール

数理論理学分野では：

• 論理コロキウム2014 (LC)
• 論理学、代数、真理の学位2014 (LATD)
• 論理における構成的意味に関するワークショップ（GeTFun 2.0）
• インフィニティワークショップ（INFINITY）
• 論理とゲームに関するワークショップ（LG）
• 非古典的証明に関するワークショップ：理論、応用、ツール（NCPROOFS）
• クルト・ゲーデル・フェローシップ・コンペティション

人工知能のロジックストリームでは：

• 知識表現と推論の原理に関する国際会議（KR）
• 記述論理に関する国際ワークショップ(DL)
• 非単調推論に関する国際ワークショップ（NMR）
• 医療における知識表現に関する国際ワークショップ2014 (KR4HC)

参考文献

1. 「コンピュータとソフトウェア工学にとって重要な基礎論理研究」『Scientific Computing』2014年6月3日。 2014年6月13日閲覧。
2. Felser, Rudolf (2013年12月10日). 「Vienna Summer of Logic 2014」 . Computerwoche . 2013年12月30日閲覧。
3. 「Vienna Summer of Logic」 . 2016年3月8日閲覧。
4. 「Vienna Summer of Logic organization」 。 2014年6月12日閲覧。
5. 「Vienna Summer of Logic」 . 2014年6月12日閲覧。

外部リンク

• ウィーン・サマー・オブ・ロジック