Logic-ml December 2023

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

7 participants
10 discussions

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

08 Apr '24

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

2 1

CICM 2024 - 17th Conference on Intelligent Computer Mathematics - Call for Papers
by Nao Hirokawa 09 Jan '24

09 Jan '24

皆様来年８月にモントリオールで開催される国際会議 CICM の論文募集の案内をお送り致します。ぜひ論文の投稿をご検討下さい。廣川（JAIST） --------------------------------------------------------------------------- Call for Papers formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August 5-9, 2024 Montreal, Canada https://cicm-conference.org/2024/ --------------------------------------------------------------------------- More and more mathematical information is digitally processed, generated, communicated, stored and curated. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration. CICM 2024 invites submissions in all topics relating to intelligent computer mathematics, in particular but not limited to * theorem proving and computer algebra * mathematical knowledge management * digital mathematical libraries *** Important Dates *** Formal submissions - Abstract deadline: March 11, 2024 - Full paper deadline: March 18, 2024 - Reviews sent to authors: April 29, 2024 - Rebuttals due: May 1, 2024 - Notification of acceptance: May 16, 2024 - Camera-ready copies due: June 3, 2024 - Conference: August 5-9, 2024 Doctoral programme applications - Submission deadline: June 13, 2024 - Notification of acceptance: June 28, 2024 CICM appreciates the varying nature of the relevant research in this area and invites submissions of two different forms: *** Formal Paper Submissions *** Formal submissions will be reviewed rigorously and accepted papers will be published in a volume of Springer LNAI: * regular papers (up to 15 pages + bibliography) present novel research results * project and survey papers (up to 15 pages + bibliography) summarize existing results * system and dataset descriptions (4 to 5 pages + bibliography) present digital artifacts *** Doctoral Symposium: Two-Page Abstracts*** The doctoral programme provides PhD students a forum to present early results to receive constructive feedback and mentoring. To attend, submissions of two-page abstracts are expected in which the focus and research questions of the expected PhD theses are described; details on completed research tasks and remaining research plans should be given. In addition to these abstracts, a two-page CV of the applicant should also be submitted, detailing background information (name, university, supervisor), education (sought degree, previous degrees), employments and relevant research experience (publications, attended conferences/workshops). *** Submissions *** All submissions should be made via EasyChair at https://easychair.org/conferences/?conf=3Dcicm2024 using the Springer LNCS style files https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… CICM 2024 proceedings, containing the accepted formal submissions, will be published in the Springer LNAI series. *** Participation - Physical Event *** CICM 2024 will be held as a physical event and participation is possible only on-site. At least one of the authors of accepted papers is expected to register to CICM 2024 and present the work(s) on-site. *** Best Papers *** CICM 2024 honors the best paper and best student paper with respect to reviews and program committee discussions with an award.

1 1

MLメンテ作業
by Atsushi Igarashi 29 Dec '23

29 Dec '23

fos.kuis.kyoto-u.ac.jp でホストしている各種ＭＬのみなさま，管理人の五十嵐です．メイリングリスト管理に使っているソフトウェアのバージョンアップのため，一時的に使用できなくなります．うまくいけば1時間程度で終わると思います．終了しましたら改めてお知らせいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 1

大阪公立大学特任講師（数学）の公募
by Masaru KADA 27 Dec '23

27 Dec '23

logic-ml のみなさま：大阪公立大学嘉田勝です。大阪公立大学では、下記の特任講師（数学）の公募を開始しました。詳細は下記URLの情報をご覧ください。適任者をご存知でしたら応募をお勧めいただけますと幸いです。 https://www.omu.ac.jp/research/recruit/faculty-sp/entry-00196.html -- ==== Masaru KADA （嘉田勝） kada(a)omu.ac.jp ====

1 0

助教（任期制）2名の公募（東京理科大学理学部第一部応用数学科）
by Makoto Fujiwara 18 Dec '23

18 Dec '23

皆様東京理科大学の藤原誠です．本学理学部第一部応用数学科にて来年度4月着任予定の助教（任期制）2名の公募を行っております． https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D123111966 応募締切は12月25日です．もしよろしければ応募をご検討下さい．また，お近くに適任の方がいらっしゃればご紹介いただければ幸いです．どうぞよろしくお願いいたします． ---------------------------------------------------------- 藤原誠 (Makoto FUJIWARA) 東京理科大学理学部第一部応用数学科助教 E-mail: makotofujiwara(a)rs.tus.ac.jp<mailto:makotofujiwara@rs.tus.ac.jp> ----------------------------------------------------------

1 0

東北大ロジックセミナーのご案内
by 鈴木悠大 18 Dec '23

18 Dec '23

皆様，東北大学の鈴木です．以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：12月22日(金)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：一倉海斗 (静岡大学) 題目 Subintuitionistic logicsの間の非可算濃度の論理の存在概要 Jankovは1968年に古典論理と直観主義論理の間に非可算濃度の論理の存在を示している. このJankovの結果は, その間に存在する論理の濃度が大きいという意味で, 古典論理と直観主義論理との間に大きな隔たりがあることを表現していると考えられる. Bezhanishvili-Colacito-de Jongは, 2020年に幾つかのsubminimal logics の間における非可算濃度の論理の存在を近傍意味論を用いて示した. この結果は, subintuitionistic logicsの間にも多くの大きな隔たりがあることを示唆している. 今回は2020年の結果を出した方法とは別の1974年のWro\’{n}skiによる代数的手法を工夫した方法を用いて, 上記の2020年の結果も含めて多くのsubintuitionistic logicsの間に非可算濃度の論理が存在することが分かったので, これを概説する. 上記HPにも記載のあります通り，オンライン参加を希望される方は鈴木(yudai.suzuki.q1(a)dc.tohoku.ac.jp )宛にご連絡いただきますようよろしくお願いいたしますどうぞよろしくお願いいたします．鈴木悠大 yudai.suzuki.q1(a)dc.tohoku.ac.jp

1 0

【論文/発表募集】第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
by 安部達也 08 Dec '23

08 Dec '23

皆様， PPL 2024 プログラム共同委員長の安部です．カテゴリ1（国内外未発表論文）の発表申込締切（12/22(金)17:00）が迫って参りましたので改めて CFP をご案内させていただきます．理論・実装を問わず，プログラミング・プログラミング言語に関する研究発表を幅広く募集しております．皆様のご投稿をお待ちしております． PPL 2024 プログラム共同委員長（ppl2024-pc-chair(a)jssst-ppl.org) 安部達也（千葉工業大学）川端英之（広島市立大学） ======================================================= 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2024年3月5日（火）-- 3月7日（木）会場：朱鷺メッセ新潟コンベンションセンターおよびオンラインのハイブリッド開催 URL ：https://jssst-ppl.org/workshop/2024/ ** 重要な日程 ** カテゴリ1：発表申込締切 2023年12月22日（金）17:00 (JST) 論文提出締切 2024年 1月 5日（金）17:00 (JST) 採否通知　　 2024年 1月29日（月）最終原稿締切 2024年 2月16日（金）17:00 (JST) カテゴリ2：発表申込締切 2024年 1月19日（金）17:00 (JST) 採否通知　　 2024年 1月30日（火）カテゴリ3：発表申込締切 2024年 1月31日（水）17:00 (JST) 採否通知　　 2024年 2月 2日（金）カテゴリ4：発表申込締切 2024年 1月19日（金）17:00 (JST) 採否通知　　 2024年 1月30日（火） ** PPL 2024 の開催形式について ** PPL 2024 は，通常の研究会形式での，対面を中心としたハイブリッド開催を予定しています．対面を中心とするのは，PPL 2024 を以前の PPL と同様にカジュアルかつインフォーマルな意見交換や交流の場にするためであり，発表者には原則対面でご参加いただくことを考えております．それに加えて，より広範な方々に研究の議論にご参加いただくためにも，COVID-19 状況下で獲得した知見を生かしてオンラインでも参加者に非同期・同期的な聴講および質疑の場を提供する予定です．ただし，ポスター・デモセッションは対面でのみ行い，オンラインへの提供は行わない予定です． ** PPL 2024 とは ** PPL 2024 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 招待講演 ** PPL 2024 では，以下のお二方の招待講演を予定しております．　山田晃久氏（産業技術総合研究所）（https://akihisayamada.github.io/）　「岩村の補題、超限帰納法と Isabelle/HOL」　渡部有隆氏（会津大学）（https://u-aizu.ac.jp/~yutaka/）　「コードレビュー AI によるプログラミング学習支援」 ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国際既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ2 では，国際会議や国際学術論文誌等で発表済みまたは採録決定済みの，自身が著者の一人に含まれている研究論文の紹介を募集します．PPLとの関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2 の全発表のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3 の全発表のなかから最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも一般の部・学生の部の 2種類，ただし「発表賞」は既受賞者を除く）． ** プログラム委員会 ** プログラム共同委員長　安部達也（千葉工業大学）プログラム共同委員長　川端英之（広島市立大学）石尾隆　　（公立はこだて未来大学）岩見宗弘　（島根大学）緒方一則　（日本IBM）倉光君郎　（日本女子大学）光来健一　（九州工業大学）酒井正彦　（名古屋大学）新屋良磨　（秋田大学）澄川靖信　（拓殖大学）高野保真　（北里大学）滝坂透　　（電子科技大学）田中哲　　（産業技術総合研究所）千田忠賢　（NTT社会情報研究所）長慎也　　（明星大学）立木秀樹　（京都大学）塚田武志　（千葉大学）中正和久　（山口大学）中村誠希　（東京工業大学）西村進　　（京都大学）蓮尾一郎　（国立情報学研究所）日高宗一郎（法政大学）細部博史　（法政大学）山崎進　　（北九州市立大学）山崎徹郎　（東京大学）和賀正樹　（京都大学） ** 組織委員会 ** 組織委員長　　　　　　　木村大輔　（東邦大学）組織副委員長　　　　　　今井敬吾　（ディー・エヌ・エー）財務担当　　　　　　　　池渕未来　（京都大学）財務副担当　　　　　　　森口草介　（東京工業大学）会場担当　　　　　　　　松田直祐　（湘南工科大学）会場副担当　　　　　　　橋本健二　（名古屋大学）渉外担当　　　　　　　　浅田和之　（東北大学）プログラム共同委員長　　安部達也　（千葉工業大学）プログラム共同委員長　　川端英之　（広島市立大学）前プログラム共同委員長　小宮常康　（電気通信大学）前プログラム共同委員長　松田一孝　（東北大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2024-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2024-pc-chair(a)jssst-ppl.org

1 0

大阪公立大学数学研究所：2024年度共同利用・共同研究提案および数学研究所員の募集
by Masaru KADA 07 Dec '23

07 Dec '23

logic-ml のみなさま：大阪公立大学嘉田勝です。大阪公立大学数学研究所 (OCAMI) では、 2024年度の共同利用・共同研究提案および数学研究所員を募集しておりますので、ご案内申し上げます。 ======== 大阪公立大学数学研究所は、 2019年4月に文部科学省から共同利用・共同研究拠点に認定され、 2023年度からは文部科学省「機能強化支援」に採択されています。これらの援助を受けて、以下の２つの事業の募集を行います。 (1) 「2024年度実施の共同利用・共同研究の研究計画提案の募集」締切は2024年1月31日（水）です。原則として大阪公立大学で実施するものが対象ですが、大阪公立大学を拠点とするオンラインまたはハイブリッド開催も可能で、研究集会だけでなく少人数での共同研究や研究討論も歓迎します。詳しくは募集要項・応募書類等をご覧ください： https://www.omu.ac.jp/orp/ocami/joint/application/ (2) 「2024年度数学研究所員の募集」締切は2024年1月31日（水）です。研究所員が希望する場合には、本数学研究所を研究拠点として e-Rad 登録を行い、科研費等の外部資金に応募することもできます。詳しくは募集要項をご覧ください： https://www.omu.ac.jp/orp/ocami/people/dispatch-program/ どうぞよろしくお願いいたします。大阪公立大学数学研究所　所長　田丸博士 ======== -- ==== Masaru KADA （嘉田勝） kada(a)omu.ac.jp ====

1 0

山陰での研究集会のご案内
by 堀畑佳宏_米子教職員 06 Dec '23

06 Dec '23

logic-ml の皆さま（先ほどは不要な一文が入っていたため再送いたします）米子高専の堀畑です．『第9回山陰数学と基礎論の研究集会』を開催します．基礎論，数学，教育の気軽な研究交流の場を目指していきます！周りの方にも転送・お声がけし宣伝頂ければ幸いです！研究集会のHP https://sites.google.com/view/logic-and-math/2024 日程：2024年1月6日 (土) ~ 7日 (日) ※ 6日の夜には懇親会を予定しています．場所：米子コンベンションセンター（鳥取県米子市）締切：〜12月11日 (月)　講演申し込み〜12月25日 (月)　参加申し込み申し込み：以下のFormsより参加・講演登録をお願いします． https://forms.office.com/r/6q5uZdiikH ※ 講演者はアブストラクトのPDFを堀畑までメール添付願います（12月25日まで．例 horihata.pdf）不明な点，申込の不具合などがあれば堀畑まで連絡を下さい．堀畑佳宏 -- 米子工業高等専門学校教養教育部門・数学 horihata(a)yonago-k.ac.jp

1 1

証明論研究集会2023: RIMS共同研究(公開型)「証明論と計算論の最前線」のご案内
by YOKOYAMA Keita 02 Dec '23

02 Dec '23

みなさま，東北大学の横山です． 2023年度の証明論研究集会を以下の通りRIMS共同研究(公開型)として開催いたします．ご講演・ご参加をご検討いただけましたら幸いです．どうぞよろしくお願いいたします． ********************************* RIMS共同研究(公開型)「証明論と計算論の最前線」日時：2022/12/11(月)午後-2022/12/14(木)午前場所：京都大学数理解析研究所(RIMS)110号室(およびオンライン) 講演募集：11月20日締め切り詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2023 また講演申し込み(11月20日締め切り)及び参加登録は以下のフォームよりお願いいたします． https://forms.gle/HoMR3wx595FbLxHc7 ********************************* どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml December 2023