Second Workshop on Mathematical Logic and its Application（金沢，日本学術振興会研究拠点形成事業「数理論理学とその応用の国際拠点形成」 の一環） (共同オーガナイザーおよびプログラム委員)