- Logic-ml - fos.kuis.kyoto-u.ac.jp

【代理送信】東大数理5月の談話会(講演者：酒井拓史先生)のご案内
by yeongcheol-kwon＠g.ecc.u-tokyo.ac.jp 14 May '24

14 May '24

各位東大数理D3の権　英哲と申します。いつもお世話になっております。この度は、東大数理談話会委員長の宮本安人先生の代理として、お便り差し上げました。東大数理の5月の談話会にて、酒井拓史先生がご講演なさいます。以下が談話会委員長の宮本先生による案内文になります： ======================================== 日時：５月３１日（金）１５：３０～１６：３０場所：東京大学大学院数理科学研究科大講義室（対面のみ） https://www.ms.u-tokyo.ac.jp/access/ 講演者：酒井拓史氏 (東京大学大学院数理科学研究科) 題目：巨大基数について摘要：集合論は数学に現れる無限集合を調べる分野で，そこでは様々な無限基数が考えられています．これらのうち，自分自身より小さな基数に対して超越的な性質を持つ不可算基数は巨大基数とよばれます．これまでに多くの巨大基数が定式化されていますが，いずれもその名のとおり非常に大きな基数となり，その存在は集合論の標準的公理系 ZFC では証明できません．巨大基数の存在を主張する公理は巨大基数公理とよばれます．巨大基数は実数集合の濃度よりもはるかに大きくなりますが，巨大基数公理を仮定すると実数集合についての様々な命題が証明できるようになり，これは巨大基数の興味深いことのひとつです．この講演では，巨大基数理論の概要を紹介します．また，講演者が興味を持っている，小さな無限基数の巨大性についてもお話しします．東大数理メンバー以外の方が参加される場合は、以下のリンクから参加登録をお願いいたします． https://forms.gle/ZmHhZW6bxUyKewro8 多くの皆様のご参加をお待ちしております． 2024年度談話会委員足助太郎，寺田至，長谷川立，宮本安人（委員長）補足1：談話会の情報は，下記の談話会のホームページに掲載されております． https://www.ms.u-tokyo.ac.jp/seminar/colloquium/ 補足2：6月の談話会は６月２１日（金），講演者はMircea Mustata氏（ミシガン大学）を予定しております． --------------------------- 宮本安人(MIYAMOTO, Yasuhito) miyamoto(a)ms.u-tokyo.ac.jp ======================================== 以上になります。よろしくお願い申し上げます [代理送信者] 東京大学大学院数理科学研究科博士課程3年権　英哲

1 0

【発表募集】第150回プログラミング研究発表会（PRO-2024-2）
by Ryoma Sin'ya 03 May '24

03 May '24

皆様（重複してお受け取りの場合はご容赦ください）第150回プログラミング研究発表会担当の秋大の新屋です。以下の通り、発表（同時投稿/発表のみ）を募集します。第150回プログラミング研究発表会は、2024年並列／分散／協調処理に関するサマー・ワークショップ（SWoPP 2024）の一部として開催されます。発表申込期間は GW 明けです。論文誌への同時投稿・発表のみの申し込みのどちらも大歓迎です。たくさんのご投稿をお待ちしております。 ==================================================== 第150回プログラミング研究発表会 (PRO-2024-2) 発表募集第150回プログラミング研究発表会は，2024年並列／分散／協調処理に関するサマー・ワークショップ（SWoPP 2024）の一部として開催されます．日程　：2024年8月7日(水)～8月9日(金) 　　（共催研究会と調整の上，PROのセッションのスケジュールを決定します）会場　：あわぎんホール　徳島県郷土文化会館（https://kyoubun.or.jp/ <https://kyoubun.or.jp/>）　　　　およびオンラインのハイブリッド開催を予定参加費：無料案内ページ： SWoPP 2024に関するご案内は，SWoPP ホームページ https://sites.google.com/site/swoppweb/ <https://sites.google.com/site/swoppweb/> にて随時更新される予定です．懇親会のご案内と申込もこちらで行いますので是非ご覧ください．発表申込期間：2024年5月10日(金)～5月16日(木) 23:59（厳守）（通常の発表と「短い発表」の両方とも）投稿論文原稿提出締切：2024年7月4日(木) プログラミング研究会（PRO）は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場です．研究会と密接にリンクした論文誌を1998年度から毎年3～4回のペースで発行しており，研究発表会での発表内容を論文誌に投稿することができます．発表申込時に投稿を希望し投稿締切までに原稿が提出されている論文が査読の対象となります．採否は研究発表会から概ね 3週間ほどで迅速に決定されます．論文誌への投稿を希望しない発表も歓迎します． 1件あたりの発表時間は45分（発表25分，質疑20分）です．通常の発表に加え，「短い発表」も募集します．「短い発表」の発表時間は 30分（発表20分・質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください． http://sigpro.ipsj.or.jp/sigtra4/ <http://sigpro.ipsj.or.jp/sigtra4/> 「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」多くの発表ならびに論文投稿をお待ちしております． ■ 発表申込要領以下の手引きに従い，著者，タイトル，概要などの情報を記入した発表申込フォームを作成し，下記の送信Webページからお送りください． (1) 論文投稿を伴う発表申込：http://sigpro.ipsj.or.jp/trans-author/ <http://sigpro.ipsj.or.jp/trans-author/> (2) 発表のみの申込：http://sigpro.ipsj.or.jp/presentation/ <http://sigpro.ipsj.or.jp/presentation/> (3) 「短い発表」の申込：送信Webページにて「論文誌投稿なし・短い発表」を選んでください．発表申込送信Webページ： https://forms.gle/sEyqqTa9T1XaVGR38 <https://forms.gle/sEyqqTa9T1XaVGR38> ・発表申込を送信後，担当者より3日以内に，発表申込フォームの「代表者連絡先」宛に，発表申込を受理した旨のメールをお送りします．もし3日待ってもメールが来なかった場合，担当者までメールでお問い合わせください．・多数の発表申込がある場合には発表をお断りすることがございます．・研究会の詳細や申込時の諸注意についてはプログラミング研究会のページ https://sigpro.ipsj.or.jp/ <https://sigpro.ipsj.or.jp/> をご参照ください．問合せ先：新屋良磨（秋田大学） E-mail: ryomasinya [at] gmail.com <http://gmail.com/> 担当者：新屋良磨（秋田大学），加藤弘之（国立情報学研究所） ====================================================

1 0

静岡大学学術院理学領域数学系列　教員公募(1名)【6/28締切】
by Suzuki, Nobu-Yuki 01 May '24

01 May '24

みなさま静岡大学理学部数学科の鈴木信行です。重複して受け取られた方にはお詫び申し上げます。静岡大学学術院理学領域数学系列では、教員1名(常勤任期なし)を募集しています。公募人員准教授１名専門分野数学（幾何学、又はその関連分野）採用予定令和７年４月１日応募期限令和６年６月２８日（金）必着詳細は、次をご覧ください。 https://www.shizuoka.ac.jp/recruit/ お近くに適任の方がいらっしゃればご紹介いただければ幸いです。よろしくお願いいたします。静岡大学は、静岡大学男女共同参画憲章の基本方針に基づき、男女共同参画や女性教員の採用を推進しています。採用に当たって、業績及び人物評価において同等と認められた場合には、女性を優先します。

1 0

静岡大学学術院理学領域数学系列　教員公募(1名)【6/28締切】
by Suzuki, Nobu-Yuki 01 May '24

01 May '24

みなさま静岡大学理学部数学科の鈴木信行です。静岡大学学術院理学領域数学系列では、教員1名(常勤任期なし)を募集しています。公募人員准教授１名専門分野数学（幾何学、又はその関連分野）採用予定令和７年４月１日応募期限令和６年６月２８日（金）必着詳細は、添付のpdfまたは次をご覧ください。 https://www.shizuoka.ac.jp/recruit/ ぜひ、応募をご検討下さい。また、お近くに適任の方がいらっしゃればご紹介いただければ幸いです。よろしくお願いいたします。静岡大学は、静岡大学男女共同参画憲章の基本方針に基づき、男女共同参画や女性教員の採用を推進しています。採用に当たって、業績及び人物評価において同等と認められた場合には、女性を優先します。

1 0

島根大学学術研究院理工学系（知能情報デザイン学）教員公募(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 24 Apr '24

24 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 15 Apr '24

15 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 10 Apr '24

10 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

皆様：東京大学の酒井拓史と申します．（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

東北大ロジックセミナーのご案内
by YOKOYAMA Keita 04 Apr '24

04 Apr '24

東北大学の横山です．直前の方で大変恐縮ですが，以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：4月4日(金)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：Andrew Arana (Université de Lorraine, Archives Poincaré) Title: Varieties of reversals Abstract: Reverse mathematics has become one of the most important subjects of mathematical logic. It has a rich domain of problems arising from ordinary mathematics, as well as a programmatic orientation. To put it briefly, its results seem to matter not only for logic but also for ordinary mathematics. Yet there are several different accounts of why it matters, of what a reversal tells us. I want to discuss a few of these. オンライン参加を希望される方は横山までご連絡いただきますようよろしくお願いいたしますどうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University keita.yokoyama.c2(a)tohoku.ac.jp

1 0

第50回量子情報技術研究会（QIT50）開催のお知らせ
by NISHIMURA Harumichi 03 Apr '24

03 Apr '24

logic-mlの皆様名古屋大学の西村と申します．代理でQIT50のご案内を投稿します．どうぞよろしくお願い致します． ------------------------------------------------------------------- 量子情報技術研究会は、情報科学と量子力学を融合させた新しい分野、量子情報科学に関する研究会です。情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究と、そこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して、情報科学、物理学、光エレクトロニクスを含む理学、工学、数理科学に携わる研究者間に自由な討論の場を提供し、この研究分野の発展を図ることを目的としています。第50回研究会では、現在この分野で活躍する研究者は勿論、これからの可能性を感じる研究者や技術者の方々からの積極的な発表・参加を心よりお待ちしております。日時: 2024年5月28日(火)〜2024年5月30日(木)*現地開催のみ。オンライン配信なし会場: 産業技術総合研究所つくば中央共用講堂 (茨城県つくば市梅園1-1-1) 発表募集分野 (申し込み状況によって査読の可能性あり)：量子情報技術に関わる理論的研究、実験的研究、計算機科学的研究、数学的研究、量子計算、量子計算素子、量子情報、量子誤り訂正、量子エンタングルメント、量子光学、量子物性、相対論的量子情報理論、量子基礎など、その他関連分野定員: 200名参加費：一般4,000円、学生3,000円懇親会費: 4,000円 *事前登録や銀行振込の期限に間に合わない場合、当日現地でのお支払いの場合には、上記金額に1,000円の追加料金が発生します。 *学生限定で、予稿集なし・懇親会なしの参加費1,000円というオプションもあります。（事前手続き不要、当日受付）研究会参加申込詳細： https://www.ieice.org/es/qit/qit50/ 各種締切：口頭講演申込： 2024年4月23日（火）ポスター発表申込： 2024年5月7日（火） PDF原稿提出： 2024年5月7日（火）参加事前登録（懇親会参加登録も含む）： 2024年5月21日（火）参加費（懇親会費も含む）の銀行振込： 2024年5月21日（火）【問合せ先】猪股邦宏（産業技術総合研究所）石川豊史（同上）辻本学（同上）浦出芳郎（同上） Email: M-qit50-ml(a)aist.go.jp 主催：電子情報通信学会量子情報技術特別研究専門委員会（委員長武岡正裕（慶應義塾））共催：応用物理学会量子エレクトロニクス研究会、産業技術総合研究所 ----------------------------------------------------------

1 0

【発表募集】第149回プログラミング研究発表会（PRO-2024-1）
by KAMINA Tetsuo 01 Apr '24

01 Apr '24

皆様大分大学の紙名です。第149回プログラミング研究発表会の申込締切（4/14）が近づいてまいりましたので、再度ご案内させていただきます。論文誌への同時投稿・発表のみのどちらでも大歓迎です。たくさんのお申し込みをお待ちしています。 ==== 第149回プログラミング研究発表会発表募集日程：2024年6月13日（木）～14日（金）会場：オンライン開催参加費：無料発表申込締切：2024年4月14日（日）（通常の発表・短い発表の両方とも）投稿論文原稿締切：2024年5月07日（火）案内ページ：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月14日（日）（通常の発表・短い発表の両方とも）投稿論文原稿締切： 2024年5月07日（火）注意事項 * 発表申込を送信後72時間以内に，担当者から受領確認メール（≠回答のコピー）をお送りします． * 多数の発表申込がある場合には発表をお断りすることがございますので，お早めにお申し込みください． * 研究会の詳細や申込時の諸注意についてはプログラミング研究会のページ https://sigpro.ipsj.or.jp/ をご参照ください．次のいずれかに該当する場合，下記の問合せ先にメールでご連絡下さい． * 送信後72時間以内に担当者から受領確認メール（≠回答のコピー）が来なかった * 発表申込フォームの内容を更新する（連絡事項の追記を含む） * 発表を取り下げる問合せ先：ipsj-pro-2024-1-organizer(a)googlegroups.com 担当者：佐藤重幸（電気通信大学），紙名哲生（大分大学）

1 0

2024年度人工知能学会全国大会（第38回）参加登録の受付を開始しました
by MOTOURA SHOTA(本浦　庄太) 18 Mar '24

18 Mar '24

logic-mlの皆様、（重複して受け取られた場合はご容赦ください。） NECの本浦庄太と申します。 2024年度人工知能学会全国大会（第38回）（会期：2024年5月28日(火)〜5月31日 (金)）の参加登録の受付を開始しました。事前参加登録期間：　早期：〜2024年4月15日(月)18:00 　後期：〜2024年5月10日(金)18:00 会場：アクトシティ浜松＋オンライン現地参加・オンライン参加が可能なハイブリッド形態の開催を予定しております。参加をご検討いただければ幸いです。参加登録方法の詳細は以下URLをご覧ください。 https://www.ai-gakkai.or.jp/jsai2024/attendance JSAI2024大会サイト： https://www.ai-gakkai.or.jp/jsai2024/ どうぞよろしくお願いいたします。本浦庄太 -- Shota MOTOURA Data Science Laboratories, NEC Corporation 1753 Shimonumabe, Nakahara-ku, Kawasaki, Kanagawa 211-8666, Japan

1 0

第149回プログラミング研究発表会（PRO-2024-1）発表募集
by KAMINA Tetsuo 11 Mar '24

11 Mar '24

※メールの送信に失敗していたようで再送します。重複してお受け取りの場合はご容赦ください。皆様大分大学の紙名です。以下のとおり，第149回プログラミング研究発表会の発表募集をさせていただきます。ご検討のほど，よろしくお願い致します。 ==== 第149回プログラミング研究発表会発表募集日程：2024年6月13日（木）～14日（金）会場：オンライン開催参加費：無料発表申込締切：2024年4月14日（日）（通常の発表・短い発表の両方とも）投稿論文原稿締切：2024年5月07日（火）案内ページ：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月14日（日）（通常の発表・短い発表の両方とも）投稿論文原稿締切： 2024年5月07日（火）注意事項 * 発表申込を送信後72時間以内に，担当者から受領確認メール（≠回答のコピー）をお送りします． * 多数の発表申込がある場合には発表をお断りすることがございますので，お早めにお申し込みください． * 研究会の詳細や申込時の諸注意についてはプログラミング研究会のページ https://sigpro.ipsj.or.jp/ をご参照ください．次のいずれかに該当する場合，下記の問合せ先にメールでご連絡下さい． * 送信後72時間以内に担当者から受領確認メール（≠回答のコピー）が来なかった * 発表申込フォームの内容を更新する（連絡事項の追記を含む） * 発表を取り下げる問合せ先：ipsj-pro-2024-1-organizer(a)googlegroups.com 担当者：佐藤重幸（電気通信大学），紙名哲生（大分大学）

1 0

CCR 2024 (3/11-15): 17th International Conference on Computability, Complexity and Randomness
by Takayuki Kihara 08 Mar '24

08 Mar '24

皆様お世話になっております．名古屋大学の木原です．来週3月11日〜15日に名古屋大学で開催される国際会議 CCR 2024: The 17th International Conference on Computability, Complexity and Randomness の最終案内をさせていただきます． ---- CCR 2024: CALL FOR PARTICIPATION ======== Seventeenth International Conference on Computability, Complexity and Randomness (CCR 2024) https://sites.google.com/view/ccr2024/home March 11-15, 2024 Nagoya University, Nagoya, Japan ======== TOPICS: * Algorithmic randomness * Computability theory * Kolmogorov complexity * Computational complexity * Reverse mathematics and logic ======== INVITED SPEAKERS: * Juan Aguilera, TU Wien, Vienna, Austria * Wesley Calvert, Southern Illinois University, Carbondale, USA * Leonardo Coregliano, University of Chicago, Chicago, USA * Makoto Fujiwara, Tokyo University of Science, Tokyo, Japan * Liling Ko, The Ohio State University, Columbus, USA * Russell Miller, Queens College (CUNY), New York, USA * Sewon Park, Kyoto University, Kyoto, Japan * Francesca Zaffora Blando, Carnegie Mellon University, Pittsburgh, USA ======== SCIENTIFIC PROGRAM COMMITTEE: * Jörg Brendle (Kobe University, Japan) * Johanna Franklin, co-chair (Hofstra University, USA) * Jun Le Goh (National University of Singapore) * Takayuki Kihara, co-chair (Nagoya University, Japan) * Margarita Marchuk (Novosibirsk State University, Russia) * Arno Pauly (Swansea University, UK) * Svetlana Selivanova (KAIST, Korea) * Keita Yokoyama (Tohoku University, Japan) ======== ABOUT THE CONFERENCE: CCR 2024 is the 17th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics. Previous editions of the conference have been held at Cordoba (Argentina), Buenos Aires (Argentina), Nanjing (China), Luminy (France), Notre Dame (USA), Cape Town (South Africa), Cambridge (UK), Moscow (Russia), Singapore, Heidelberg (Germany), Honolulu (USA), Mysore (India), Santiago de Chile (Chile), Astana (Kazakhstan), Cambridge (UK), and Lake Kochel (Germany). ======== -------- 木原貴行名古屋大学大学院情報学研究科数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 0

ワークショップのご案内（仙台・3/9）
by Hitoshi Omori 08 Mar '24

08 Mar '24

皆様東北大学の大森です。直前のご案内で恐縮ですが、以下の通りワークショップを開催いたします。 ===== ・日時：3月9日(金)13:00〜・場所：東北大学情報科学研究科609号室・講演者： *Rohan French (UC Davis) *Andrzej Indrzejczak (University of Łódź) *Nils Kürbis (Ruhr University Bochum and University of Łódź) *Shawn Standefer (National Taiwan University) ・題目などの詳細は以下のウェブサイトをご覧ください。 https://sites.google.com/view/llal-at-gsis/meetings/llalgsis-2 ===== どうぞよろしくお願いいたします。大森仁

1 0

Fwd: 3rd CfP & Deadline Extension: RAMiCS 2024
by Jérémy Dubut 07 Mar '24

07 Mar '24

Dear all, Here is an announcement on behalf of the program committee of RAMiCS. The deadline has been extended once more as below. Feel free to distribute the information :-) Best regards, — Jérémy Dubut. ---------- Forwarded message --------- From: <fahrenberg(a)gmail.com> Date: Mon, Mar 4, 2024 at 23:49 Subject: 3rd CfP & Deadline Extension: RAMiCS 2024 To: <dubutjeremy(a)gmail.com> Dear Jérémy Dubut, we have decided to extend the deadlines for RAMiCS 2024 once more, please see below for an updated CfP. (Do not hesitate to distribute this to your colleages and/or to hang up the poster which you may find on the RAMiCS web site.) Best regards, for the PC Chairs, Uli Fahrenberg CALL FOR PAPERS RAMiCS 2024 21st International Conference on Relational and Algebraic Methods in Computer Science Prague, Czech Republic 19--23 August 2024 collocated with AiML https://ramics-conf.github.io/2024/ IMPORTANT DATES Abstract submission (extended): 16 March 2024 Paper submission (extended): 23 March 2024 Author notification: 21 May 2024 Final version due: 22 June 2024 Conference dates: 19-23 August 2024 INVITED SPEAKERS Sergey Goncharov, University of Erlangen and Nürnberg, Germany Tomasz Kowalski, Jagiellonian University in Kraków, Poland Sarah Winter, IRIF, Université Paris Cité, France SCOPE Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. Theoretical aspects include semigroups, residuated lattices, semi- rings, Kleene algebras, relation algebras, quantales and other algebras; their connections with program logics and other logics; their use in the theories of automata, concurrency, formal languages, games, networks and programming languages; the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof- theoretic methods for these theories; their formalisation with theorem provers. Applications include tools and techniques for program correctness, specification and verification; quantitative and qualitative models and semantics of computing systems and processes; algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control. We are calling for submission of original work not published or under review for publication elsewhere. The proceedings will be published as part of Springer LNCS. As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. Submission is via EasyChair at https://easychair.org/conferences/?conf=ramics2024 For more information, see https://ramics-conf.github.io/2024/

1 0

CSCAT 2024 参加募集 / 懇親会
by Takeshi Tsukada 04 Mar '24

04 Mar '24

皆様、千葉大学の塚田です CSCAT 2024 の発表募集・参加募集・懇親会案内です CSCAT（理論計算機科学と圏論ワークショップ）は、数学の分野である圏論の情報科学への応用に関心を持つ研究者による研究集会です。 CSCAT 2024 は以下の要領で開催予定です日程：3/14(木)--15(金) 会場：千葉大学西千葉キャンパス理学部４号館マルチメディア１ CSCATの案内ページ https://sites.google.com/faculty.gs.chiba-u.jp/cscat2024/home に発表についての情報などを随時掲載します。ご参加・ご発表を検討されている方は3/7までに上記ページにあるフォームからお申込をお願いいたします。また初日（3/14）の終了後に懇親会を予定しております参加希望者は上記の案内ページからお申し込みください懇親会の参加については、 3/10 締切となっております皆様の参加をお待ち申し上げます。また、お知り合いの方で興味のございます方がいらっしゃいましたらお誘いいただけますと幸いです。 -- 塚田武志千葉大学大学院理学研究院数学・情報数理学研究部門 tsukada(a)math.s.chiba-u.ac.jp

1 0

Sapporo One-day Workshop on Hybrid Logic and Proof Theory (March 7)
by Katsuhiko Sano 01 Mar '24

01 Mar '24

Logic-ml の皆様、北海道大学の佐野です。3月7日に開催されるworkshop "Sapporo One-day Workshop on Hybrid Logic and Proof Theory" についてご案内します。佐野勝彦 ----------------------------------------------------------------------- This is the announcement of the "Sapporo One-day Workshop on Hybrid Logic and Proof Theory" to be held on March 7. As a satellite event of the 7th Asian Workshop on Philosophical Logic (https://sites.google.com/view/awpl2024/home), we plan to hold the Sapporo One-day Workshop on Hybrid Logic and Proof Theory", whose registration fee is 1500 Yen. The program of the workshop is now available on the website. You can see it on the website and also get the detailed pdf version. https://sites.google.com/view/sapporoworkshop2024spring/ Also, the information of the banquet is now announced. Time: 18:30- Place: Hyakuya (https://h554804.gorp.jp/) Fee: 4000 Yen If you would like to attend, please register using the following form. https://forms.gle/XsP921BGznFc9EVTA Please note that the registration deadline for the banquet is *March 2 (JST)*. We look forward to your participation.

1 0

Open postdoc positions in "CyPhAI: Formal Analysis and Design of AI-intensive Cyber-Physical Systems"
by Kohei SUENAGA 29 Feb '24

29 Feb '24

皆様，（複数お受け取りの場合はご容赦ください．）京都大学の末永です．私が代表を務めている CREST のプロジェクト「AI集約的サイバーフィジカルシステムのための形式的解析設計手法」で博士研究員を募集しております．募集要項が https://hackmd.io/5QMqMBiTRNyT1iic_NRurQ?view にありますので，ご興味がお有りの方はご検討いただければと思います．また，適任の方をご存知でしたら，どうぞ本メールをご転送いただけますとありがたいです．よろしくお願いいたします．末永 -- # Open Positions Announcement: Postdoctoral Researchers in Formal Methods and Control Theory for AI-Intensive Cyber-Physical Systems ## Overview We are excited to announce the availability of three postdoctoral researcher positions within the "CyPhAI: Formal Analysis and Design of AI-intensive Cyber-Physical Systems" project. We seek to develop mathematically rigorous methodologies for the modeling, verification, testing, monitoring, and control of cyber-physical systems (CPS) where artificial intelligence (AI) plays a pivotal role. This pioneering project is a collaborative effort between Japan teams led by Prof. Kohei Suenaga (Kyoto University) and Prof. Masako Kishida (NII) and the France team led by Prof. Thao Dang (CNRS), emphasizing international collaboration and interdisciplinary research in AI-CPS. In this project, you will help advance the research in formal methods and control theories for AI-CPS and closely work with the leading researchers in Japan, Prof. Kohei Suenaga at Kyoto University in Kyoto or Prof. Masako Kishida at the National Institute of Informatics (NII) in Tokyo. You will also have opportunities to participate in several annual project workshops held in France or Japan to collaborate with the France team as well as other Japan teams. Candidates must have or be near the completion of a PhD with research in relevant fields and demonstrate a track record of research publications, conference presentations, and software programming skills. Research experience in interdisciplinary collaborations is highly valued. The positions are heavily research-oriented. Selected candidates will be expected to independently conduct research tasks including but not limited to the following: - Propose and execute research plans - Present progress and discuss with team members and collaborators regularly - Prepare submissions to top-tier journals or conferences - Promote our research outcome at international venues We welcome applications from foreign (non-Japanese) nationals. This project is funded by the Core Research for Evolutionary Science and Technology (CREST) program from Japan Science and Technology Agency (JST). Positions are to be filled on a rolling basis with flexible start dates. The initial contract will end at March 2025 with the possibility of extension up to March 2026, when the project will conclude. Compensation is determined on the basis of your qualifications according to the employment regulations in Kyoto University or NII, with social insurances covered by the hiring institutions. ## Position Descriptions ### 1. Two Postdoctoral Researchers in Formal Methods for AI-CPS - **Workplace:** Onsite at Kyoto University, Kyoto, Japan - **Qualifications:** + Must have or be near the completion of a PhD with research topics in verification and testing of software or hybrid systems, verification and testing of machine-learning systems, or reinforcement learning + Full Professional Proficiency in English + Strong programming skills in C++, MATLAB, OCaml, or Python - **Recommended Skill:** Elementary Japanese to help your daily life - **Principle Investigator**: Prof. Kohei Suenaga - **Research Focus:** Formal methods applicable to AI-CPS and its application to real-world problems, including but not limited to ones related to our previous publications listed below: + [Junya Shijubo, Masaki Waga, Kohei Suenaga: Efficient Black-Box Checking via Model Checking with Strengthened Specifications. RV 2021: 100-120](https://arxiv.org/abs/2109.04656) + [Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga: Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. CAV (1) 2022: 447-468](https://arxiv.org/abs/2206.03582) + [Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga: BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models. ACCV (7) 2022: 274-290](https://arxiv.org/abs/2210.17130) + [Amit Gurung, Masaki Waga, Kohei Suenaga: Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. ATVA (1) 2023: 33-52](https://arxiv.org/abs/2301.03915) + [Junya Shijubo, Masaki Waga, Kohei Suenaga: Probabilistic Black-Box Checking via Active MDP Learning. ACM Trans. Embed. Comput. Syst. 22(5s): 148:1-148:26 (2023)](https://arxiv.org/abs/2308.07930) + [Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo: Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. NFM 2022: 470-488](https://arxiv.org/abs/2203.13247) + [Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo: Dynamic Shielding for Reinforcement Learning in Black-Box Environments. ATVA 2022: 25-41](https://arxiv.org/abs/2207.13446) + [Masaki Waga: Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization. CAV (1) 2023: 3-26](https://arxiv.org/abs/2305.17742) ### 2. One Postdoctoral Researcher in Control for AI-CPS - **Workplace:** Onsite at National Institute of Informatics, Tokyo, Japan - **Qualifications:** + Must have or be near the completion of a PhD with research topics in control theory, learning-based control, or hybrid systems + Must have excellent verbal and written communication skills in English + Must be able to work independently - **Recommended Skill:** Elementary Japanese to help your daily life - **Principle Investigator**: Prof. Masako Kishida - **Research Focus:** Towards controller designs using machine learning techniques and/or safe controller designs for systems with machine-learning-based components ## Application Process Please send your application to `application-cyphai [at] fos.kuis.kyoto-u.ac.jp` with the subject "CREST Job Application". Your application must include: - A brief CV, - A list of your publications (A link to your dblp or Google Scholar profile will be sufficient.), - Softcopies of your representative publications, - Contact information for two references, - For applicants to Kishida's group at NII: a short research proposal (at most one page including figures/illustrations). We will reach out for further materials and interview arrangements if your application aligns with our project needs. If you have questions regarding the positions, please send your inquiries to `application-cyphai [at] fos.kuis.kyoto-u.ac.jp` with the subject "CREST Job Inquiry". -- 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

第149回プログラミング研究発表会（PRO-2024-1）発表募集
by KAMINA Tetsuo 29 Feb '24

29 Feb '24

皆様大分大学の紙名です。以下のとおり，第149回プログラミング研究発表会の発表募集をさせていただきます。ご検討のほど，よろしくお願い致します。 ==== 第149回プログラミング研究発表会発表募集日程：2024年6月13日（木）～14日（金）会場：オンライン開催参加費：無料発表申込締切：2024年4月14日（日）（通常の発表・短い発表の両方とも）投稿論文原稿締切：2024年5月07日（火）案内ページ：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月14日（日）（通常の発表・短い発表の両方とも）投稿論文原稿締切： 2024年5月07日（火）注意事項 * 発表申込を送信後72時間以内に，担当者から受領確認メール（≠回答のコピー）をお送りします． * 多数の発表申込がある場合には発表をお断りすることがございますので，お早めにお申し込みください． * 研究会の詳細や申込時の諸注意についてはプログラミング研究会のページ https://sigpro.ipsj.or.jp/ をご参照ください．次のいずれかに該当する場合，下記の問合せ先にメールでご連絡下さい． * 送信後72時間以内に担当者から受領確認メール（≠回答のコピー）が来なかった * 発表申込フォームの内容を更新する（連絡事項の追記を含む） * 発表を取り下げる問合せ先：ipsj-pro-2024-1-organizer(a)googlegroups.com 担当者：佐藤重幸（電気通信大学），紙名哲生（大分大学）

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml