Logic-ml April 2024

12 participants
13 discussions

RIMS共同研究（公開型）のご案内
by kota takeuchi 19 Aug '24

19 Aug '24

皆様下記のようにモデル理論の研究集会を行います。ご参加をお待ちしております。 --------------------------------------------------------------------------------- RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」日時：2023年12月4日(月)～2023年12月6日(水) 場所：京都大学数理解析研究所110室+オンライン(ZOOM) 代表者：竹内耕太（筑波大学）副代表：桔梗宏孝（神戸大学） Webページ： https://sites.google.com/gsuite.kobe-u.ac.jp/rimsmodeltheoryworkshop2023/ --------------------------------------------------------------------------------- 参加申し込みは上記webページからお願いします。 ※参加申し込みの情報は京都大学数理解析研究所および次年度世話人に提供されます．以上、よろしくお願いします。筑波大学竹内耕太

2 3

島根大学学術研究院理工学系（知能情報デザイン学）教員公募(2名)【7/30締切】
by Munehiro Iwami 24 Apr '24

24 Apr '24

皆様島根大学の岩見と申します。総合理工学部知能情報デザイン学科では教員2名(常勤任期なし)を募集しています。よろしくお願いします。 (1) https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 1.所　　　　　　属　　　　学術研究院理工学系 2.担　　　　　　当　　　　総合理工学部知能情報デザイン学科，自然科学研究科理工学専攻知能情報デザイン学コース 3.職名及び人員　　　准教授または助教　　1名 4.勤　務　形　態　　　常勤　任期なし 5.専　門　分　野　　　【雇入れ直後】情報学一般　　　【変更の範囲】変更なし 6.担当授業科目【雇入れ直後】大学院自然科学研究科知能情報デザイン学コースにかかわる専門科目および研究科共通科目：専門に応じた科目、セミナー、特別研究など総合理工学部知能情報デザイン学科にかかわる専門教育科目および基礎科目：情報処理演習、プログラミング、基本情報処理技術特論（OSなど）、PBL科目、コンピュータサイエンス研究演習、卒業研究など【変更の範囲】本学が指定する授業科目 8.採用予定時期　令和6年10月1日以降、出来るだけ早い時期 20.応募締切日　令和6年7月30日（必着） (2) https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 1.所　　　　　　属　　　　学術研究院理工学系 2.担　　　　　　当　　　　総合理工学部知能情報デザイン学科，自然科学研究科理工学専攻知能情報デザイン学コース 3.職名及び人員　　　准教授、講師または助教　　1名 4.勤　務　形　態　　　常勤　任期なし 5.専　門　分　野　　　【雇入れ直後】自然言語処理、コンピュータビジョン　　　【変更の範囲】変更なし 6.担当授業科目【雇入れ直後】大学院自然科学研究科知能情報デザイン学コースにかかわる専門科目および研究科共通科目：専門に応じた科目、セミナー、特別研究など総合理工学部知能情報デザイン学科にかかわる専門教育科目および基礎科目：データサイエンスに関する科目、プログラミング、基本情報処理技術特論（OSなど）、PBL科目、コンピュータサイエンス研究演習、卒業研究など【変更の範囲】本学が指定する授業科目 8.採用予定時期　令和6年10月1日以降、出来るだけ早い時期 20.応募締切日　令和6年7月30日（必着） -- 以上、よろしくお願い致します。岩見宗弘島根大学学術研究院理工学系 E-mail: munehiro(a)cis.shimane-u.ac.jp

1 0

助教公募のお知らせ
by SAKAI Hiroshi 23 Apr '24

23 Apr '24

皆様：東京大学の酒井と申します．東京大学数理科学研究科では助教の公募をしております．詳しくは下記の web page をご覧ください． https://www.ms.u-tokyo.ac.jp//visitor/koubo.html ご興味のある方はご応募ください．また，お近くの対象となる方に周知いただけると幸いです．よろしくお願いいたします．酒井拓史

1 0

APLAS 2024 SRC & Posters
by Koko Akazaki Muroya 22 Apr '24

22 Apr '24

[Apologies for multiple postings.] ================================ Call for Submissions APLAS 2024 Student Research Competition (SRC) and Posters 22--25 October, Kyoto, Japan https://conf.researchr.org/track/aplas-2024/src-and-posters%3F ================================ The APLAS 2024 Student Research Competition (SRC) aims to provide opportunities for students to present their ongoing work to the community and receive feedback. The associated poster session also welcomes contributions from the entire community (not restricted to students). ---------------------------------------------------------------- Student Research Competition ---------------------------------------------------------------- The SRC consists of three rounds: extended abstracts, posters, and finalist presentations. Submissions to the SRC should present unpublished work that falls within the scope of APLAS. The work should be conducted by a single student, or be a part of joint work for which the student is solely responsible. An extended abstract should explain the work in an accessible way to an audience with a general background in programming language research. It should also demonstrate that there is sufficient material for a poster, and clearly indicate to which extent the student contributes to the work, especially when the work is a joint effort. A selection committee will review the submitted extended abstracts and provide feedback. After an extended abstract is accepted, the student should prepare a poster for the poster session of the conference. During this session, the student will present their work to interested conference participants, using the poster as a visual aid. Furthermore, posters will be displayed throughout the conference. Based on the extended abstracts and posters, a panel of judges will select several finalists to present their work to all conference participants in a dedicated session of the conference. (If time permits, all the SRC entrants will be invited as finalists.) Each finalist presentation is scheduled for 15 minutes, followed by 5 minutes of questions from the audience. ---------------------------------------------------------------- Non-SRC Posters ---------------------------------------------------------------- Non-SRC poster submissions should fall within the scope of APLAS, and can present either unpublished or published work. They should first be submitted in the form of extended abstracts to be reviewed by the selection committee. For each accepted submission, at least one author should present the work during the poster session. ---------------------------------------------------------------- Submission Information ---------------------------------------------------------------- Extended abstracts (for both SRC and non-SRC submissions) should be formatted using the acmart LaTeX template with the options sigplan and review enabled (so that there are two columns and line numbers), no longer than 3 pages (excluding bibliography), and submitted online via EasyChair https://easychair.org/conferences/?conf=aplas2024srcposters . For an SRC submission, the student should be the sole author. However, on the EasyChair submission form please list the supervisor(s) as author(s) after the student, so that reviewers and judges can identify any conflicts of interest. Posters will be collected electronically and printed on-site by the organisers in A0 size with colour. Authors can choose to bring back their printed posters at the end of the conference. Extended abstracts and posters will be made available on the website indefinitely, unless authors choose to opt out. ---------------------------------------------------------------- Organization ---------------------------------------------------------------- Organizers: Koko Muroya (RIMS, Kyoto University, Japan) Yudai Tanabe (Tokyo Institute of Technology, Japan) Selection Committee: Koko Muroya (RIMS, Kyoto University, Japan) Yudai Tanabe (Tokyo Institute of Technology, Japan) Liang-Ting Chen (Academia Sinica, Taiwan) Hsiang-Shang ‘Josh’ Ko (Institute of Information Science, Academia Sinica, Taiwan) Shankaranarayanan Krishna (IIT Bombay, India) Woosuk Lee (Hanyang University, South Korea) Jihyeok Park (Korea University, South Korea) Xiaokang Qiu (Purdue University, United States) Taro Sekiyama (National Institute of Informatics, Japan) YungYu Zhuang (National Central University, Taiwan) Check https://conf.researchr.org/track/aplas-2024/src-and-posters%3F for updates.

1 0

APLAS 2024: Call for Papers
by Mirai Ikebuchi 19 Apr '24

19 Apr '24

皆様，京都大学の池渕です．10/22-24に京都で開催されるAPLAS 2024のCfPをお送りします．皆様のご投稿をお待ちしております． ===================================================== APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems October 22-24, 2024, Kyoto, Japan https://conf.researchr.org/home/aplas-2024/ <https://conf.researchr.org/home/aplas-2024/> APLAS 2024 aims to bring together programming language researchers, practitioners and implementors *worldwide*, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems. APLAS 2024 is co-located with the 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA). We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: programming paradigms and styles; methods and tools to specify and reason about programs and languages; programming language foundations; methods and tools for implementation; concurrency and distribution; applications, case studies and emerging topics. Submissions should not exceed 17 pages, excluding bibliography, in the Springer LNCS format. The reviewing process is light double-blind, with a rebuttal phase to address factual errors and minor misunderstandings. Proceedings of APLAS 2024 will be published by Springer as part of Lecture Notes in Computer Science (LNCS). https://link.springer.com/conference/aplas <https://link.springer.com/conference/aplas> APLAS 2024 continues the tradition of the best paper award. Submission deadline: Fri May 24 Response period: Jul 24-26 Acceptance notification: Fri Aug 2 Camera-ready: Sat Aug 31 The submission website is now open: https://aplas24.hotcrp.com/ <https://aplas24.hotcrp.com/> General Chair: Jacques Garrigue Publicity Chairs: Ryosuke Sato (Tokyo U.), Mirai Ikebuchi (Kyoto U.) Program Committee: Beniamino Accattoli (Inria & Ecole Polytechnique) Pierre-Evariste Dagand (IRIF / CNRS) Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA) Fritz Henglein (DIKU and Deon Digital) Mirai Ikebuchi (Kyoto University) Patrik Jansson (Chalmers University of Technology and University of Gothenburg) Oleg Kiselyov (Tohoku University, PC Chair) Hsiang-Shang ‘Josh’ Ko (Academia Sinica) Daan Leijen (Microsoft Research) Martin Lester (University of Reading) Fredrik Nordvall Forsberg (University of Strathclyde) Matija Pretnar (University of Ljubljana) Peter Schachte (The University of Melbourne) Sven-Bodo Scholz (Radboud University) Philipp Schuster (University of Tübingen) Taro Sekiyama (NII) Amir Shaikhha (University of Edinburgh) Pavle Subotic (Fantom Foundation) Yong Kiam Tan (Institute for Infocomm Research, A*STAR) Kazunori Ueda (Waseda University) Yuting Wang (Shanghai Jiao Tong University) Ki Yung Ahn (Hannam University)

1 1

【締切延長】第149回プログラミング研究発表会（PRO-2024-1）
by KAMINA Tetsuo 16 Apr '24

16 Apr '24

皆様大分大学の紙名です。第149回プログラミング研究発表会の申込締切を延長しました。　発表申込締切：　2024年4月28日（日）（通常の発表・短い発表の両方とも）引き続き、たくさんの申し込みをお待ちしています。 ==== 第149回プログラミング研究発表会発表募集日程：2024年6月13日（木）～14日（金）会場：オンライン開催参加費：無料案内ページ：https://sigpro.ipsj.or.jp/pro2024-1/ 発表申込ページ：https://forms.gle/P4qpDTd9PojkHZwz7 --- プログラミング研究会（PRO）は， * プログラミング言語の設計，処理系の実装 * プログラミングの理論，基本概念 * プログラミング環境，支援システム * プログラミング方法論，パラダイム * これらを応用したシステムの開発事例 * その他，プログラミングに関する面白い話題を対象とした研究発表の場です．研究会と密接にリンクした論文誌を1998年度から毎年3～4回のペースで発行しており，研究会での発表内容を論文誌に投稿することができます．発表申込時に投稿を希望し投稿締切までに原稿が提出されている論文が査読の対象となります．採否は研究会からおおむね3週間ほどで迅速に決定されます．論文誌への投稿を希望しない発表も歓迎します．1件あたりの発表時間は45分（発表25分，質疑20分）です．通常の発表に加え，「短い発表」も募集します．「短い発表」の発表時間は 30分（発表20分，質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください． https://sigpro.ipsj.or.jp/sigtra4/ 「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」多くの発表ならびに論文投稿をお待ちしております． ■ 発表申込要領以下の手引きに従い，著者，タイトル，概要などの情報を記入した発表申込フォームを作成し，下記の送信Webページからお送りください． (1) 論文投稿を伴う発表申込：https://sigpro.ipsj.or.jp/trans-author/ (2) 発表のみの申込：https://sigpro.ipsj.or.jp/presentation/ (3) 「短い発表」の申込：(2)に加え，フォームの「『短い発表』の希望」欄で「希望する」を選択してください．発表申込送信Webページ： https://forms.gle/P4qpDTd9PojkHZwz7 発表申込締切： 2024年4月28日（日）（通常の発表・短い発表の両方とも）投稿論文原稿締切： 2024年5月07日（火）注意事項 * 発表申込を送信後72時間以内に，担当者から受領確認メール（≠回答のコピー）をお送りします． * 多数の発表申込がある場合には発表をお断りすることがございますので，お早めにお申し込みください． * 研究会の詳細や申込時の諸注意についてはプログラミング研究会のページ https://sigpro.ipsj.or.jp/ をご参照ください．次のいずれかに該当する場合，下記の問合せ先にメールでご連絡下さい． * 送信後72時間以内に担当者から受領確認メール（≠回答のコピー）が来なかった * 発表申込フォームの内容を更新する（連絡事項の追記を含む） * 発表を取り下げる問合せ先：ipsj-pro-2024-1-organizer(a)googlegroups.com 担当者：佐藤重幸（電気通信大学），紙名哲生（大分大学）

1 0

４月１６日火曜日　van Atten 教授の２つのレクチャーと討論　（BrouwerとHusserlの論理）
by Mitsu Okada 14 Apr '24

14 Apr '24

直前ですが、次の数学と論理の哲学分野の会合案内をこのメールリストで流させていただきます。ハイブリッド形式、要事前登録、途中入退室自由です。慶應義塾大学岡田光弘ーーーー BrouwerとHusserlの論理の諸問題に関するMark van Atten 教授の２つのレクチャーと討論Two lectures and discussion by Prof. Mark van Atten on various issues in Brouwer and Husserl's logic Apr 16th, 2024, at Keio University 日時：2024年4月16日（火）日本時間16:30-19:40 (JST) 最新情報は次のページをご覧ください。４月１２日中に開設予定です。See below for the updated information after April 12th. https://abelard.flet.keio.ac.jp/Two_lectures_and_discussion_by_Prof_Mark_va… ------------------------------ ------------------------------ 事前登録 / Pre-registration*事前登録フォームはこちら (要事前登録):https://forms.gle/vKdraEaFakMZTnLw7 <https://forms.gle/vKdraEaFakMZTnLw7>**Preregistration is HERE (required) : https://forms.gle/vKdraEaFakMZTnLw7 <https://forms.gle/vKdraEaFakMZTnLw7>* ハイブリッド形式会議です。対面参加かオンライン参加可を選択して事前登録してください。 Pre-registration required: Please select “in person” or “online” ------------------------------ ------------------------------ 会場 / Venue 慶應義塾大学三田キャンパス南校舎7階471, the South School Building 7th Floor, Room 471 （正門からすぐの校舎です. The first building after the Main Gate of the Campus） Mita Campus, Keio University (7 minutes walk from JR-Tamachi, Subway Mita or Akabanebashi) キャンパスマップ 4番の建物: https://www.keio.ac.jp/ja/maps/mita.html Campus Map Building #4: https://www.keio.ac.jp/en/maps/mita.html プログラム / PROGRAM Mark van Atten教授(Professor, Husserl Archives (CNRS/ENS))の下記の２つの講義をもとに次のテーマを討論します。第1部 BROUWERとHeytingのInductive definition について第２部 HUSSERLと完全性定理討論：Husserlと論理学完全性/不完全性定理―FTL（「形式論理学と超越論的論的論理学」）解釈に与える影響について Discussion Coordinator for Part 1: Ryota Akiyoshi (Keio University) Discussion Coordinator for Part 2: Mitsuhiro Okada (Keio University) ABSTRACTS of the TWO LECTURES Lecture 1: Brouwer and Heyting on intuitionistic inductive definitions Here is the Abstract: "Neither Brouwer nor Heyting has offered an explicit foundational analysis of inductive definitions. This paper argues that they had an implicit one, and makes it explicit. The clauses must be understood neither as propositions nor as permissions, but as commands. Correspondingly, inductive definitions are governed by the grammar of the imperative. Three consequences of this analysis are noted: (1) The extremal clause is redundant. (2) The logic to be used in the conditions is coherent logic. (3) On account of (2), the intuitionistic analysis in effect meets a desideratum on analyses of inductive definitions formulated by Kreisel. Overall, this reconstructed analysis provides an example of how, in intuitionism, pragmatic aspects of a definition can contribute to its mathematical content." Lecture 2: Husserl and the incompleteness theorems Here is the Abstract: "By way of commenting on the prior literature (especially Cavaillès, Tran, Bachelard, Lohmar), it is argued that both the first and the second of Gödel’s Incompleteness Theorems have a bearing on the view on mathematics that Husserl presents in Formale und transzendentale Logik, and that this bearing is not small." The talk is mostly for philosophers who are not specialists in logic. [参考]Van Atten 教授のBrouwerとHusserlに関する主な著作の一部 "Why Husserl should have been a strong revisionist in mathematics". Husserl Studies 18 (1), 1–18, 2002. On Brouwer. Belmont (MA), Wadsworth, 2004. Brouwer Meets Husserl: On the Phenomenology of Choice Sequences, Dordrecht, Springer, 2007. "Construction and constitution in mathematics". The New Yearbook for Phenomenology and Phenomenological Philosophy 10, 43–90, 2010. Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Dordrecht, Springer, 2015. "The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs". Indagationes Mathematicae 29, 1565-1636, 2018. "Dummett’s objection to the ontological route to intuitonistic logic : a rejoinder". Inquiry 65(6), 725-742, 2022. "Intuition, iteration, induction", Philosophia Mathematica 32(1), 34-81, 2024. "Luitzen Egbertus Jan Brouwer", SEP, https://plato.stanford.edu/entries/brouwer/ "The development of intuitionistic logic", SEP, https://plato.stanford.edu/entries/intuitionistic-logic-development/ オーガナイザ / Organizing Committee - Ryota Akiyoshi (Keio University) - Koji Mineshima (Keio University) - Mitsuhiro Okada (Keio University) - Kentaro Ozeki (Keio University) 問い合わせ先 / Contact address of the Meeting Office logic[At]abelard.flet.keio.ac.jp

1 0

第6回セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ参加募集
by Taro Sekiyama 09 Apr '24

09 Apr '24

皆様 (複数お受け取りの場合はご容赦ください) 国立情報学研究所の関山です。 5月10日に開催される「第6回セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ」の参加募集のご案内です。今回はセコムIS研究所のデータセンター見学後、セキュリティ保証のハードウェアサポートの一実装である Arm TrustZone に関する講演が行われます。ワークショップの案内ページ：https://sc-sys.github.io/ 開催日時：5月10日 13:00〜15:30 データセンター見学，15:30〜18:00 講演参加方法： Google form https://forms.gle/mwsSh6hut55noDWLA から申し込み (5/7正午あるいは定員になり次第終了いたします) ワークショップについて：本ワークショップ「セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ (SATSS)」は、新しい（特にセキュアな）計算機システムに関する原理を理論研究と共に計算機ハードウェアからソフトウェアのレイヤまで研究・開発するために必要な知識の獲得と議論の場を提供することを目的として開催しています。また議論を大事にするという観点から、現地参加を推奨しています。それでは皆様の参加をお待ち申し上げます。また、お知り合いの方で興味のございます方がいらっしゃいましたらお誘いいただけますと幸いです。 -- 関山太朗国立情報学研究所 sekiyama(a)nii.ac.jp

1 0

SAML 2024 について
by SAKAI Hiroshi 09 Apr '24

09 Apr '24

皆様：東京大学の酒井拓史と申します．（4月に神戸大学から東京大学に異動しました．） Symposium on Advances in Mathematical Logic (SAML) 2024 のお知らせをさせてください． SAML は国内の数理論理学の諸分野（証明論・集合論・モデル理論・計算論・非古典論理）の研究交流を目的とした，隔年開催の研究集会です．過去の集会の情報は次のページでご覧いただけます． https://www.mathsoc.jp/section/logic_and_history/saml.html 今年は SAML の開催年で，RIMS 共同研究（公開型）として下記のように開催します． SAML 2024「数理論理学の最近の進展」日程：7月9日(火) -- 12日(金) 形式：ハイブリッド形式対面会場：京都大学数理解析研究所ホームページ： https://sites.google.com/view/saml2024 幹事：酒井拓史 ( hrshsakai(a)gmail.com ) 今年の SAML は集合論・計算論・非古典論理の研究動向紹介・チュートリアルと，数理論理学諸分野の招待講演で構成されます．講演は下記の方々にお願いしています．研究動向紹介・チュートリアル - 集合論：池上大祐氏（中山大学） - 計算論：宮部賢志氏（明治大学） - 非古典論理：大森仁氏（東北大学）招待講演 - 証明論：藤原誠氏（東京理科大学） - 集合論：Diego Mejia 氏（静岡大学） - モデル理論：藤田雅人氏（海上保安大学校） - 計算論：Matthew de Brecht 氏（京都大学） - 非古典論理：鈴木信行氏（静岡大学）参加登録方法などにつきましては，改めてご連絡をさせていただきます．皆様のご参加をお待ちしております．どうぞよろしくお願いいたします．酒井拓史

1 0

SAML 2024 について
by Hiroshi Sakai 09 Apr '24

09 Apr '24

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml April 2024