Logic-ml April 2019

logic-ml@fos.kuis.kyoto-u.ac.jp

4 participants
4 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

【参加募集】Bx 2019（6/4，フィラデルフィア）【Early Registeration〆5/4】
by Kazutaka Matsuda 25 Apr '19

25 Apr '19

皆様，東北大学の松田です．来たる6/4にアメリカのフィラデルフィアで開催される双方向変換に関する国際ワークショップBx 2019の参加募集をお送りいたします． Bx 2019 Call for Participation ============================== Highlights ---------- * Invited speaker: Zack Ives on Views, Update Propagation, and Provenance * Registration information (early deadline: May 4) * List of accepted papers and talks General Information ------------------- * 8th International Workshop on Bidirectional Transformations * http://bx-community.wikidot.com/bx2019:home * June 4, 2019, Saint Joseph’s University, Philadelphia, PA, USA * as part of the Philadelphia Logic Week (PLW) 2019: https://sites.sju.edu/plw/ Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2019 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. Bx 2019 will be a part of Philadelphia Logic Week (PLW) 2019, which also includes conference and workshops on logic, provenance, and databases, topics that we hope will complement Bx and help build engagement with these communities. Registration ------------ * https://sites.sju.edu/plw/plw-2019-registration/ * Early registration deadline: May 4 * Passes available for attending multiple co-located events, including LPNMR (Logic Programming and Nonmonotonic Reasoning) and workshops, Datalog 2.0 (Resurgence of Datalog in Academia and Industry), and TaPP (Theory and Practice of Provenance) * Opportunities for students to receive financial support from the LPNMR Doctoral Consortium Invited Talk ------------ * Views, Update Propagation, and Provenance Zachary Ives (University of Pennsylvania) http://www.cis.upenn.edu/~zives/ Accepted Papers and Talks ------------------------- The abstracts can be found at http://bx-community.wikidot.com/bx2019:accepted . * ASN.1 Encoding Schemes Done Right Using CMPCT Mark Tullsen (Galois, Inc.) * Lenses and Learners Brendan Fong (Massachusetts Institute of Technology) and Michael Johnson (Macquarie University) * Multicategories of Multiary Lenses Michael Johnson (Macquarie University) and Robert Rosebrugh (Mount Allison University) * Incremental Bidirectional Model Transformation with eMoflon::IBeX (Tool Paper) Nils Weidmann (Paderborn University), Anthony Anjorin (Paderborn University), Lars Fritsche (TU Darmstadt), Gergely Varró, Andy Schürr (TU Darmstadt), and Erhan Leblebici (TU Darmstadt) * A Bidirectional Krivine Machine (Short Paper) Mikael Mayer (University of Chicago) and Ravi Chugh (University of Chicago) * Consistent Runtime Adaptation of User Interfaces (Short Paper) Anthony Anjorin (Paderborn University), Enes Yigitbas (Paderborn University), and Hermann Kaindl (Vienna University of Technology) * Symmetric d-Lenses and Symmetric c-Lenses are not Coextensive (Short Paper) Michael Johnson (Macquarie University) and François Renaud (Université Catholique de Louvain) * A Toolbox of Lenses: Dimensions of the Lens Design Space (Talk) Zinovy Diskin (McMaster University) * Expanding the Power of Lens Synthesis (Talk) Anders Miltner (Princeton University), Solomon Maina (University of Pennsylvania), Kathleen Fisher (Tufts University), Benjamin Pierce (University of Pennsylvania), David Walker (Princeton University), and Steve Zdancewic (University of Pennsylvania) * Optics and Type Equivalences (Talk) Jacques Carette (McMaster University) and Amr Sabry (Indiana University Bloomington) * Reified Correspondences: A New Component of the Multiary Delta Lenses Framework (Talk) Zinovy Diskin (McMaster University)

1 0

ERATO 蓮尾メタ数理システムデザインプロジェクトシンポジウム--高信頼自動運転システムのための先進的研究-- のご案内
by Kohei SUENAGA 25 Apr '19

25 Apr '19

（複数受け取られましたらご容赦ください．）皆様，京大の末永です．本 ML をお借りして，5/21に行われるシンポジウムについてご案内させていただきます．NII の蓮尾先生が総括の ERATO MMSD プロジェクトのシンポジウムです．特に自動運転を対象として活発で幅広い研究活動を行っているプロジェクトで，その中間成果報告となります．どうぞご参加をご検討ください．よろしくお願いいたします． =========================================================== ERATO 蓮尾メタ数理システムデザインプロジェクトシンポジウム高信頼自動運転システムのための先進的研究数理的理論から，AI 協働，ソフトウェアプラットフォームへ https://group-mmm.org/eratommsd/ja/vvav-symposium-201905/ 《開催のご案内》 =========================================================== 蓮尾一郎 ERATO MMSD プロジェクト研究総括国立情報学研究所システム設計数理国際研究センターセンター長　ERATO 蓮尾メタ数理システムデザインプロジェクト（ERATO MMSD）は，国立研究開発法人科学技術振興機構（JST）の戦略的創造研究推進事業 ERATO 傘下の研究プロジェクトの一つです．ERATO MMSD では，Society 5.0 の大きな柱となる物理情報システムの品質保証手法の学術的研究を推進しています．特に，物理情報システムの来るべき典型例の一つとして注目を集める自動運転システムを戦略的応用対象に設定し，その信頼性保証を支えるモデリング手法・形式検証手法・テスト手法，さらにこれらを包括する実用的な V&V 技術の研究開発に取り組んでいます．　今回のシンポジウムでは，産業界で研究開発に携わるみなさまを対象として，高信頼自動運転システムに向けた国内外の研究動向，ERATO MMSD で開発している V&V 技術，及び今後の本プロジェクトのビジョンと取り組みをご紹介いたします．　自動運転システムの信頼性という大きな挑戦に取り組む上では，ソフトウェア・制御・AI といった多様な学術分野の協働が欠かせません．ERATO MMSD では，このような学術分野融合の確固とした基礎となる数理的（メタ）理論を重視し，実用的 V&V 技術とともに研究を推進しています．よって今回のシンポジウムでは， o 「今日」すぐに使える技術・ツール， o 「明日」可能になる技術，さらに， o これらの技術の進展が描き出す「明後日」の未来像，この3つを見渡すような，学術プロジェクトならではのビジョンを御覧頂けると確信しております．　また今回のシンポジウムでは，カナダ Waterloo 大学で自動運転車開発プロジェクトAutonomooseを率いる Krzysztof Czarnecki 教授も講演を行います．ソフトウェア工学の立場から，特に信頼性・安全性に重点をおいて自動運転車を開発する Czarnecki 教授は，ERATO MMSD のメンバーでもあります．　本シンポジウムをきっかけとして，今後皆様と情報を共有させていただきながら，当該分野の振興に貢献を行っていく所存です．多くの皆様のご参加をお待ちしております． ----------------------- 開催概要 ------------------------- イベント名 ERATO 蓮尾メタ数理システムデザインプロジェクトシンポジウム：高信頼自動運転システムのための先進的研究数理的理論から，AI 協働，ソフトウェアプラットフォームへ日時（予定） 2019年5月21日（火）13:00〜19:00 （受付開始 12:30）会場（予定） TKP築地新富町カンファレンスセンター（東京都中央区）主催国立研究開発法人科学技術振興機構（JST）ERATO 蓮尾メタ数理システムデザインプロジェクト（ERATO MMSD）国立情報学研究所（NII）システム設計数理国際研究センター参加対象自動車産業および関連産業において，研究・開発・調査等に携わる方々参加方法シンポジウムウェブページの参加登録フォームから事前登録をお願い致します https://group-mmm.org/eratommsd/ja/vvav-symposium-201905/ 参加登録受付は 5/10まで，参加料は無料．受付用にお名刺を二枚ご持参頂けますようお願い申し上げます．定員に達した場合，ご参加いただけない旨のご連絡を差し上げる場合があります．ご了承ください．使用言語 Krzysztof Czarnecki 教授の発表は英語，その他の発表は日本語お問い合わせ先「ERATO MMSD シンポジウム」運営事務局 E-mail: hasuolab-secr(a)nii.ac.jp Tel: 03-6273-4886 受付時間 10:00〜17:30 （土・日・祝日を除く） ---------------------- プログラム（仮）----------------------- 12:30 受付開始 13:00〜13:25 ご来賓挨拶 13:25〜13:55 （仮題）「ERATO MMSDプロジェクト紹介：物理情報システム品質保証のための包括的学術研究」蓮尾一郎国立情報学研究所，ERATO MMSDプロジェクト研究総括 13:55〜14:00 休憩 14:00〜15:00 （仮題）「自動運転システム開発プロジェクト Autonomoose：高信頼自動運転システムへのソフトウェア工学的取り組み」 Krzysztof Czarnecki Waterloo大学，ERATO MMSD グループ２リーダー Autonomoose プロジェクトリーダー 15:00〜15:15 休憩 15:15〜16:00 （仮題）「高信頼自動運転システム実現にむけて：ソフトウェア工学・機械学習の視点からの技術俯瞰」石川冬樹国立情報学研究所，ERATO MMSD グループ３リーダー 16:00〜16:45 （仮題）「高信頼自動運転システム実現にむけて：ソフトウェア科学・形式手法・数理的基盤の視点からの技術俯瞰」蓮尾一郎国立情報学研究所，ERATO MMSD 研究総括 16:45〜17:00 休憩 17:00〜18:00 研究員・大学院生による技術ショウケース 18:00〜19:00 懇談会 ---------------------- その他 ----------------------- 本件連絡先「ERATO MMSD シンポジウム」運営事務局 E-mail: hasuolab-secr(a)nii.ac.jp Tel: 03-6273-4886 受付時間 10:00〜17:30 （土・日・祝日を除く） -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

論理学について議論するSlackグループ
by Yoriyuki Yamagata 18 Apr '19

18 Apr '19

皆様、産総研の山形です。倫理学（数学・計算機科学・哲学・言語学その他、論理に関わる話題全般）を議論するSlackグループを作成しました。下のリンクからどなたでも参加できます。皆様のご参加をお待ちしております。よろしくお願いいたします。 https://join.slack.com/t/logic-ja/shared_invite/enQtNjExNTIyNjEzMDEyLTMyNTU… -- Yoriyuki Yamagata

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml April 2019