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

ウィーン・サマー・オブ・ロジックは、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)
クルト・ゲーデルフェローシップコンペティション

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

参考文献

^ 「コンピュータ、ソフトウェアエンジニアリングにとって重要な基礎ロジック研究」。Scientific Computing 2014年6月3日。 2014年6月13日閲覧。
^ Felser, Rudolf (2013 年 12 月 10 日). 「Vienna Summer of Logic 2014」. Computerwoche . 2013 年12 月 30 日閲覧。
^ 「Vienna Summer of Logic」。2016年3月8日閲覧。
^ 「Vienna Summer of Logic organization」。 2014年6月12日閲覧。
^ 「Vienna Summer of Logic」。 2014年6月12日閲覧。

外部リンク

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

[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日閲覧。