Logic-ml October 2024

8 participants
10 discussions

第51回量子情報技術研究会(QIT51)のご案内
by NISHIMURA Harumichi 05 Nov '24

05 Nov '24

logic-mlの皆様名古屋大学の西村と申します．第51回量子情報技術研究会（QIT51）の会告案内を代理投稿させていただきます．どうぞよろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 ---以下会告案内--- 第51回量子情報技術研究会（QIT51）開催のお知らせ研究会の内容：　情報科学と量子力学を融合させた新しい分野、量子情報科学に関する研究会です。情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して、情報科学、物理学、光エレクトロニクスを含む理学、工学、数理科学に携わる研究者間に自由な討論の場を提供し、この研究分野の発展を図ることを目的としています。　第51回研究会を下記のように開催いたします。現在この分野で活躍する研究者は勿論、自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など、広く関連する分野の研究者・技術者からの発表を募集致します。聴講のみの参加も歓迎致しますので、奮ってお申し込みください。　なお、第38回研究会から学生発表賞を創設いたしました。応募方法等については、下記のQITウェブサイトをご確認下さい。日時：2024年11月26日(火)〜2024年11月28日(木) 　　※現地開催のみ。オンライン配信なし会場：サンポートホール高松　第１小ホール (〒760-0019 高松市サンポート2-1 高松シンボルタワー　ホール棟) 発表募集分野 (申し込み状況によって査読の可能性あり)：　量子情報技術に関わる理論的研究、実験的研究、計算機科学的研究、数学的研究、　量子計算、量子計算素子、量子情報、量子誤り訂正、量子エンタングルメント、　量子光学、量子物性、相対論的量子情報理論、量子基礎など、その他関連分野定員：200名参加費：一般4,000円、学生3,000円懇親会費：4,000円　※11月8日（金）より後に参加登録された場合、参加費は上記に+1,000円増額されます。　※さらに以上とは別に、学生限定・当日受付・予稿集なし・聴講のみの参加費1,000円という選択肢もあります。これは事前手続き不要です。研究会参加申込要領：　参加申込は下記 Web にて受付けます：　https://www.ieice.org/es/qit/qit51/ 　講演 (口頭，ポスター) の申込、予稿集原稿PDFの提出は、電子情報通信学会のWebシステムを使用。各種締切：　口頭講演申込　　　：2024年10月11日（金）　ポスター発表申込　：2024年10月25日（金）　PDF原稿提出　　　：2024年10月25日（金）　早期参加事前登録　：2024年11月8日（金）　（これ以降は参加費が1000円上がります）【問合せ先】小野貴史　(香川大学創造工学部) 小林弘和　 (高知工科大学システム工学群) 宮川勇人　 (香川大学創造工学部) 廖望　　　(高知工科大学システム工学群) qit51.committee(a)gmail.com 主催：電子情報通信学会量子情報技術特別研究専門委員会（委員長村尾美緒（東京大学））共催：応用物理学会量子エレクトロニクス研究会

1 1

第8回ステアラボソフトウェア技術セミナー「量子確率的プログラミング: 量子物理学を介さない量子プログラミング」のご案内
by 安部達也 31 Oct '24

31 Oct '24

皆様、千葉工大の安部達也です。産総研の井上純さんに量子確率的プログラミングにおける最新の結果についてお話しいただけることになりました。本セミナーに先んじて京都で開催される APLAS'24でも井上さんは講演しますが、都合がつかずAPLAS'24に参加できないという方や日本語で長く聴きたいという方もいらっしゃると思いますので、ぜひ本セミナーをご利用ください。日時：2024年11月1日（金）15:00〜16:00 場所：オンライン参加費：無料参加方法：https://stair-st.connpass.com/ 講師：井上純様演題：量子確率的プログラミング: 量子物理学を介さない量子プログラミング概要：現在、量子プログラミング言語はほぼ全てが量子ビットを基礎単位とする量子データを操作する体系になっているが、そうしたデータの振る舞いの記述は普通プログラマが習う機会の無い高度な線形代数に依拠している上、振る舞い自体も直観に反する部分が多々あり、それらを理解するには量子物理学の造詣が要求されるため、非常に敷居が高い。量子確率的プログラミングでは、量子的振る舞いの源を「負の確率で返す結果がある乱数生成器」で特徴づけられる量子非決定性の計算効果に求めることで、量子データの概念を不要とした。こうする事で、量子プログラミングの中心的な概念や制約を、物理学的観念に言及すること無く、計算的直観に訴える「負の確率」一本槍で説明することができる。この講演では、量子確率的プログラミングの基本的な考え方と、量子並列性やユニタリ性といった諸概念が確率過程に関して誰でも持っている直観と「負の確率」という唯一の非古典的異物からごく初等的な数学のみで導ける事を説明し、測定もこの枠組みで十全に説明できることを紹介する。問合せ先：安部達也 <abe.tatsuya(a)it-chiba.ac.jp>

1 1

受付開始】第151回プログラミング研究発表会：プログラム公開と参加申し込み受付開始のおしらせ
by Sosuke MORIGUCHI 30 Oct '24

30 Oct '24

※重複してお受け取りの場合はご容赦ください．皆様第151回プログラミング研究発表会担当、東京科学大学（旧称東京工業大学）の森口です。第151回プログラミング研究発表会を、 11/12～11/13に東京科学大学大岡山キャンパスとオンラインのハイブリッド開催します。参加費は無料となっております。多くの皆様のご参加をお待ちしています。 ======= 情報処理学会第151回プログラミング研究発表会（PRO2024-3）参加募集 https://sigpro.ipsj.or.jp/pro2024-3/ 日程：2024年11月12日(火) ～ 11月13日(水) 会場：東京科学大学大岡山キャンパス西8号館E棟 10階 1004号室　　　およびオンラインのハイブリッド開催　　　〒152-8550 東京都目黒区大岡山2-12-1 参加費：無料プログラム：https://sigpro.ipsj.or.jp/pro2024-3/program/ ＊初日（11月12日）の発表会終了後、現地での懇親会を予定しております。下記の参加申込ページより11/6（水）中にお申し込みください。 https://sigpro.ipsj.or.jp/pro2024-3/party/ ＊参加方法：参加申込を頂いた方にZoomのミーティングへのアクセス方法等をご案内いたします。参加申込は下記のページからお願いします。発表会当日も受け付けております。 https://www.ipsj.or.jp/kenkyukai/event/pro151.html ======= 11月12日(火) ＊セッション1（14:00-15:45）：座長　未定 2024-3-(1)：14:00-14:45 「Functional Reactive Animation with Functions of Time」 ○Katsuhiro Ueno, Haru Karato (Niigata University) 2024-3-(2)：14:45-15:15（短い発表）「重なりのある正則項書き換えシステムの合流性条件」 ○伊井亮祐, 青戸等人 (新潟大学大学院自然科学研究科) 2024-3-(3)：15:15-15:45（短い発表）「等式論理の帰納的定理証明のための無限の導出木を持つ証明体系EqID$^¥omega$の提案に向けて」 ○嶋貫凌, 青戸等人 (新潟大学大学院自然科学研究科) ＊2023年度CS領域功績賞・2024年度CS領域奨励賞授与式および拡大運営委員会（15:45-16:15）＊懇親会 18:00-20:00（予定） 11月13日(水) ＊セッション2（9:30-11:00）：座長　未定 2024-3-(4)：9:30-10:15 「プログラミング言語処理系を実装するためのRust上の環境」 ○中神悠太 (筑波大学理工情報生命学術院システム情報工学研究群), 中井央 (筑波大学図書館情報メディア系), 三宮秀次 (筑波大学システム情報系) 2024-3-(5)：10:15-11:00 「否定標準回路を用いた問題の計算複雑性の解析」 ○小林弘二 (個人)

1 0

東北大ロジックセミナーのご案内
by 竹田侑人 25 Oct '24

25 Oct '24

皆様，東北大学の竹田です．以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：11月1日(金)14:30〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：鈴木悠大 (小山高専) 題目 On some restricted variants of the leftmost path principle 概要 In the studies of reverse mathematics and problem reductions, principles stating the existence of a path through a given tree play a central role. For example, WKL, KL, C_{ω^ω} and LPP are widely studied in those contexts. Here, WKL is the assertion that any infinite binary tree has a path, KL is the assertion that any finitely branching infinite tree has a path, C_{ω^ω} is the principle to find a path from an ill-founded tree, and LPP is the assertion that any ill-founded tree has a leftmost path. Recently, Towsner[Tow] introduced a new principle called the relative leftmost path principle stating the existence of a pseudo leftmost path. It is known that the proof-theoretic strength of relative LPP is strictly between ATR_0 and Pi^1_1-CA_0, and relative LPP is useful to study the complexity of some theorems which are stronger than ATR_0[FDSTY]. In this talk, I will present my contribution[SuY, Suz] to the studies of relative LPP, and consider LPP and relative LPP restricted to WKL or KL. A part of this talk is joint work with Keita Yokoyama. [Tow] Henry Towsner. Partial impredicativity in reverse mathematics. J. Symb. Log., 78(2):459–488, 2013 [FDSTY] David Fern´andez-Duque, Paul Shafer, Henry Towsner, and Keita Yokoyama. Metric fixed point theory and partial impredicativity. Philosophical Transactions of the Royal Society A, 381(2248):20220012, 2023. [SuY] Yudai Suzuki and Keita Yokoyama. Ann. Pure Appl. Logic 175, No. 10, Article ID 103488, 31 p. (2024; Zbl 07894021) [Suz] Yudai Suzuki Relative leftmost path principles and omega-model reflections of transfinite inductions’, Preprint, arXiv:2407.13504 [math.LO] (2024) オンライン参加を希望される方は竹田(yuto.takeda.t8(a)dc.tohoku.ac.xn--jp)-u63baam6azav5czbevh0gij9rvoja5sb4j6736j2rvgn34dhb1b. どうぞよろしくお願いいたします．竹田侑人 yuto.takeda.t8(a)dc.tohoku.ac.jp

1 0

日本数学会2025年度年会（講演申込の受付開始）
by Takahiro Seki 25 Oct '24

25 Oct '24

みなさま（重複して受け取られた方は申しわけございません。）　日本数学会の数学基礎論および歴史分科会で連絡責任評議員を務めております新潟大学の関です。　日本数学会2025年度年会は以下のとおり開催されます。本日から一般講演の申込受付を開始しました。　日本数学会2025年度年会　　https://www.mathsoc.jp/activity/meeting/waseda25mar/index.html 　日程：3月18日（火）～21日（金）　　　（数学基礎論および歴史分科会は 18日（火）、19日（水）の予定）　会場：早稲田大学早稲田キャンパス　講演申込期間：10月25日（金）～11月15日（金）　みなさまのご参加とご講演をお待ちしております。　よろしくお願いいたします。 --- 関　隆宏新潟大学経営戦略本部評価センター

1 0

証明論シンポジウム2024 (12/16〜18)
by Takayuki Kihara 20 Oct '24

20 Oct '24

皆様お世話になっております．名古屋大学の木原貴行です．以下の要領で証明論シンポジウム2024を開催いたしますのでご案内をいたします． +++++ 日時: 2024/12/16 (月) 〜 2024/12/18 (水) 場所: 名古屋大学東山キャンパス野依記念物質科学研究館 https://sites.google.com/view/proof-theory-2024/home +++++ 以上どうぞよろしくお願いいたします．木原 -------- 木原貴行名古屋大学大学院情報学研究科数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 0

2024年度ジェネラルトポロジーシンポジウムについて
by FUJITA Hiroshi 08 Oct '24

08 Oct '24

Logic-MLのみなさま、愛媛大学の藤田です。 2024年度ジェネラルトポロジーシンポジウムを、下記の要領で愛媛大学にて開催します。今回はNankai UniversityのSu Gao先生が来日され、同シンポジウムで "The descriptive set theory of Polish group actions" というタイトルで2回の講演をされます。ご興味のある方は、ぜひご参加ください。日時：2024年 11月27日(水) 9:20 〜 28日(木) 16:00 会場：愛媛大学理学部（城北キャンパス）講義棟3階 S31講義室 URL: https://sites.google.com/view/gts2024 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp>

1 0

名古屋ロジックセミナー (10/11) 上村太一さん
by Takayuki Kihara 08 Oct '24

08 Oct '24

皆様名古屋大学の木原貴行です．以下の要領で名古屋ロジックセミナーを開催いたしますのでご案内いたします． +++++ 日時：10/11 (金) 15:30-17:00 場所：名古屋大学情報学研究科棟 322室講演者：上村太一 (名古屋大学) タイトル: Towards synthetic topos theory 概要: トポス理論を総合的(synthetic)に展開するアイディアについて議論する。トポスは空間概念として導入され、ロジックや型理論とも深い関連がある。各トポスはgeometric theoryの分類トポスである他、トポス上の層の圏は依存型理論を内部論理として持つ。通常の教科書ではトポスとは何かを公理化する分析的(analytic)なアプローチが採られるが、総合的なアプローチではトポスを原始的な概念とし、トポスを使って何ができるかを公理化する。各トポスの内部論理とも統合し、すべてのトポスの内部論理を内包する一つのシステムの構築を目指す。 +++++ 以上どうぞよろしくお願いいたします．木原 -------- 木原貴行名古屋大学大学院情報学研究科数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 0

助教公募（筑波大学システム情報系，量子情報科学分野）
by Yasuhiro Takahashi 04 Oct '24

04 Oct '24

Logic-ml の皆さま，筑波大学の高橋康博と申します．筑波大学システム情報系におきまして量子情報科学分野の助教の公募を開始致しました．詳細は下記をご覧ください． https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D124100084 関係者にご周知頂くと共に，適任者をご存じの場合には応募をお勧め頂けますと幸いです．何卒よろしくお願い致します． -- 高橋康博 (Yasuhiro Takahashi) 筑波大学システム情報系 ya.takahashi(a)cs.tsukuba.ac.jp

1 0

CADE-30: Call for Papers
by Nao Hirokawa 04 Oct '24

04 Oct '24

皆様来年7月末にドイツのシュトゥットガルトで開催されます、自動演繹に関する国際会議 CADE-29 の論文募集案内をお送り致します。ぜひ論文の投稿をご検討下さい。廣川 (JAIST) ********************************************************************** CALL FOR PAPERS CADE-30: 30th international Conference on Automated Deduction DHBW Stuttgart Stuttgart, Germany, July 28th - August 2nd, 2025 https://www.dhbw-stuttgart.de/cade-30/ ********************************************************************** CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond computer science and mathematics, and implementations of automated reasoning systems are solicited. CADE-30 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. CADE-30 proceedings will be published in Springer's Lecture Notes in Artificial Intelligence series in Gold Open Access mode at a CADE special rate of EUR 200 per paper. Authors of accepted papers who cannot cover the fee can apply for funding. SUBMISSION INSTRUCTIONS Submissions can be made in two categories: * Regular papers. Up to 15 pages in LNCS style, excluding references. Proofs of theoretical results that do not fit in the page limit may be provided in an appendix. * Short papers. This includes system descriptions, user experiences, case studies and domain models. Up to 10 pages in LNCS style, excluding references. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, significance, originality, correctness, and readability. Reviewers may consider material provided in appendices, but submissions must be self-contained within the page limit. If software or data is relevant to a paper, a link that provides access to the software/data must be provided to enable reproduction of results. The review process will include a feedback/rebuttal period, where authors will have the option to respond to reviewer comments. The Program Committee Chairs may solicit further reviews after the rebuttal period. Selected accepted papers will be considered by the Program Committee for the CADE Best Paper Award or Best Student Paper Award (provided that at least one author is a student). Papers must be submitted to https://easychair.org/conferences/?conf=cade30 in the Main Conference track. All submissions must be formatted in the LNCS style and must include the ORCID id of at least the corresponding author, and preferably of all authors. IMPORTANT DATES Abstract deadline: February 17, 2025 Submission deadline: February 24, 2025 Rebuttal period: April 14-18, 2025 Notification: April 28, 2025 Final version deadline: May 30, 2025 Main conference: July 28-31, 2025 Satellite events: August 1-2, 2025 PROGRAM COMMITTEE CHAIRS Clark Barrett, Stanford University Uwe Waldmann, Max Planck Institute for Informatics PROGRAM COMMITTEE Erika Ábráham, RWTH Aachen Haniel Barbosa, Universidade Federal de Minas Gerais Clark Barrett, Stanford University Jasmin Blanchette, Ludwig-Maximilians-Universität München Maria Paola Bonacina, Università degli Studi di Verona Liron Cohen, Ben-Gurion University Stéphane Demri, LMF, CNRS & ENS Paris-Saclay Huimin Dong, TU Wien Katalin Fazekas, TU Wien Mathias Fleury, University of Freiburg Pascal Fontaine, Université de Liège Carsten Fuhs, Birkbeck, University of London Silvio Ghilardi, Università degli Studi di Milano Alessandro Gianola, INESC-ID and Universidade de Lisboa Iris van der Giessen, University of Birmingham Alberto Griggio, Fondazione Bruno Kessler Nao Hirokawa, JAIST Mikolas Janota, Czech Technical University in Prague Moa Johansson, Chalmers University of Technology Martin Jonáš, Masaryk University, Czechia Cezary Kaliszyk, University of Innsbruck Konstantin Korovin, The University of Manchester Katherine Kosaian, Iowa State University Laura Kovács, TU Wien Peter Lammich, University of Twente Kuldeep S. Meel, University of Toronto Stephan Merz, Inria Nancy Cláudia Nalon, University of Brasília Jakob Nordström, University of Copenhagen and Lund University Nicola Olivetti, LSIS, Aix-Marseille University Elaine Pimentel, University College London André Platzer, Karlsruhe Institute of Technology Florian Rabe, FAU Erlangen-Nürnberg Andrew Reynolds, University of Iowa Philipp Rümmer, University of Regensburg Tanja Schindler, University of Basel Renate A. Schmidt, The University of Manchester Carsten Schuermann, IT University of Copenhagen Mihaela Sighireanu, ENS Paris-Saclay Alexandra Silva, University College London Viorica Sofronie-Stokkermans, University of Koblenz Martin Suda, Czech Technical University in Prague Yong Kiam Tan, Institute for Infocomm Research and NTU Singapore Guilherme Toledo, State University of Campinas Sophie Tourret, INRIA Nancy Ali Kemal Uncu, University of Bath Uwe Waldmann, MPI for Informatics Christoph Weidenbach, MPI for Informatics Bohua Zhan, Huawei Technologies Co., Ltd. Yoni Zohar, Bar-Ilan University CONFERENCE CHAIR Stephan Schulz, DHBW Stuttgart WORKSHOP CHAIR Sophie Tourret, INRIA Nancy PUBLICITY CHAIR Geoff Sutcliffe, University of Miami CONTACTS All questions about CADE-30 paper submissions should be emailed to the Chairs (cade30 AT easychair.org).

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml October 2024