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

【重要】東北大ロジックセミナーの開催形式の訂正とお詫び
by 竹田侑人 18 Jul '24

18 Jul '24

皆様, 先ほどご案内いたしましたセミナーですが, 開催形式に誤りがございました. (誤) 場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) (正) 場所：zoom配信開催形式は完全オンラインとなっております. ご迷惑をおかけし, 大変申し訳ございません. 参加を希望される方は竹田(yuto.takeda.t8(a)dc.tohoku.ac.xn--jp)-u63baam6azav5czbevh0gij9rvoja5sb4j6736j2rvgn34dhb1b. 竹田侑人 yuto.takeda.t8(a)dc.tohoku.ac.jp

1 0

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

18 Jul '24

皆様，東北大学の竹田です．以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：7月26日(金)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：織田幸弘 (東北大学情報) 題目帰納的定義付き一階述語論理の循環証明体系におけるカット除去の反例概要循環証明体系とは証明図にサイクル（循環）の存在を許容した証明体系である．このような体系は無限降下法の形式化とみなせる場合がある．そのため，循環証明体系は帰納法を使う証明体系の代替手段として証明探索の観点から注目されている．その一方で，循環証明体系の証明論的な性質についてはまだわかっていないことが多い．本講演では帰納的定義付き一階述語論理に対する循環証明体系のカット除去の反例を与える．反例の存在から帰納的定義付き一階述語論理に対する循環証明体系においてはカット除去性という基本的な性質が成り立たないことがわかる．オンライン参加を希望される方は竹田(yuto.takeda.t8(a)dc.tohoku.ac.xn--jp)-u63baam6azav5czbevh0gij9rvoja5sb4j6736j2rvgn34dhb1b どうぞよろしくお願いいたします．竹田侑人 yuto.takeda.t8(a)dc.tohoku.ac.jp

1 0

『第二回若手による数理論理学研究集会』の告知
by 西村祐輝 18 Jul '24

18 Jul '24

logic-ml のみなさま、『第二回若手による数理論理学研究集会』運営の西村です。本会の参加申し込み・ならびに講演申し込みの締め切りは、【7/21（日）】までとなります。発表枠にもまだまだ空きがございますので、ぜひ前向きに検討をいただければと思います。また、スタッフ間で協議の上、現在オンライン形式での配信も予定をしております。詳細が決まり次第 logic-ml にも告知いたしますので、今しばらくお待ちください。詳細はこちらのホームページもご覧ください。 https://sites.google.com/view/yorukai-2nd どうぞよろしくお願いいたします。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

教員公募：早稲田大学情報理工学科 (女性限定)
by Tachio Terauchi 12 Jul '24

12 Jul '24

皆様、早稲田大学の寺内です。下記のように教員を公募しておりますので、ぜひ応募をご検討下さい。また、関心のある方にご周知頂けますと幸いです。どうぞよろしくお願い致します。寺内 ====================================================================== 早稲田大学情報理工学科専任教員公募（女性限定）募集人数：1名（女性限定）勤務形態：常勤（任期なし）採用資格：教授、准教授または専任講師（いずれも任期なし） ※職位は、教育・研究歴、年齢などに応じて早稲田大学が決定し、最終面接までに提示します。 ※着任時に 61 歳以上の方は特任教授としての嘱任となり、待遇は本学の「特任教授給規程」によります。 ※資格に関わらず満 70 歳に達する年度を超えて契約を更新することはできません。教育・研究領域の分野：情報理工学分野学内所属：業務を行っていただく主な学部、大学院は理工学術院です。所属（主本属）は、本学の取扱い上、基幹理工学部情報理工学科となります。採用年月日：2025年9月1日、またはそれ以降のできるだけ早い時期業務内容： (1) 募集領域に関する科目などの授業担当、その他教育に関する業務情報理工学科における講義、実験科目、および情報理工・情報通信専攻における講義科目等を複数担当していただきます。なお、相談の上、応募者の研究内容と直接的に関連しない科目もご担当いただく可能性があります。また、これらは日本語による場合も英語による場合もあります。 (2) 独立した研究室としての個別研究活動、組織的研究活動への参画、その他研究に関する業務 (3) 教授会や各種委員会への参画、入試業務、その他大学運営に関する業務 (4) 社会活動への参画、その他社会貢献に関する業務 (5) その他本学規程に定めた業務就業場所：主として早稲田大学西早稲田キャンパス、早稲田大学各キャンパス、他勤務時間：所定労働日および勤務時間（始業・終業時刻、休憩時間）等は、本学規程によります。なお、専門業務型裁量労働制みなし労働 1 日8時間を適用し、研究業務の性質上、業務遂行の手段および時間配分の決定等については本人の裁量に委ねるものとします。休日：土曜日、日曜日、年末年始、国民の祝日、国民の祝日の一部に授業を実施することにより設ける臨時の休業日および大学創立記念日とします。ただし、大学があらかじめ授業を実施すると定めた日を除きます。休暇：労働基準法等法令に定められた休暇および，大学が特に定めた日とします。給与：本学規程によります。諸手当・通勤費：本学規程によります。退職金：本学規程によります。社会保険・労働保険：厚生年金、健康保険、労災保険、雇用保険にご加入いただきます。応募資格：以下のすべての条件を満たす方。 (1) 博士の学位を有する方 (2) 日本語に加えて英語による学部・大学院での講義および研究指導ができること。海外留学もしくは海外勤務経験を持つことが望ましい。特に日本語を母国語としない場合は、日本語能力試験JLPTでN1認定程度以上の日本語力を持つこと。 (3) 学科、専攻等の運営に積極的に携われる方応募方法：応募書類はすべて電子的に提出してください（郵送による送付は受け付けません）。「応募書類」に指定の書類(1)から(6)を1つのPDFファイルとしてまとめてください。このPDFファイルと、(7)エントリーデータファイルを合わせて1つのzipファイルとし、zipファイルのみ送付してください。ファイル名はいずれもローマ字氏名としてください。（例︓Waseda_Hanako.pdf Waseda_Hanako.xlsx Waseda_Hanako.zip） zip ファイルを、JREC-IN Portal サイトから「Web 応募」によりご提出ください。 https://jrecin.jst.go.jp/seek/SeekJorDetail?&id=D124071009 ※JREC-INのWeb応募では、ファイルサイズの制限 (20MB) にご注意ください。制限内に収めるのが困難である場合は、問い合わせ先のメールアドレス宛にご相談ください。応募書類： (1) 履歴書（指定フォーマットをお使いください） (2) 研究教育業績（指定フォーマットをお使いください） (3) 主要論文3編以内を順位付けすると共に、主要論文に選んだ理由を書いてください。（フリーフォーマット） (4) 上記で挙げた主要論文3編以内の電子ファイル (5) 着任後の抱負（フリーフォーマット）：任用された場合の教育活動計画、研究活動に関する展望や考え方などを記載してください。 (6) 応募者を良く知る方からの推薦状2通以上（推薦状にはご所属、電話番号、電子メールアドレスを記載頂くよう、依頼してください）。応募時に推薦状が揃わない場合は、応募者について問い合わせ可能な方2名以上の氏名と所属、連絡先（住所、電話番号、電子メールアドレス）を記載してください。 (7) エントリーデータファイル（指定フォーマット） ※追加書類の提出を求めることがあります。 ※応募書類等の個人情報につきましては、本学の規程に従って適切に管理し、教員採用のための選考以外に使用することはありません。選考終了後、責任をもって処分します。応募期限：2024年11月17日（日）23時日本時間（必着） ※電子データの提出のみ受け付けます。 ※期限後の提出は、理由に関わらず認めません。選考方法：選考は書類選考と面接選考（模擬講義を含む）により実施します（面接選考は書類選考を通過した方のみ）。面接選考実施日は2月7日（金）あるいは2月8日（土）を予定していますが（どちらか1日となります）、応募者の都合等に合わせて変更する可能性があります。 ※適任者がいない場合、本公募での採用を見送る場合もあります。 ※面接の日時等は、対象者のみ別途通知します。 ※面接等にかかる交通費・宿泊費等は応募者自身の自己負担とします。選考結果通知：書類選考結果：2024年12月下旬（予定）面接選考結果：2025年3月下旬（予定）最終選考結果通知：2025年7月（予定）通知方法：選考結果は、エントリーデータファイルに記載された電子メールアドレス宛に通知します。 ※選考内容・結果に対するお問合せには応じることができません。その他：・面接選考は対面を想定していますが、海外在住者や国内遠隔地在住者については、オンラインで行う選択も可能とします。・出産・育児・介護による研究中断期間に対して考慮を希望される場合、履歴書に記載して下さい。・早稲田大学は、教員採用・昇進の人事審査において、性別、障がい、性的指向・性自認、国籍、エスニシティ、信条、年齢を理由とするいかなる差別も行わないことを申し合わせております。今回の女性に限定した公募は、「男女雇用機会均等法」第 8 条（女性労働者に係る措置に関する特例）の規定により、当機関の女性教員比が低い現状を積極的に改善するための経過措置として実施するものです。問い合わせ先：〒169-8555 東京都新宿区大久保3-4-1 早稲田大学基幹理工学部情報理工学科学科主任清水佳奈 E-mail：shimizu.kana-ａｔ-waseda.jp <http://shimizu.kana-at-waseda.jp> （-ａｔ-を@に置き換えてください）

1 0

助教公募(愛媛大学数理科学講座)締切R6/7/22
by FUJITA Hiroshi 08 Jul '24

08 Jul '24

Logic-MLの皆様、愛媛大学の藤田と申します。現在、愛媛大学の数理科学講座では、助教の公募を行っております。締め切り(7/22必着)が近づいてきましたので、改めてアナウンスさせていただきます。関係者にご周知いただくと共に、適任者をご存知の場合にはぜひ応募をお勧めいただきますようお願い申し上げます。募集人員: 助教１名所属部門: 愛媛大学大学院理工学研究科理工学専攻数理科学講座専門分野: 数学（分野は問わないがデータサイエンスに関心がある方が望ましい）担当科目: 理学部理学科数学・数理情報コースの専門科目等 https://www.math.sci.ehime-u.ac.jp/ 着任時期: 令和６年１２月１日以降、令和７年４月１日までのできるだけ早い時期公募締切: 令和６年７月２２日（月）必着詳細につきましては, 以下のページをご覧ください。 https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D124051542 https://www.ehime-u.ac.jp/tp_20240522_jin02/　このお知らせを重複して受け取られた方はご容赦ください。よろしくお願い申し上げます。愛媛大学大学院理工学研究科理工学専攻数理科学講座藤田博司

1 0

日本ソフトウェア科学会第41回大会発表募集
by Tsuneyasu KOMIYA 04 Jul '24

04 Jul '24

皆様， # 重複してお受取になった場合はご容赦ください．電気通信大学の小宮と申します．日本ソフトウェア科学会第41回大会の発表募集をご案内させていただきます． # 今年の大会は，対面開催を予定しているとのことです．ご発表をご検討いただけましたら幸いです． ---------------------------------------------------------------------- 日本ソフトウェア科学会第41回大会発表募集 - 開催日時： - 併設イベント：2024年9月9日（月） - 大会：2024年9月10日（火）～12日（木） - 会場：立命館大学大阪いばらきキャンパス - Webページ URL：https://jssst2024.wordpress.com/cfp/ - 登壇発表申込締切：2024年7月26日（金） - 講演論文原稿締切：2024年8月9日（金） - デモ・ポスター発表：2024年8月9日（金） # ご発表のお誘い登壇発表とデモ・ポスター発表の場が用意されています．登壇発表は一般論文もソフトウェア論文も歓迎します．萌芽的な研究の発表の場としてもご検討ください．講演論文の共著者に会員が含まれていれば非会員でも登壇発表できます．未来のソフトウェアとそれを支えるソフトウェア科学に関する活発な議論を期待します．今年の大会は，対面開催を予定しております． # ご注意今年の大会では、発表および聴講のためのオンライン配信の準備予定はありません # 締切 - 登壇発表申込締切：2024年7月26日（金） - 講演論文原稿締切：2024年8月9日（金） - デモ・ポスター発表：2024年8月9日（金） # トラックおよびセッション今大会では以下のトラックおよびセッションを設けます． - 登壇発表トラック - 一般セッション：ソフトウェア科学全般についての発表の場です．一昨年度まで「研究会セッション」での発表として募集していた論文はこのセッションでの発表として募集します．プログラムはトピックに応じて編成する予定です． - ソフトウェア論文セッション：先進的なアイデアを実現したソフトウェアの成果発表の場です．ソフトウェア論文特集号への投稿を前提としたメンタリングを受けることもできます．詳細はホームページをご覧ください． - デモ・ポスター発表トラック研究アイデアやそれを実現したソフトウェアの紹介と議論の場です．講演論文なしで発表することができます． # 発表申し込み要領 - 講演論文の著者 (デモ・ポスターセッションの場合は発表者) に正会員，学生会員または名誉会員が含まれている必要があります．ただし，発表申込時に入会手続中の場合も含みます．会場で登壇する人，会場で説明を行う人は非会員でも構いません． - 講演論文は EasyChair システム (https://easychair.org/my/conference?conf=jssst2024) を使って PDF ファイルで提出してください．詳しい講演論文作成要領は https://jssst2024.wordpress.com/submission/ をご参照ください． - 講演論文を収録した講演論文集は学会ウェブサイトで大会終了後に公開予定です． # 授賞特に優秀な登壇発表を行った本会会員には「高橋奨励賞」が授与されます．また優秀な登壇発表を行った学生には「学生奨励賞」が，聴衆から多くの支持を集めた登壇発表を行った発表者には「優秀発表賞」が授与されます．優秀なデモ・ポスター発表には「優秀デモ・ポスター賞」が授与されます． # 学会誌への同時投稿講演論文は通常論文あるいはレター論文として学会誌に同時投稿できます．大会発表で得られたコメントを反映した上での大会後投稿も可能です．詳細は，ホームページをご覧ください． # お問合せ先 jssst2024 at fun.ac.jp このアドレスへの特定電子メール（広告・宣伝メール）の送信は拒否いたします． ----------------------------------------------------------------------

1 0

『第2回若手による数理論理学研究集会』のご連絡
by 西村祐輝 03 Jul '24

03 Jul '24

logic-ml の皆様、『第2回若手による数理論理学研究集会』運営の西村です。本研究集会について、いくつか告知をいたします。 1. 旅費支援お問い合わせフォームを作成しました。「旅費支援を申し込みたい」「旅費支援によっては参加したい」という方は、こちらのフォームに記入をお願いいたします。事務処理の都合上、締め切りは参加登録フォームより早く、【7/15】とさせていただきます。すでに参加登録フォームにて旅費支援についてお問い合わせをいただいた方も、お手数ですが再度お問い合わせフォームにご記入いただければと思います。 2. 懇親会の詳細が確定しました。 - 日時：8月8日 19:00-21:00 - 会場：神奈川大学 1号館 806室 - 参加費：4,500円懇親会参加の締め切りは、参加締切と同じく 7/22 です。 3. 今回の研究集会では、発表される方に予稿集への寄稿をお願いしています（原稿の提出は集会後を予定）。集会後の予稿集は、神奈川大情報学研究所からオンラインで公開される予定です。ご承知おきください。また、対外的にアピールできる発表実績ともなりますので、とくに学生の方々は積極的に検討していただけると幸いです。 4. アルバイトの参加条件を、「学部生のみ」から「学部生・修士課程学生」に変更しました。修士課程学生の方で、当日の運営を手伝っていただける方は、アルバイト申し込みフォームかに必要事項を記入してください。各種フォームや会の詳細については、ウェブサイトをご覧ください。 https://sites.google.com/view/yorukai-2nd/%E3%83%9B%E3%83%BC%E3%83%A0 発表枠、参加枠ともに、十分に空きがございます。みなさまのご参加をお待ちしています。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

SLACS 2024（8月21日-22日）講演・参加募集のお知らせ
by Kazuyuki Asada 02 Jul '24

02 Jul '24

皆様，（重複して受け取られた場合はご容赦ください．）第41回記号論理と情報科学研究集会（SLACS 2024）幹事の東北大学の浅田です． SLACS 2024は，2024年8月21日（水）～22日（木）に，東北大学電気通信研究所にて現地開催いたします．発表・参加のご検討のほど，どうぞよろしくお願いいたします． ==== SLACS 2024 開催要領 ==== 詳細：https://sites.google.com/view/slacs-2024 日程：2024年8月21日（水）～22日（木）の二日間形式：現地開催会場：東北大学電気通信研究所本館 1階 M153室（〒980-0812 宮城県仙台市青葉区片平２丁目１−１）講演申込： https://forms.gle/ZYdY1yV9RoZn1g649 参加申込： https://forms.gle/LnLKNrW1KNt5UUgB6 費用：参加費無料（懇親会費は別途徴収）幹事：浅田和之（東北大学電気通信研究所, E-mail: asada(a)riec.tohoku.ac.jp) ============================= 講演申し込み期限は 2024年8月14日（水）といたしますが，発表する意思がある方はお早めにお申し込みいただけると幸いです．研究集会への参加申し込みは開催当日まで受け付けます．以上，奮ってご参加ください．

1 0

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

18 Jun '24

皆様 (複数お受け取りの場合はご容赦ください) 国立情報学研究所の関山です。 7月1日に開催される「第7回セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ」の参加募集のご案内です。第7回の開催情報は以下の通りです。詳しくはワークショップの案内ページ：https://sc-sys.github.io/ もあわせてご覧ください。講演内容：コンフィデンシャル・コンピューティングの基盤技術と期待される TEE (Trusted Execution Environment) に関連する3つの講演を予定しています。 1. "CTR: Checkpoint, Transfer, and Restore for Secure Enclaves" Yoshimichi Nakatsuka (ETH Zurich) 2. "TDOS: Trustworthy Heterogeneous Disaggregated Architectures" Atsushi Koshiba (Technical University of Munich) 3. "OP-TEEの利用事例：OP-TEEを用いたIoTのための安全な階層鍵管理機構" 竹房あつ子 (NII) 開催日時：7月1日 14:00〜17:00 開催場所：早稲田大学グリーン・コンピューティング・システム研究開発センター (40号館) 1階プレゼンテーションルーム (https://www.waseda.jp/inst/gcs/access/) 参加方法： Google form https://forms.gle/G8jYDktBZJRYTnYk7 から申し込み (登録締切は 6/28(金) 17:00 です) ワークショップについて：本ワークショップ「セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ (SATSS)」は、新しい（特にセキュアな）計算機システムに関する原理を理論研究と共に計算機ハードウェアからソフトウェアのレイヤまで研究・開発するために必要な知識の獲得と議論の場を提供することを目的として開催しています。また議論を大事にするという観点から、現地参加を推奨しています。(リモート参加も可能です）それでは皆様の参加をお待ち申し上げます。また、お知り合いの方で興味のございます方がいらっしゃいましたら周知いただけますと幸いです。 -- 関山太朗国立情報学研究所 sekiyama(a)nii.ac.jp

1 0

『若手による数理論理学研究集会』参加者募集
by 西村祐輝 13 Jun '24

13 Jun '24

logic-ml の皆様、東京工業大学の西村です。先日告知しました『若手による数理論理学研究集会』について、参加者の募集を開始しましたので告知いたします。詳細については、こちらの公式ページをご覧ください。 https://sites.google.com/view/yorukai-2nd また、学部生以下の方を対象に、当日運営の手伝いをしていただくアルバイトを募集しています。こちらも公式サイトに詳細がありますので、ぜひご覧ください。若手の方々の出席をお待ちしています。また、先生方におかれましては、研究室の学生のみなさんや、ご興味のある学生さんに周知していただけると幸いです。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

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

07 Jun '24

皆様，東北大学の竹田です．以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：6月14日(金)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：中田哲 (京都大学数理解析研究所) 題目準古典的算術における冠頭標準形定理と部分トポス構造概要論理式の形に関する冠頭標準形定理は、直観主義論理上では一般には成り立たないことがよく知られている。とりわけ準古典的算術における冠頭標準形定理の成否については、藤原氏と倉橋氏により精密に調べられている[1]。彼らは証明論的議論に基づき次の否定的結果を示していた: HA + Sigma_1-DNEにおいてSigma_1に関する冠頭標準形定理は成立しない。本講演では、この結果のトポス理論的議論に基づく別証明を与え、その一般化について考察する。 [1] Makoto Fujiwara and Taishi Kurahashi. Prenex normal form theorems in semi-classical arithmetic. Journal of Symbolic Logic, 86(3):1124--1153, 2021. オンライン参加を希望される方は竹田(yuto.takeda.t8(a)dc.tohoku.ac.xn--jp)-u63baam6azav5czbevh0gij9rvoja5sb4j6736j2rvgn34dhb1b どうぞよろしくお願いいたします．竹田侑人 yuto.takeda.t8(a)dc.tohoku.ac.jp

1 0

准教授（鹿児島大学）公募
by Hitoshi Furusawa 06 Jun '24

06 Jun '24

logic-ml の皆さま鹿児島大学の古澤と申します。本学学術研究院理工学域理学系では、以下の公募を行っております。募集人員：准教授１名（任期の定めなし）所　　属：鹿児島大学学術研究院理工学域理学系（理学部理学科／数理情報科学プログラム担当）専門分野：情報科学または情報科学に関連する数理科学着任時期：令和７年４月１日応募締切：令和６年８月２０日（火）必着詳細につきましては下記のURLをご覧ください。 https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D124060260 https://www.kagoshima-u.ac.jp//about/saiyou.html ご興味をお持ちの方がいらっしゃいましたら応募をご検討ください。また、お近くに適任の方がいらっしゃいましたらお勧めいただけますと幸いです。 ----- 鹿児島大学古澤仁

1 0

教員の公募
by AOKI Kunimasa 04 Jun '24

04 Jun '24

logic-ml の皆様水産大学校にいる青木と申します。水産大学校では情報科学分野で教員の公募を行なっております。 https://www.fish-u.ac.jp/shokuin/files/r5-7.pdf お近くに興味のお有りの方がいらっしゃいましたらご紹介いただけると幸いです。よろしくお願いいたします。 — AOKI Kunimasa

1 0

【参加案内】情報処理学会第149回プログラミング研究会（6/13）
by KAMINA Tetsuo 31 May '24

31 May '24

大分大学の紙名と申します。情報処理学会第149回プログラミング研究発表会（PRO-2024-1）の開催案内をさせていただきます。どなたでも無料でご参加いただけますが、参加者の把握のため、下記のURLから参加申込みをお願いします。 https://www.ipsj.or.jp/kenkyukai/event/pro149.html ================================================================= 日程：2024年6月13日(木) 会場：オンライン（参加申込み後に、ZoomのURLが案内されます）研究会：https://sigpro.ipsj.or.jp/pro2024-1/ # プログラム (6/13) * 1件あたり45分（発表25分，質疑・討論20分）（短い発表は発表20分, 質疑・討論10分） * ◯印が登壇者です． ## セッション1 (13:00–14:00) [座長：森畑明昌] 招待講演「Rust から広がるソフトウェア検証・テストの新展望」 ○松下祐介（京都大学） ## 休憩 (14:00–14:15) ## セッション2 (14:15–16:15) [座長：佐藤重幸] 2024-1-(1) (14:15–15:00) 「Rustにおけるトレイトの実装の衝突を避けるための新たなトレイト境界の構文の提案」 ○岡本祐希（芝浦工業大学），篠埜功（芝浦工業大学） 2024-1-(2) (15:00–15:45) 「曲線の定性的扱いと自己交差性の判定」 ○高橋和子（関西学院大学） 2024-1-(3) (15:45–16:15) [短い発表] 「深層学習モデルの形状不一致エラーを静的に検査するHaskellライブラリ」 ○須田太斗（東京工業大学），増原英彦（東京工業大学），叢悠悠（東京工業大学） ## 懇親会 (18:00–20:00) 問合せ先：ipsj-pro-2024-1-organizer(a)googlegroups.com 担当者：佐藤重幸（電気通信大学），紙名哲生（大分大学）

1 0

JAIST Logic Seminar Series - 講演のお知らせ (6月13日)
by Nao Hirokawa 27 May '24

27 May '24

皆様６月１３日（木）に北陸先端科学技術大学院大学で行われます Baaz 教授、Gamsakhurdia 氏（ウィーン工科大学）の講演のお知らせです。皆様、どうぞ奮ってご参加ください。廣川直 (JAIST) ----------------------------------------------------------------------- * JAIST Logic Seminar Series * Date: June 13 (Thu), 2024, 15:30 - 17:10 Place: I-57g (seminar room on 5F of IS Building III) at JAIST (Access: https://www.jaist.ac.jp/english/top/access/index.html) --------------------------------------------------------- Quantifier shifts M. Baaz, Vienna University of Technology (joint work with J. Aguilera, M. Gamsakhurdia, R. Jalali) --------------------------------------------------------- Abstract: In this lecture we analyze the operation of quantifier shifts, one of the oldest deduction formalism in logic. Quantifier shifts are orthogonal to usual deduction rules and have a considerable impact on the complexity of proofs. To understand them better a variant of sequent calculus with relaxed Eigenvariable conditions is developed, which is able to represent quantifier shifts in a cut-free format. There is a non-elementary speed-up of cut-free proofs in the new format vs cut free proofs in the usual format, a manifestation of the proof-theoretic power of quantifier shifts. The intuitionistic version of this calculus is applied to prove, that an intermediary logic admits Standard Skolemization iff it admits all classical quantifier shifts. -------------------------------------------------------- The Limits of Prenexation in First-order Gödel Logics Mariami Gamsakhurdia, Vienna University of Technology (joint work with Matthias Baaz) -------------------------------------------------------- Abstract: One of the first recognised characteristics of classical logic is the existence of a prenex form for each formula. The quantifier-shifting rules are used non-uniquely to construct these prenex forms. The expressive power of prenex fragments is easy to see in classical logic because it coincides with the whole logic, and in Intuitionistic logic since the prenex formulas are very weak (the validity of the prenex formula is decidable). However, because Gödel logics are intermediary logics, the expressibility of its prenex is relatively important. It is clear that prenex normal forms cannot be constructed in the usual sense in Gödel logics because some of the quantifier-shift rules may fail, but this does not imply that no prenex normal form exists. However, demonstrating that such prenex forms do not exist is more difficult. Prenexation does not work for $G_{[0,1]}$ when $0$ is not isolated, since the formula $(\neg \forall x A(x)\wedge \forall x \neg \neg A(x))$ does not allow a prenex normal form. To prove this fact, we use a glueing argument. This result can be extended to all Gödel logics where there is one accumulation point from above, even if it is not $0$. In this talk we provide the complete classification for the first-order Gödel logics with respect to the property that the formulas admit logically equivalent prenex normal forms. We show that the only first-order Gödel logics that admit such prenex forms are those with finite truth value sets since they allow all quantifier-shift rules and the logic $G_\uparrow$ with only one accumulation point at $1$. In all the other cases, there are, in general, no logically equivalent prenex normal forms. We will also see that $G_\uparrow$ is the intersection of all finite first-order Gödel logics. The second stage of our research investigates the existence of the validity equivalent prenex normal form. Gödel logics with a finite truth value set admit such prenex forms. Gödel logics with an uncountable truth value set have the prenex normal form if and only if every surrounding of $0$ is uncountable or $0$ is an isolated point. Otherwise, uncountable Gödel logics are incomplete, and the prenex fragment is always complete with respect to the uncountable truth value set. Therefore, there is no effective translation to the valid formula and the valid prenex form. The countable case, however, is still up for debate. References Matthias Baaz, Norbert Preining Gödel-Dummett logics, in: Petr Cintula, Petr Hájek, Carles Noguera (Eds.), Handbook of Mathematical Fuzzy Logic vol. 2, College Publications, (2011), pp. 585–626, chapter VII. Matthias Baaz, Norbert Preining, Richard Zach First-order Gödel logics, Annals of Pure and Applied Logic vol. 147. (2007) pp. 23–47.

1 0

Prof. Thomas Seillerの講義のご案内　５月２８日ハイブリッド形式
by Mitsu Okada 24 May '24

24 May '24

次のご案内をさせていただけると幸いです。慶應大岡田光弘峯島宏次ーーーーーーーーーーーーーーーーーーー論理―計A算―哲学セミナーLogic-Computation-Philosophy Seminar 「プログラム」「アルゴリズム」「計算モデル」を「定義する」ことに関する Prof. Thomas Seillerの講義をご案内させていただきます。ハイブリッド形式講義Title« Defining "program", "algorithm", and "model of computation" — including a discussion on how models of linear logic emerge by generalizing geometry of interaction and transcendental syntax constructions » We will put updated information in any, here.最新情報URL https://abelard.flet.keio.ac.jp/2024/seminar_talk_202405 <https://abelard.flet.keio.ac.jp/satellite-workshop_202406/poster_ja.pdf> 5月２８日火曜日１7:30-19:00 May 28 Thuesday 慶應義塾大学三田キャンパス東館（東門の建物）4階オープンラボ三田キャンパス：アクセス：[慶應義塾] (keio.ac.jp) <https://www.keio.ac.jp/ja/maps/mita.html> キャンパスマップ13番 At the Open-Lab, 4th floor of the East (Research) Building at the East Gate of Mita-Campus of Keio University Mita Campus: Keio University <https://www.keio.ac.jp/en/maps/mita.html> Building # 13 on the Campus Map 要事前登録・Preregistration required 登録用のリンク Hybrid Meeting https://forms.gle/cbPr2vQrJA4haVFW7 Speaker：Thomas Seiller -（CNRS-LIPN, IHPST） Title of the Talk « Defining "program", "algorithm", and "model of computation" — including a discussion on how models of linear logic emerge by generalizing geometry of interaction and transcendental syntax constructions » Abstract: What is a model of computation? What is a program, an algorithm? While theoretical computer science has been founded on computability theory, the latter does not answer these questions. Indeed, it is a mathematical theory of computable functions, and does not account for computation itself. A symptomatic consequence is the notion of Turing-completeness. This standard (sole?) equivalence between models of computation is purely extensional: it does only care about what is computed and not how, blind to complexity aspects and the question of algorithmic completeness. More importantly, the theory of computation is continuously growing further from how actual machines compute. I will present a proposal for alternative foundations more faithful to computer science practice and interests. This mathematisation of computer science is grounded within the theory of dynamical systems, focussing on *how* computation is performed rather than only on *what* is computed. I will argue that it generalises computability theory while still allowing to recover standard results. This point of view can be used to: provide a uniform account of several lower bounds from algebraic complexity and strengthen them define static analysis methods which can be implemented in usable tools define families of linear realisability models (realisability models for linear logic) lead to a semantic approach of implicit computational complexity propose a formal definition of the notion of algorithm In this talk, I will focus on two aspects from this list, namely points 3 and 5: First, I will explain how abstract programs give rise to models of (fragments of) linear logic, generalising Jean-Yves Girard’s geometry of interaction (or more recent transcendental syntax) constructions. I will also explain how these technical developments shed a new light on the question of defining logical constants. Second, I will present the formal definition of algorithm that stems from the approach, discuss its properties and provide a few examples. 問い合わせ先Logic-Computation-Philosophy Group, Dept. Philoophy Keio Univ logic[AT]abelard.flet.keio.ac.jp 岡田光弘峯島宏次

1 0

APLAS 2024: Final Call for Papers
by Mirai Ikebuchi 24 May '24

24 May '24

皆様，京都大学の池渕です．APLAS 2024のfinal CfPをお送りします． Submission deadlineが延期され，5/31(金)になりました． ====================================================== Final CFP: Deadline extended till May 31 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 31 (EXTENDED, firm) 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 (Nagoya U.) Publicity Chairs: Ryosuke Sato (TUAT 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 0

2024年度日本数学会秋季総合分科会（講演申込の受付開始）
by Takahiro Seki 23 May '24

23 May '24

みなさま（重複して受け取られた方は申しわけございません。）　日本数学会の数学基礎論および歴史分科会で連絡責任評議員を務めております新潟大学の関です。　今年の日本数学会秋季総合分科会は以下のとおり開催されますが（例年より開催時期が早いです）、本日から一般講演の申込受付を開始しました。　2024年度日本数学会秋季総合分科会　　https://www.mathsoc.jp/activity/meeting/osaka24sept/index.html 　日程：9月3日（火）～6日（金）　　　（数学基礎論および歴史分科会は 5日（木）、6日（金）の予定）　会場：大阪大学豊中キャンパス　講演申込期間：5月24日（金）～6月14日（金）　みなさまのご参加とご講演をお待ちしております。　よろしくお願いいたします。 --- 関　隆宏新潟大学経営戦略本部評価センター

1 0

第7回ステアラボソフトウェア技術セミナー「Programming Language with Versions」のご案内
by 安部達也 23 May '24

23 May '24

皆様、千葉工業大学の安部達也です。東京工業大学の田辺裕大さん（https://yudaitnb.github.io/）に Programming with Versions (PWV) における最新の結果についてお話しいただけることになりました。初めてこの話を聴くという方々だけでなく、PPL'24 で時間の制約上十分に話を聴けなかった・議論したかったのに、と残念に思っていた皆様にもまた大変よい機会であると思います。ぜひご参加ください。日時：2024年5月24日（金）15:00〜16:00 場所：オンライン参加費：無料参加方法：https://stair-st.connpass.com/ 講師：田辺裕大様演題：Programming Language with Versions 概要：更新作業は現代で最も忌避される開発タスクの一つである。現代のソフトウェア開発は外部パッケージの使用に強く依存しており、外部パッケージの更新はソフトウェアの既存の振舞を破壊することがある。現代的な開発支援ツールはパッケージの依存性解析に基づいた更新支援を提供するが、コードベースの更新作業中には同一パッケージの複数バージョンへの同時依存が不可避的に生じ、実装を無視した解析を行う開発支援ツールではこの問題に有効な解決策を与えることができない。 Programming with Versions (PWV) は、この問題を解決するために近年提案された言語設計である。PWV 言語ではバージョンの概念を言語意味論に持ち込むことにより、単一のモジュールの新旧バージョンの機能を選択的に使用可能である。また、一貫した仕様に基づいたデータフローで計算が行われることを保証する。これらの機能は、膨大な作業コストを要していた更新作業の漸進化を可能にする。本講演では、APLAS'23 及び PPL'24 カテゴリ2で発表された論文 "Compilation Semantics for a Programming Language with Versions" に基づき、実験的な関数型 PWV 言語 VL 及びそのコア計算 λVL を通して、PWV の言語設計を解説する。特に、PPL'24 では時間の制約で紹介できなかった技術的詳細（安全性の原理・型システム設計・バージョン推論・コンパイル手法）や予備評価、関連する更新支援技術、将来の課題についても紹介する。問合せ先：安部達也 <abe.tatsuya(a)it-chiba.ac.jp>

1 1

助教公募(愛媛大学数理科学講座)締切R6/7/22
by FUJITA Hiroshi 23 May '24

23 May '24

Logic-MLの皆様、愛媛大学の藤田と申します。愛媛大学の数理科学講座では、下記の通り助教の公募を行うこととなりました。関係者にご周知いただくと共に、適任者をご存知の場合にはぜひ応募をお勧めいただきますようお願い申し上げます。募集人員: 助教１名所属部門: 愛媛大学大学院理工学研究科理工学専攻数理科学講座専門分野: 数学（分野は問わないがデータサイエンスに関心がある方が望ましい）担当科目: 理学部理学科数学・数理情報コースの専門科目等参考： https://www.math.sci.ehime-u.ac.jp/ 着任時期: 令和６年１２月１日以降、令和７年４月１日までのできるだけ早い時期公募締切: 令和６年７月２２日（月）必着詳細につきましては, 以下のページをご覧ください。 https://www.ehime-u.ac.jp/tp_20240522_jin02/ このお知らせを重複して受け取られた方はご容赦ください。よろしくお願い申し上げます。愛媛大学大学院理工学研究科理工学専攻数理科学講座藤田博司 fujita.hiroshi.mh(a)ehime-u.ac.jp<mailto:fujita.hiroshi.mh@ehime-u.ac.jp>

1 0

SAML 2024 の参加登録
by SAKAI Hiroshi 21 May '24

21 May '24

皆様：東京大学の酒井と申します． Symposium on Advances in Mathematical Logic (SAML) 2024 の参加登録を開始しましたので，アナウンスさせていただきます． SAML 2024 日程：7月9日(火) -- 12日(金) 形式：ハイブリッド形式対面会場：京都大学数理解析研究所ホームページ：https://sites.google.com/view/saml2024 上記ホームページにあるフォームから参加登録をしていただけます．不明な点がありましたら，下記連絡先にお問い合わせください．連絡先：酒井拓史 hrshsakai(a)gmail.com 皆様のご参加をお待ちしています．酒井拓史

1 0

第2回「若手による数理論理学研究集会」開催のお知らせ
by 西村祐輝 21 May '24

21 May '24

logic-ml のみなさま、東京工業大学の西村です。昨年開催しました『若手による数理論理学研究集会』について、第2回開催の告知をいたします。さしあたり、現在決定している事項は次の通りです。 - 日時：2024年8月7日-9日 - 場所：神奈川大学横浜キャンパス続報がありましたら、こちらのメーリスでお知らせします。また、こちらの公式サイトにも情報を掲載いたします。 https://sites.google.com/view/yorukai-2nd ご参加を検討いただけると幸いです。また、お近くに数理論理学に興味のある学生がいらっしゃる場合には、宣伝いただけるとありがたいです。どうぞよろしくお願いいたします。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

東北大ロジックセミナーのご案内
by yuto.takeda.t8＠dc.tohoku.ac.jp 21 May '24

21 May '24

皆様，東北大学の竹田です．以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：5月24日(金)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：鈴木悠大 (国立沖縄高専) 題目　 On the Pi^1_2, Sigma^1_2 and Boole(Pi^1_2) sentences provable from Pi^1_1-CA_0 概要　In [1], we introduced some characterizations of the set of Pi^1_2 sentences provable from Pi^1_1-CA_0 and a hierarchy dividing it. For a detailed study of the properties of this hierarchy, it was important to focus on the statements of the form [every coded beta-model satisfies sigma] for some specific sentences sigma. In this talk, we summarize a part of [1]. Then we give a characterization of the set of Sigma^1_2 or Boole(Pi^1_2) sentences provable from Pi^1_1-CA_0 by statements of the form [every coded beta-model satisfies sigma]. Here, Boole(Pi^1_2) is the class of formulas generated by disjunction, conjunction and negation starting from Pi^1_2. This is joint work with J. Aguilera and K. Yokoyama. [1] Suzuki, Y., & Yokoyama, K. (2024). On the $\Pi^ 1_2 $ consequences of $\Pi^ 1_1 $-$\mathsf {CA} _0$. arXiv preprint arXiv:2402.07136. オンライン参加を希望される方は竹田(yuto.takeda.t8(a)dc.tohoku.ac.xn--jp)-u63baam6azav5czbevh0gij9rvoja5sb4j6736j2rvgn34dhb1b どうぞよろしくお願いいたします．竹田侑人 yuto.takeda.t8(a)dc.tohoku.ac.jp

1 0

事務連絡: moderation について
by Atsushi Igarashi 16 May '24

16 May '24

logic-ml のみなさま， logic-ml 管理人の五十嵐です．本MLは，投稿は moderation が必要な状態で登録されます．これまで， moderation 待ちのメールがあることが管理人のところに通知されていたのですが，昨年末に mailman3 に切り替えて以来，通知がうまく受け取れないでおります．ついでがあった時に moderation 待ちがないか見るのですが，今回は間があいてしまってひと月も待ちになっておりました．投稿者の方には大変ご迷惑をおかけし申し訳ありません．投稿しても流れてないぞ，と思った時は遠慮なく，五十嵐までご連絡ください．通知が受け取れない問題など根本的な解決をしたいのですが時間が取れないでおります．ベストエフォート運営ということでご理解ください．一切合財引受けていただける方がいらっしゃると一番よいのですが… -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 1

准教授の公募
by SAKAI Hiroshi 14 May '24

14 May '24

皆様：東京大学の酒井です．東京大学数理科学研究科で准教授の公募をしております． https://www.ms.u-tokyo.ac.jp/news/kobojunkyoju20240630j.pdf ご興味のある方はご応募ください．よろしくお願いいたします．酒井拓史

1 0

【代理送信】東大数理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 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

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

07 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 29 Feb '24

29 Feb '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