Logic-ml June 2019

6 participants
9 discussions

セミナー案内
by KASHIMA Ryo 06 Sep '19

06 Sep '19

数理論理学セミナーのお知らせ東工大大岡山キャンパスで定期的に開催しているセミナー（普段はlogic-mlには流していません）の特別版を　　９月８日（金）と１５日（金）に開催します。以下に「話者（所属）題目」の一覧を載せました。どなたでも参加できますが、普段のセミナー案内を受け取っていない方の場合はご一報ください。 ----- 鹿島亮東京工業大学情報理工学院数理・計算科学系 kashima(a)is.titech.ac.jp ＝＝＝＝＝＝＝＝【８日（金）】西牟田祐樹（慶應大）一般化乗法的論理結合子のシーケント化定理とdecomposabilityについて藤原誠（早大）Bar induction and restricted classical logic 武原直紀（東工大）直観主義二階命題論理と論理式完備ハイティング代数について松田直祐（神奈川大）Curry's last problemへの弱い解答中村誠希（東工大）関係Kleene代数におけるatomic negationについて（仮題）新屋良磨（東大）論文紹介 Cyclic Arithmetic Is Equivalent to Peano Arithmetic 【１５日（金）】池上貴大（東工大）様相命題論理におけるツリーシークエント計算（仮題）河野友亮（東工大）Quantum logic の implication algebra と restricted negation について（仮題）鹿島亮（東工大）２階の関数記号を持つ１階述語論理について山﨑紗紀子（首都大）ゲーデル・マッキンゼイ・タルスキの定理の証明論的証明ー後件複数な直観主義論理のG3-style sequent calculus を用いてー大森仁（京大）Jaskowskiのdiscussive logicの周辺金沢誠（国立情報学研）Context-Free Languages with Finite Context and Kernel Properties 高橋正子 Grzegorczyk階層について＝＝＝＝以上＝＝＝＝

1 8

代数・論理・幾何と情報科学（ALGI）8月31日～9月1日（福岡）講演募集
by Akitoshi Kawamura 17 Aug '19

17 Aug '19

皆様（重複してお受取りの際はご容赦ください。）九大の河村と申します。標記の研究集会についてお知らせ致します。 ************************************************** 第三十回 ALGI（代数・論理・幾何と情報科学研究集会）令和元年8月31日（土）～9月1日（日）九州大学伊都キャンパス（福岡県福岡市西区）開催のお知らせと講演の募集 https://sites.google.com/site/algimeeting/ ************************************************** ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。今年は、九州大学マス・フォア・インダストリ研究所（IMI）の共同利用研究集会として開催します。第30回記念の特別企画として、 ALGI各分野の応用的側面の話題について招待講演を予定しております。奮ってご参加ください。 ●招待講演勝股審也（国立情報学研究所）竹内泉（産業技術総合研究所）長谷川勇（スクウェア・エニックス）前原貴憲（理化学研究所） ●日程令和元年（2019年）8月31日（土）～9月1日（日） ●会場九州大学　伊都キャンパス IMIコンファレンスルーム（ウエスト一号館D棟4階W1-D-414） http://www.imi.kyushu-u.ac.jp/pages/joint_research_auditorium.html 講演を希望される方は、・題目・講演者名・所属・希望時間（基本は質疑応答含め30分です）・講演に必要な道具・梗概（後日でも構いません）・講演資料を後日ご提供いただけるかどうか※［はい／いいえ］などの情報を、幹事の西澤 nishizawa(a)kanagawa-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。 ※研究所共同利用の報告書に記載するため、もし差支えなければ、　講演内容について一件3～15ページ程度の資料（スライドのコピー等でも　結構です）を御提供いただけると幸いです。　「はい」を選択いただいた方には開催終了後に改めてお伺いさせて頂きます。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。参加自体は申込不要で自由にご参加いただけますが、初日の夕方に予定している懇親会については、事前に詳細を告知し参加申込を受け付ける予定です。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。幹事・世話人河村彰星（九州大学）津曲紀宏（崇城大学）西澤弘毅（神奈川大学）溝口佳寛（九州大学）

1 2

モデル理論夏の学校・研究集会のお知らせ
by kota takeuchi 29 Jun '19

29 Jun '19

皆様２０１９年度のモデル理論夏の学校研究集会のお知らせです。本研究集会は，例年夏に開催されるモデル理論に関する研究集会です。モデル理論に興味のある方はだれでも参加していただけます。申し込み締め切り：８月２日（金）セミナーハウスに宿泊する場合は部屋数に限りがありますのでお早めにお申し込みください。また限られた予算内ですが旅費の援助も検討しています。希望される方はご相談ください。研究集会HP：https://sites.google.com/view/model-theory-summer-school-201/home 期間：２０１９年９月２日（月）午後～９月４日（水）午前場所：東海大学山中湖セミナーハウス山梨県南都留郡山中湖村山中３２３－１〒４０１－０５０１ＴＥＬ０５５５－６２－４１００世話役：竹内耕太、坪井明人筑波大学 kota(a)math.tsukuba.ac.jp, tsuboi(a)math.tsukuba.ac.jp 竹内耕太

1 0

（詳報）第18回関西集合論セミナ：2019年7月5日大阪府立大学
by Masaru KADA 21 Jun '19

21 Jun '19

みなさま：大阪府立大学嘉田勝です。過日ご案内しました小集会「第18回関西集合論セミナ」の詳報です。お問い合わせは嘉田まで。（講演のお申し込みは締め切りました）なお、関西集合論セミナの後、16:30 より、同じ講義室にて、 Paul Larson 氏による談話会講演を計画しています。（講演題目未定） ======== 第18回関西集合論セミナ 2019年7月5日（金） 13:00–-15:50 大阪府立大学中百舌鳥キャンパス A14棟333講義室プログラム（進行により多少前後します） 13:00--13:50 Paul Larson (Miami University, Ohio USA) Balanced Forcing Extensions 14:00--14:30 静間荘司（大阪府立大学） title to be announced 14:40--15:10 依岡輝幸（静岡大学） title to be announced 15:20--15:50 渕野昌（神戸大学） title to be announced ---- Paul Larson 氏講演概要 Title: Balanced Forcing Extensions Abstract: We will introduce the notions of virtual conditions and balanced conditions in definable partial orders, and apply these ideas to forcing extensions of the Solovay model. We will present a variety of independence results, and some ZF implications, for weak forms of the Axiom of Choice, and discuss related issues concerning the preservation of cardinals and chromatic numbers. Some of these results can be stated more generally using a natural classification of definable partial orders in terms of amalgamation properties. ======== -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

第18回関西集合論セミナ：2019年7月5日（金）大阪府立中百舌鳥キャンパス
by Masaru KADA 18 Jun '19

18 Jun '19

みなさま：大阪府立大学嘉田勝です。下記のとおり集合論研究者向けの小集会を開催します。ご参加、ご講演のお申し込みはお気軽に嘉田まで。 ======== 第18回関西集合論セミナ 2019年7月5日（金） 13:00–16:00（予定）大阪府立大学中百舌鳥キャンパス（講義室未定）講演者（6月18日現在）（順不同） Paul Larson (Miami University, Ohio USA) 静間荘司（大阪府立大学）依岡輝幸（静岡大学）お問い合わせ：嘉田勝 kada(a)mi.s.osakafu-u.ac.jp ======== -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

日本数学会2019年度秋季総合分科会の講演申し込みが開始されました
by Teruyuki YORIOKA 18 Jun '19

18 Jun '19

みなさま静岡大学の依岡です．日本数学会2019年度秋季総合分科会の講演申し込みが開始されました．多くのみなさまに講演をしていただきたいと思います．講演をご希望の方はなるべく早くに申し込みをしてください．講演締め切りは6月21日（金）までです． http://mathsoc.jp/meeting/kanazawa19sept/ なお，金沢駅周辺の宿泊事情により，参加ご予定の方はなるべく早めに宿泊予約をしていただくことが会場校より推奨されています．講演申し込みに併せて，早めの宿泊施設の予約もお願いします．

1 1

連続講演「計算量への数理論理学的アプローチ」
by Yoriyuki Yamagata 08 Jun '19

08 Jun '19

みなさま、下記のような連続講演を行います。表題：計算量への数理論理学的アプローチ日時：2019年7月5日20:00-21:00(初回）それ以降の開催日は参加者と相談して決定場所：大阪分散技術コミュニティ（大阪府大阪市福島区海老江２丁目８−２９ 2F）参加登録：https://connpass.com/event/134707/ 概要：計算量に関わる問題、とくにP≠NP問題を数理論理学的にアプローチする試みについて紹介します。最初に計算量理論を簡単に紹介したのち、Bussによる「限定算術」の階層がそれとどのように関わるかを説明します。さらに、限定算術の階層を等式系の無矛盾性証明を用いて分離する試みについて、講演者の次の二つの論文を紹介することにより報告します。 - CONSISTENCY PROOF OF A FRAGMENT OF PV WITH SUBSTITUTION IN BOUNDED ARITHMETIC, Journal of Symbolic Logic 2018 - Separation of bounded arithmetic using a consistency statement, Preprint 予備知識は特に要求しません。参加は事前登録制です。なお、民間の会議室を借りて行うため、入場料1000円が必要です。また、Skypeによる遠隔参加も可能ですので、興味をお持ちの方はSkype idをメールで送付いただければと思います。本メールは興味のありそうな方に自由に転送していただいて結構です。よろしくご参集ください。 -- Yoriyuki Yamagata (Senior Researcher) National Institute of Advanced Industrial Science and Technology

1 0

[CFP] The Coq Workhsop 2019 (締切延長)
by Jacques Garrigue 05 Jun '19

05 Jun '19

logic-mlの皆様、名古屋大学のガリグです。 Coq Workshop 2019の投稿締切を2019-06-10(月)まで延長しましたのでお知らせします。ぜひ投稿をご検討ください。投稿〆切：2019-06-10 (2ページの概要) よろしくお願いいたします。 -- ********************************************************************* The Coq Workshop 2019: Call for Talk Proposals Colocated with the 10th International Conference on Interactive Theorem Proving (ITP 2019), Portland, OR, USA ********************************************************************** We are pleased to invite you to submit talk proposals for the Coq workshop 2019, which will be held on September 8 2019, in Portland, OR, USA. The Coq workshop is part of ITP 2019 (https://itp19.cecs.pdx.edu/). The Coq workshop 2019 is the 10th Coq Workshop. The Coq Workshop series (https://coq.inria.fr/coq-workshop/) brings together Coq (https://coq.inria.fr/) users, developers, and contributors. While conferences usually provide a venue for traditional research papers, the Coq Workshop focuses on strengthening the Coq community and providing a forum for discussing practical issues, including the future of the Coq software and its associated ecosystem of libraries and tools. Thus, the workshop will be organized around informal presentations and discussions, supplemented with invited talks. We invite all members of the Coq community to propose informal talks, discussion sessions, or any potential uses of the day allocated to the workshop. Important dates: - June 10 2019: Deadline for abstract submission (Extended) - July 2 2019: Notification to authors - September 8 2019: Workshop Submission Instructions: Authors should submit short proposals through EasyChair (https://easychair.org/conferences/?conf=coq2019) in the form of a PDF extended abstract of less than 2 pages, in full-page single-column style. Relevant subject matter includes but is not limited to: - Theory and implementation of the Calculus of Inductive Constructions - Language or tactic features - Plugins and libraries for Coq - Techniques for formalization programming languages and mathematics - Applications and experience in education and industry - Tools and platforms built on Coq (including interfaces) - Formalization tricks and pearls Program Committee: - Reynald Affeldt (AIST) - Christian Doczkal (CNRS - LIP, ENS Lyon) - Jacques Garrigue (Nagoya University) - Chantal Keller (LRI, Univ. Paris-Sud) - Dominique Larchey-Wendling (CNRS, Loria) - Gregory Malecha (BedRock Systems Inc.) - Pierre-Marie Pédrot (INRIA) - Ilya Sergey (Yale-NUS College and NUS School of Computing) - John Wiegley (DFINITY) Organization contact (co-chairs): reynald.affeldt AT aist.go.jp, garrigue AT math.nagoya-u.ac.jp For more information: https://staff.aist.go.jp/reynald.affeldt/coq2019/

1 0

2019年度数学基礎論サマースクールのご案内
by Teruyuki YORIOKA 03 Jun '19

03 Jun '19

みなさま静岡大学の依岡です． 2019年度数学基礎論サマースクールのウェブサイトを公開しました． https://www.sci.shizuoka.ac.jp/~math/yorioka/ss2019/ サマースクールに参加ご希望の方は以下の情報を8月2日(金)までに email で，件名を「SS2019」として依岡（ yorioka(a)shizuoka.ac.jp ）までお送りください．氏名：所属：身分： email アドレス：懇親会：参加・不参加みなさまぜひ9月の第1週目は静岡にお越しください．みなさまのご参加をお待ちしております．

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml June 2019