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

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

09 Sep '23

皆様， PPL 2024 プログラム共同委員長の安部です．来年（2024）の 3/5〜7 に新潟朱鷺メッセにて開催予定の PPL 2024 の論文/発表募集をお送りいたします． PPL 2024 では，理論・実装を問わず，プログラミングおよびプログラミング言語に関する発表・論文を広く募集しております．どうぞ，発表・投稿をご検討いただけますと幸いです． 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日（月）カテゴリ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システム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 発表募集カテゴリ ** 以下の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

教授（鹿児島大学）公募
by Hitoshi Furusawa 08 Sep '23

08 Sep '23

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

1 0

教授または准教授(愛媛大学)公募(締切R5/10/27)
by FUJITA Hiroshi 07 Sep '23

07 Sep '23

Logic-MLの皆様、愛媛大学の藤田です。愛媛大学大学院理工学研究科（数理科学講座）では、以下の公募を行っております。募集人員: 教授または准教授（任期なし）１名所属部門: 愛媛大学大学院理工学研究科理工学専攻数理科学講座応募資格: 修士以上の学位、実務の経験を有する、など専門分野: 機械学習、データサイエンス及びそれらの関連分野着任時期: 令和6年4月1日以降のなるべく早い時期公募締切: 令和5年10月27日（金）17:00必着本件、応募資格に特徴がある公募となっております。詳細につきましては, 以下のページをご覧ください。 https://www.ehime-u.ac.jp/wp-content/uploads/2023/09/surikagaku_kobo.pdf 関係者等にご周知いただければ幸いです。また、適任者をご存知の場合には、ぜひ応募をお勧めいただきますようお願い申し上げます。よろしくお願いいたします。愛媛大学大学院理工学研究科理工学専攻数理科学講座藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp>

1 0

【講演募集中】RIMS Set Theory Workshop 2023
by FUJITA Hiroshi 04 Sep '23

04 Sep '23

Logic-ML のみなさま、こんにちは。愛媛大学の藤田です。京大RIMSでの集合論研究集会(RIMS Set Theory Workshop 2023)について、重ねて講演募集のお知らせです。今年度の RIMS Set Theory Workshop 2023 は＊「巨大基数と連続体」という題目のもと、＊ 10月24日(火)〜27日(金)の4日間、＊京都大学数理解析研究所110号室とZoom配信のハイブリッド形式で開催されます。今年は、カタロニアICREAのJoan Bagaria先生のミニ・コースを予定しております。集合論および関連分野に関する講演を幅広く募集しております。まだまだ講演枠には余裕がありますので、若手のみなさまも、ベテランのみなさまも、ぜひ講演をご検討ください。RIMSでの対面での講演、Zoomによるリモート講演のどちらにも対応いたします。講演ご希望の方は、日々が迫っていて申しわけありませんが、9月15日(金)までに、 fujita.hiroshi.mh(a)ehime-u.ac.jp まで、電子メールにてご連絡ください。研究集会のウェブページは https://tenasaku.com/RIMS2023/ にあります。お知り合いの皆さまにもお知らせいただければ幸いです。今後ともよろしくお願いいたします。藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp>

1 0

『若手による数理論理学研究集会』について
by 西村祐輝 31 Aug '23

31 Aug '23

logic-ml の皆様、『若手による数理論理学研究集会』の西村です。公式サイトにて、タイムテーブルを公開しました。発表件数が多く、1日目も朝早くからの開催となりますのでご注意ください。発表者の中で時間を変更してほしいなどの要望がありましたら、お早めにお申し付けください。また、参加受付は 9/7 まで受け付けております。現地での参加、オンライン参加のどちらでもかまいません。公式サイト：https://sites.google.com/view/xbmyl3svm2zgtsfmnyeq94xp43 どうぞよろしくお願いいたします。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

【9月5日締め切り】参加募集: 日本ソフトウェア科学会第40回大会
by Kohei SUENAGA 30 Aug '23

30 Aug '23

# 複数お受け取りの場合はご容赦ください．日本ソフトウェア科学会第40回大会の参加募集を再度お送りします．今年度の大会では第40回の記念に学生参加費が無料です．参加申込み締切は *** 9月5日(火) *** です．お早めにお申込みください．合わせて運営を手伝って頂ける学生アルバイトも募集しています． https://jssst2023.wordpress.com/sv/ こちらも9月5日(火)が締切です．教員の方はお近くの学生さんにお声がけください． ------------------------------------------------ 日本ソフトウェア科学会第40回大会参加募集 https://jssst2023.wordpress.com/ 日時：2023年9月11日(月)～9月14日(木) 会場：東京大学本郷キャンパス工学部2号館 (〒113-8656 東京都文京区本郷7-3-1) 申込み：https://jssst2023.wordpress.com/participation/ 申込締切：2023年9月5日(火) ※ 学生は参加無料ですが参加登録が必要です．日本ソフトウェア科学会第40回大会及び併設イベント（チュートリアル，PPL サマースクール）の参加募集を開始いたしました．今年も未来のソフトウェアとそれを支えるソフトウェア科学に関する多数の発表が予定されております．本年の大会は基本的に現地での開催となります．発表はZoomでの配信も予定しています．プログラム: https://jssst2023.wordpress.com/program/ 基調講演(1) 9月12日 9:20～10:30 丸山宏（花王）「コンピュータサイエンスはどこへ向かうか」基調講演(2) 9月12日 15:05～16:15 原田康徳（合同会社デジタルポケット）「手作りプログラミング　プログラミング言語ビスケットの20年と、それより前の20年」併設チュートリアル 9月11日 14:00～17:00 「試して作って知るライブプログラミング入門」講師：加藤淳（産業技術総合研究所）橋本麦（産業技術総合研究所）併設PPLサマースクール 9月11日 9:30～12:55 「正規表現研究の最先端」講師：千田忠賢（NTT社会情報研究所），南出靖彦（東京工業大学）皆様のご参加をお待ちいたしております． -- 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

【参加登録受付中】日本ソフトウェア科学会第40回大会
by Kohei SUENAGA 28 Aug '23

28 Aug '23

# 複数お受け取りの場合はご容赦ください京都大学の末永と申します。日本ソフトウェア科学会第40回大会の参加募集をお送りします。今年度の大会では第40回の記念に学生参加費が無料です。 https://jssst2023.wordpress.com/ にてプログラムが公開されています。招待講演を始めとして 40周年企画セッションや基礎研究賞受賞講演等盛りだくさんのプログラムになっております。 PPLサマースクールや大会チュートリアルもやっております。ぜひ参加をご検討ください！ ------------------------------------------------ 日本ソフトウェア科学会第40回大会参加募集 https://jssst2023.wordpress.com/ 日時：2023年9月11日(月)～9月14日(木) 会場：東京大学本郷キャンパス工学部2号館 (〒113-8656 東京都文京区本郷7-3-1) 申込み：https://jssst2023.wordpress.com/participation/ 申込締切：2023年9月5日(火) ※ 学生は参加無料ですが参加登録が必要です．日本ソフトウェア科学会第40回大会及び併設イベント（チュートリアル，PPL サマースクール）の参加募集を開始いたしました．今年も未来のソフトウェアとそれを支えるソフトウェア科学に関する多数の発表が予定されております．本年の大会は基本的に現地での開催となります．発表はZoomでの配信も予定しています．皆様のご参加をお待ちいたしております． -- 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

CCC 2023 - call for participation
by Takao Yuyama 28 Aug '23

28 Aug '23

logic-mlの皆様京都大学の湯山です．来月9月25日(月)〜29日(金)に京都で開催される研究集会 CCC 2023 の参加募集について，下記の通りお知らせいたします．参加登録の締切は9月13日(水)ですが，参加人数把握のため，早めに登録いただけますと幸いです． Takao Yuyama 湯山孝雄京都大学数理解析研究所 yuyama(a)kurims.kyoto-u.ac.jp ---- CALL FOR PARTICIPATION CCC 2023: Continuity, Computability, Constructivity – From Logic to Algorithms Research Institute for Mathematical Sciences, Kyoto University Kyoto, Japan, September 25 - 29, 2023 Participation can be online or in person and is free of charge. A link for the registration can be found on the following conference website: https://www.i.h.kyoto-u.ac.jp/ccc2023/ Please register early, so that we can confirm the number of participants. Deadline for registration: September 13 ==================================================== Topics: constructive mathematics, constructive analysis, computable analysis, exact real number computation CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation. ======================================================== Invited Speakers: Johanna Franklin (Hofstra University, USA) Alexander G. Melnikov (Victoria University of Wellington, NZ) Takako Nemoto (Tohoku University, Sendai, JP) Siegfried M. Rump (Hamburg University of Technology, DE) Linda Westrick (Penn State University, USA) ======================================================== Programme Committee Ulrich Berger (Swansea, UK) Daniel Graça (Faro, Portugal) Takayuki Kihara (Nagoya, Japan) Milly Maietti (Padua, Italy) Norbert Müller (Trier, Germany) (chair) Sewon Park (Kyoto, Japan) Svetlana Selivanova (Novosibirsk, Russia) Chuangjie Xu (Munich, Germany) Martin Ziegler (KAIST, Republic of Korea) Organizing Committee Matthew de Brecht (Kyoto, Japan) Akitoshi Kawamura (Kyoto, Japan) (co-chair) Sewon Park (Kyoto, Japan) Holger Thies (Kyoto, Japan) (co-chair) Hideki Tsuiki (Kyoto, Japan) Takao Yuyama (Kyoto, Japan)

1 0

東北大ロジックセミナーのご案内(8月29日)
by YOKOYAMA Keita 27 Aug '23

27 Aug '23

皆様東北大の横山です．直前のご案内になりまして恐縮ですが，以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：8月29日(火) 15:00- 場所：東北大学理学研究科合同A棟803号室 (当日はzoom配信を実施予定です． zoomにて参加を希望される方は，五十里さん(hiroyuki.ikari.q8(a)dc.tohoku.ac.xn--jp)-u63b4b3ai1gucvn3231fnbwb) 講演者：仁木哲 (ルール大学ボーフム) 題目： How can an intuitionistic logician understand connexive constructible falsity? 概要： Constructivists have usually understood negation as an implication to absurdity. Nonetheless, there have also been dissenting voices to this conception, one of the most notable among which are ones who advocate an alternative notion called constructible falsity. Nels David Nelson (1918-2003) introduced this notion as a `strong’ form of negation, which provides a direct counter-example to its negand. This `strongness’ is however often eschewed in favour of paraconsistency, making the resulting negation, severed of its relationship with intuitionistic negation, harder for intuitionistic logicians to comprehend. The issue is more serious in a variant of constructible falsity introduced by Heinrich Wansing, which validates so-called `connexive’ principles. This is due to the provability of a contradictory pair of formulas, which prohibits an interpretation of it as a `strong’ negation without bringing triviality. As a result, Wansingian negation should appear even more mysterious to the eyes of intuitionistic logicians. Another way to relate intuitionistic and Wansingian negations is to accept the law of excluded middle for the latter, as studied by Wansing and Hitoshi Omori. This move, however, compromises constructivity, and therefore is perhaps not so preferable either. In this talk, I will try to shed some lights on this issue, by discussing other ways to introduce an interaction between intuitionistic and Wansing negations. I will compare relative advantages of the interactions, which may enable intuitionistic logicians to better understand Wansingian negation and its connexivity. どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

SLACS 2023（8月31日・9月1日）発表プログラム公開
by Yosuke Fukuda 24 Aug '23

24 Aug '23

皆様，第40回記号論理と情報科学研究集会（SLACS 2023）幹事の福田@京都橘大です． SLACS 2023の暫定の発表プログラム( https://lambda.ski/slacs2023 )を公開しましたのでお知らせいたします． ==== SLACS 2023 開催要領 ==== 詳細: https://lambda.ski/slacs2023 日程: 2023年8月31日（木）から2023年9月1日（金）の二日間形式: 対面およびオンラインのハイブリッド開催会場: 京都橘大学優心館2階 E201教室（〒607-8175 京都府京都市山科区大宅山田３４）費用: 参加費無料幹事: 福田陽介（京都橘大学, E-mail: yf(a)lambda.ski ） ======== 参加をご希望の方は上記ウェブページにあるフォームから登録をお願いいたします．研究集会への参加申し込みは開催前日まで受け付けます．以上，奮ってご参加ください．

1 0

「若手による数理論理研究集会」についてご案内
by 西村祐輝 19 Aug '23

19 Aug '23

logic-ml の皆様、東京工業大学の西村です。以前告知しました「若手による数理論理研究集会」について、いくつかのご案内を申し上げます。 1. 講演申し込み者の皆様には、8月25日以降に、以下の事項について伺います。・演題・講演の概要・発表時間の希望：通常（40分程度）、ショートトーク（15分程度）の2つを設けています。すでにお決まりの方がいらっしゃいましたら、お早めにお知らせいただけると幸いです。 2. 旅費支援および宿泊費支援においては、対象者の方に 8/25 以降個別に連絡いたします。つきましては、旅費支援をご希望の方は、お手数ですが *8月24日* までに参加申し込みをいただきますよう、よろしくお願いいたします。 3. 各種締め切りは次のとおりです。・発表申し込み：8月24日・参加申し込み：9月7日宿泊申し込みの締め切りは過ぎておりますので、両日参加される方は、各自で宿泊先の手配をお願いいたします。合わせて、・旅費支援申請：8月24日・懇親会参加：8月24日を、それぞれ締め切りといたします。 4. 本日以降、上記の講演詳細はじめ、本会についての連絡は、西村祐輝 (nishimura.y.as [at] m.titech.ac.jp) までお願いいたします。こちらのサイトもあわせてご確認ください。 https://sites.google.com/view/xbmyl3svm2zgtsfmnyeq94xp43 どうぞよろしくお願いいたします。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

数学基礎論サマースクール2023のお知らせ(第二報)
by Kenshi Miyabe 17 Aug '23

17 Aug '23

関係者の皆様，以下の要領で数学基礎論サマースクール2023を開催いたします．周知および多くの方にご出席いただけますと幸いです．テーマ：連続体上の計算論日時：2023年9月11日(月)〜15日(金) 場所：明治大学駿河台キャンパス幹事：宮部賢志（明治大学），木原貴行（名古屋大学）連絡先：宮部賢志，research(a)kenshi.miyabe.name 講師および内容：鈴木登志雄：計算論速習(Turing機械，停止問題，算術的階層) 宮部賢志：実数の計算可能性 Holger Thies：実関数の計算可能性・計算量 Matthew de Brecht：計算可能位相空間論木原貴行：実現可能性理論／計算可能数学の圏すべての講演は日本語で行います．詳細は以下のページで随時案内します． http://kenshi.miyabe.name/kisoron_school_2023/ スケジュールを公開しました．内容の詳細を加えました．人数把握のために参加登録をお願いします．参加登録は必須ではありません．懇親会の案内も加えました．日時：9月14日(木)の夜場所：スカイラウンジ暁（リバティタワー17階） https://www.meiji.ac.jp/koho/studentsservice/dining/di_surugadai.html 立食の予定です．時間がなくて申し訳ありませんが，懇親会参加希望される方は以下までに登録をお願いします．登録一次締切：9月3日(日)23:59，可能な範囲でこのときまでにお願いします．最終締切：9月8日(金)昼12:00 どうぞよろしくおねがいします．宮部 -- Kenshi Miyabe email (research): research(a)kenshi.miyabe.name email (other): miyabe(a)meiji.ac.jp Associate Professor Department of Mathematics School of Science and Technology Meiji University Tel: +81-44-934-7460

1 0

モデル理論夏の学校・研究集会2023のお知らせ
by kota takeuchi 17 Aug '23

17 Aug '23

皆さまモデル理論夏の学校は例年夏に開催されるモデル理論の研究集会です．モデル理論は数理論理学の１分野で，近年数学の各分野から注目を浴びています．今年は筑波大学で開催されます．モデル理論に興味のある幅広い分野の方を歓迎します．詳しくはwebpageをご覧ください。また参加をご希望の方はwebpageの申込フォームからお申し込みください。皆様の参加をお待ちしております。日程：2023年9月6日（水）午後－8日（金）午前場所：筑波大学総合B棟0110講義室連絡先：竹内耕太（筑波大学 kota(a)math.tsukuba.ac.jp) Webpage:https://sites.google.com/view/modeltheorysummerworkshop2023/home 竹内耕太

1 0

PPLサマースクール2023 「正規表現研究の最先端」のご案内
by k.inaba 16 Aug '23

16 Aug '23

皆様（重複して受け取られた場合、ご容赦ください）、 Google の稲葉と申します。日本ソフトウェア科学会第40回大会併設のイベントとして、 9月11日(月) に開催予定のPPLサマースクール2023についてご案内いたします。多数のご参加をお待ちしております。 ========================================================== PPLサマースクール2023「正規表現研究の最先端」 http://ppl.jssst.or.jp/index.php?ss2023 2023年9月11日(月) 9:30〜12:55 東京大学本郷キャンパスおよびオンラインのハイブリッド開催 ========================================================== # 概要文字列の集合を表記する方法の一つである正規表現は，理論計算機科学の重要な基礎であると同時に，実用的なプログラミングにおいても，文字列検査や検索における必須のツールとして広く使われています．とはいえ，大学の形式言語理論の講義で習うような綺麗に整った正規表現・オートマトン等の理論と，様々な拡張を施されたある種泥臭い現実のプログラミング言語の機能としての正規表現とは，どこか隔たりがあるように感じている方も多いのではないでしょうか．本サマースクールでは，2名の講師をお招きして，後方参照などの拡張や，バックトラックにより実装された正規表現エンジンの計算時間の問題，文字列抽出の扱いなど，正規表現にまつわる発展的な問題について，どのような研究がなされているのか，ご講演いただきます．受講にあたっては，形式言語とオートマトンなど，学部レベルのコンピュータサイエンスの知識を習得していることが推奨されます． # 講師紹介（発表順）千田忠賢 NTT社会情報研究所・研究員．2023年早稲田大学博士後期課程修了．形式言語・オートマトン理論の技術の実世界への応用に関する研究に従事．南出靖彦東京工業大学情報理工学院数理・計算科学系教授．博士（理学）．ソフトウェア検証，プログラミング言語，形式言語理論に興味を持つ． # プログラム 9:30 - 9:35 オープニング 9:35 - 10:35 正規表現とその拡張について（講師：千田） 10:35 - 10:45 休憩 10:45 - 11:45 正規表現のDoS脆弱性(ReDoS)とその検査技術（講師：南出） 11:45 - 11:55 休憩 11:55 - 12:55 例を用いた正規表現の自動修正技術（講師：千田）

1 0

講演募集中: RIMS Set Theory Workshop 2023
by FUJITA Hiroshi 07 Aug '23

07 Aug '23

Logic-MLの皆さま、こんにちは。愛媛大学の藤田です。京都大学数理解析研究所にて毎年秋に開催しております集合論の研究集会 (RIMS Set Theory Workshop) について、先日ご連絡いたしましたとおり、今年は Large Cardinals and the Continuum という表題のもと、10月24日(火) から 27日(金) にかけて、対面とZoomによるリモートのハイブリッド形式で開催いたします。現在、講演者を募集中です。表題にあります「巨大基数理論」「連続体の集合論」に関するものはもちろんですが、それに限らず、集合論および関連分野に関する講演を幅広く募集しております。RIMSでの対面での講演、Zoomによるリモート講演のどちらにも対応いたします。講演ご希望の方は、できるだけ9月9日金曜日までに、 fujita.hiroshi.mh(a)ehime-u.ac.jp<mailto:fujita.hiroshi.mh@ehime-u.ac.jp> まで、電子メールにてご連絡ください。研究集会のウェブページは https://tenasaku.com/RIMS2023/ にあります。お知り合いの皆さまにもお知らせいただければ幸いです。今後ともよろしくお願いいたします。藤田博司 fujita.hiroshi.mh(a)ehime-u.ac.jp<mailto:fujita.hiroshi.mh@ehime-u.ac.jp>

1 0

(Final Call) デモ・ポスターセッションでの発表募集：第40回日本ソフトウェア科学会大会
by Kohei SUENAGA 06 Aug '23

06 Aug '23

皆様，（複数お受け取りの際はご容赦ください．）京都大学の末永です． 9月11日～9月14日に東大本郷キャンパスで開催予定の日本ソフトウェア科学会第40回大会でのデモ・ポスターセッションについての最終の発表募集です．タイトルとアブストラクトのみで https://easychair.org/my/conference?conf=jssst2023 から申し込むことができますので、どうぞご検討ください！ # 上記申し込みページには原稿をアップロードするための箇所がありますが、 # デモ・ポスターセッションでは不要です。今年度は対面に重点を置いたハイブリッド開催とする予定です．（ご発表は基本的に対面でお願いする予定です．）よろしくお願いいたします． == 日本ソフトウェア科学会第40回大会発表募集 - 開催日時：　- 併設イベント：2023年9月11日（月）　- 大会：2023年9月12日（火）～14日（木） - 会場：東京大学本郷キャンパスとオンラインのハイブリッド開催（予定） - ホームページ URL：https://jssst2023.wordpress.com/cfp/ - デモ・ポスター発表申込締切：2023年8月10日（木） # ご発表のお誘い登壇発表とデモ・ポスター発表の場が用意されています．登壇発表は一般論文もソフトウェア論文も歓迎します．萌芽的な研究の発表の場としてもご検討ください．講演論文の共著者に会員が含まれていれば非会員でも登壇発表できます．未来のソフトウェアとそれを支えるソフトウェア科学に関する活発な議論を期待します．今年の大会は，対面開催に重点を置いたハイブリッド方式での開催を予定しております． # 昨年度からの変更点昨年までは登壇発表を「一般セッション」と「研究会セッション」「ソフトウェア論文セッション」の３つのトラックに分けて募集していましたが，今年度は「一般セッション」「ソフトウェア論文セッション」の２つのトラックに分けて募集します．去年まで「研究会セッション」に申し込んでいた発表は今年は一般セッションに申し込んでください．トピックに応じてプログラムを編成します．優秀なデモ・ポスター発表に対して与えられる「優秀デモ・ポスター賞」を新設しました．発表者は対面（現地参加）での発表をお願いします． # 締切 - デモ・ポスター発表申込締切：2023年8月10日（木） # トラックおよびセッション今大会では以下のトラックおよびセッションを設けます． - 登壇発表トラック - 一般セッション：ソフトウェア科学全般についての発表の場です．昨年まで「研究会セッション」での発表として募集していた論文は，今年はこのセッションでの発表として募集します．プログラムはトピックに応じて編成する予定です． - ソフトウェア論文セッション：先進的なアイデアを実現したソフトウェアの成果発表の場です．ソフトウェア論文特集号への投稿を前提としたメンタリングを受けることもできます．詳細はホームページをご覧ください． - デモ・ポスター発表トラック研究アイデアやそれを実現したソフトウェアの紹介と議論の場です．講演論文なしで発表することができます． # 発表申し込み要領 - 講演論文の著者 (デモ・ポスターセッションの場合は発表者) に正会員，学生会員または名誉会員が含まれている必要があります．ただし，発表申込時に入会手続中の場合も含みます．会場で登壇する人，会場で説明を行う人は非会員でも構いません． - 講演論文は EasyChair システム (https://easychair.org/my/conference?conf=jssst2023) を使って PDF ファイルで提出してください．詳しい講演論文作成要領は https://jssst2023.wordpress.com/submission/ をご参照ください． - 講演論文を収録した講演論文集は学会ウェブサイトで大会終了後に公開予定です． # 授賞特に優秀な登壇発表を行った本会会員には「高橋奨励賞」が授与されます．また優秀な登壇発表を行った学生には「学生奨励賞」が，聴衆から多くの支持を集めた登壇発表を行った発表者には「優秀発表賞」が授与されます．優秀なデモ・ポスター発表には「優秀デモ・ポスター賞」が授与されます． # 学会誌への同時投稿講演論文は通常論文あるいはレター論文として学会誌に同時投稿できます．大会発表で得られたコメントを反映した上での大会後投稿も可能です．詳細は，ホームページをご覧ください． # お問合せ先 jssst2023pc at fos.kuis.kyoto-u.ac.jp このアドレスへの特定電子メール（広告・宣伝メール）の送信は拒否いたします． -- 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

【リマインド】SLACS 2023（8月31日・9月1日）講演・参加募集のお知らせ
by Yosuke Fukuda 02 Aug '23

02 Aug '23

皆様，第40回記号論理と情報科学研究集会（SLACS 2023）幹事の京都橘大学の福田です．SLACS 2023は，2023年8月31日（木）〜9月1日（金）に京都橘大学 & オンラインでハイブリッド開催いたします．講演・参加のご検討ほど，どうぞよろしくお願いいたします． ==== SLACS 2023 開催要領 ==== 詳細: https://lambda.ski/slacs2023/ 申込: https://forms.office.com/r/xZvGcnwyzS 日程: 2023年8月31日（木）から2023年9月1日（金）の二日間形式: 対面およびオンラインのハイブリッド開催会場: 京都橘大学優心館2階 E201教室（〒607-8175 京都府京都市山科区大宅山田３４）費用: 参加費無料（懇親会費は別途徴収します）幹事: 福田陽介（京都橘大学, E-mail: yf(a)lambda.ski ） ======== 講演申し込み期限は ** 2023年8月21日（月） ** としますが，発表する意思がある方は早めに申し込みいただけると幸いです．研究集会への参加申し込みは開催前日まで受け付けます．以上，奮ってご参加ください．

1 0

教員公募:沼津高専(1件)
by Yasuhito SUZUKI 01 Aug '23

01 Aug '23

皆様沼津工業高等専門学校制御情報工学科の鈴木と申します。本校において、1名の教員を公募しております。ご興味のある方はぜひご検討ください。お心あたりある方にも情報共有いただければ幸いです。 ---- 募集人員: 准教授または助教 1名専門領域: 次のいずれかの分野(情報工学、情報科学、電気工学、制御工学、数理工学) 所属: 国立高等専門学校機構沼津工業高等専門学校電子制御工学科または制御情報工学科勤務形態: 常勤(任期なし) 採用後はどちらかの学科に所属しますが、授業としては両学科の科目を受け持ってもらう可能性があります採用時期: 令和6年4月1日応募締め切り: 令和5年9月1日提出書類はJREC-INのWeb応募で提出していただきます。その他、詳細については、本校Webページの「PDF詳細」をご確認ください。 https://www.numazu-ct.ac.jp/recruit/ 以上となります。 -- SUZUKI Yasuhito 沼津高専制御情報工学科 National Institute of Technology, Numazu College. Tel: +81-55-926-5795

1 0

吉田展子先生講演(8/1 14:00~ @ 早稲田大学)
by Tachio Terauchi 31 Jul '23

31 Jul '23

皆さま、 8月1日に早稲田大学にて吉田展子先生によるご講演があります。詳細は下記の通りです。よろしければぜひご参加ください。 ----- 日時： 8月1日(水) 14:00 ～場所：早稲田大学西早稲田キャンパス 63号館 5階506室題目： Multiparty Session Types: Specification-Guided Parallel and Distributed Programming 講演者: Nobuko Yoshida (University of Oxford) 概要： I first give a gentle introduction of multiparty session types. Then I will talk about a joint work with Zak Cutner and Martin Vassor. Rust is a modern systems language focused on performance and reliability. Complementing Rust's promise to provide "fearless concurrency", developers frequently exploit asynchronous message passing. Unfortunately, sending and receiving messages in an arbitrary order to maximise computation-communication overlap (a popular optimisation in message-passing applications) opens up a Pandora's box of subtle concurrency bugs. To guarantee deadlock-freedom by construction, we present Rumpsteak: a new Rust framework based on multiparty session types. Previous session type implementations in Rust are either built upon synchronous and blocking communication and/or are limited to two-party interactions. Crucially, none support the arbitrary ordering of messages for efficiency. Rumpsteak instead targets asynchronous async/await code. Its unique ability is allowing developers to arbitrarily order send/receive messages while preserving deadlock-freedom. For this, Rumpsteak incorporates two recent advanced session type theories: (1) k-multiparty compatibility (k-MC), which globally verifies the safety of a set of participants, and (2) asynchronous multiparty session subtyping, which locally verifies optimisations in the context of a single participant. Specifically, we propose a novel algorithm for asynchronous subtyping that is both sound and decidable. We first talk about Rumsteak and show the new algorithm. We then talk about evaluations against other Rust implementations and asynchronous verification tools. ---- 寺内

1 2

デモ・ポスターセッションでの発表募集：第40回日本ソフトウェア科学会大会
by Kohei SUENAGA 28 Jul '23

28 Jul '23

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

東北大ロジックセミナーのご案内(8月4日)
by 鈴木悠大 24 Jul '23

24 Jul '23

皆様東北大学の鈴木悠大です以下の通りセミナーを開催いたしますのでご案内いたします https://sites.google.com/view/sendai-logic/ 日時：8月4日(金) 16:00- 場所：東北大学理学研究科合同A棟801号室 (当日はzoom配信を実施予定です．zoomにて参加を希望される方は，鈴木(yudai.suzuki.q1(a)dc.tohoku.ac.jp )までご連絡ください) 講演者：伊藤風輝(東京都立大学) タイトル：AND-OR木探索の乱択アルゴリズムとその均衡値アブストラクト：AND-OR木は同じ変数が1度のみ現れるようなブール関数の計算モデルであり、その計算コストは変数のクエリー回数によって定義される。本講演では主に乱択アルゴリズムを興味の対象とする。乱択アルゴリズムによるコスト均衡値、すなわち最小化された最悪計算量は、ランダムでないアルゴリズムのみを用いる場合に比べて真に小さくなることがSaksとWigderson(1986)により示されている。Saksらの手法をベースとして、最適な乱択アルゴリズムの一意性や、乱択アルゴリズムを深さ優先(depth-first)・一方向性(directional)などの条件で制限した場合の均衡値の大小関係について解説する。本研究の一部は鈴木登志雄氏との共同研究である。どうぞよろしくお願いいたします -- 鈴木悠大 yudai.suzuki.q1(a)dc.tohoku.ac.jp 080-6807-6865

1 0

CFP: 59th TRS Meeting
by Munehiro Iwami 23 Jul '23

23 Jul '23

皆様島根大学の岩見と申します。 9月27～29日に第59回TRS meetingを出雲市で開催します。現在、講演者を募集しております。講演希望の方は7月28日までに下記の登録フォームをメールにて岩見へ送ってください。 -------------------------------------------------------------------- Dear all, Please find below CFP for the 59th TRS meeting. Please send the registration form below to Munehiro Iwami (munehiro(a)cis.shimane-u.ac.jp) no later than July 28 (Fri), 2023. Best regards, Munehiro Iwami Shimane University E-mail: munehiro(a)cis.shimane-u.ac.jp ====================================================================== CALL FOR PARTICIPATION 59th TRS Meeting September 27 – 29, 2023, Shimane, Japan http://www.cis.shimane-u.ac.jp/~munehiro/trs-meeting59/ ====================================================================== The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. All participants are requested to present their recent activities, observations, etc. (in English). The subject of the talk, however, is not required to be one's original result; for example, it is perfectly acceptable to explain a paper of your interest or a tool that you're developing. See http://www.jaist.ac.jp/~hirokawa/trs-meeting/ for further information. * Basic information Dates: September 27(Wed) – 29(Fri), 2023 Venue: New Welcity IZUMO 2-15-1 Enyaarihara, Izumo, Shimane, Japan https://nwci.jp/ Registration Fee: 15,000 yen Accommodation Fee: 13,500 yen per night (incl. breakfast, dinner, drinks at dinner and tax) The accommodation fee above is for using a single room. * Registration Please send the registration form below to Munehiro Iwami (munehiro(a)cis.shimane-u.ac.jp) no later than July 28 (Fri), 2023. ---------------------------------------------------------------------- Registration Form of the 59th TRS meeting Name: Affiliation: Title of talk (*): Duration of talk (*): Other requests/comments (on foods, partial participation, etc.): ---------------------------------------------------------------------- The items marked with * can be sent later. ====================================================================== -- 以上、よろしくお願い致します。岩見宗弘島根大学学術研究院理工学系 E-mail: munehiro(a)cis.shimane-u.ac.jp

1 2

「若手による数理論理研究集会」について
by 西村祐輝 21 Jul '23

21 Jul '23

logic-ml の皆様、東京工業大学の西村です。以前告知しました「若手による数理論理研究集会」について、いくつかのご案内を申し上げます。 1. 開催方式をハイブリッド開催に変更しました。オンラインでの参加・発表も受け付けます。（積極的な交流のため、対面での参加を推奨します。） 2. 各種締め切りを次のとおり変更しました。・宿泊申し込み：8月9日（変更なし）・発表申し込み：8月24日・参加申し込み：9月7日こちらのサイトもあわせてご確認ください。 https://sites.google.com/view/xbmyl3svm2zgtsfmnyeq94xp43 引き続き、みなさまのご参加をお待ちしております。どうぞよろしくお願いいたします。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

東北大ロジックセミナーのご案内
by YOKOYAMA Keita 19 Jul '23

19 Jul '23

皆様，東北大学の横山です．直前のご案内で恐縮ですが，以下の通りセミナーを開催いたします． https://sites.google.com/view/sendai-logic/ 日時：7月21日(金)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：石原哉 (北陸先端科学技術大学院大学) Title: A constructive integration theory: a topological approach Abstract: We present a development of a constructive integration theory from a topological point of view, and constructively prove several convergence theorems in integration theory including Fatou's lemma, and the monotone and dominated convergence theorems of Lebesgue in the totally topological framework. どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

登壇発表申し込み締切延長：第40回ソフトウェア科学会大会
by Kohei SUENAGA 13 Jul '23

13 Jul '23

皆様，（複数お受け取りの際はご容赦ください．）京都大学の末永です． 9月11日～9月14日に東大本郷キャンパスで開催予定の日本ソフトウェア科学会第40回大会の発表募集です．登壇発表申し込み締め切りを2週間延長しまして， 7月28日（金）までお申し込みいただけることになりました．講演論文は2ページ程度の extended abstract でも大丈夫ですので，ぜひご発表をご検討ください．また，デモ・ポスターのご発表も受け付けております．こちらもぜひご検討ください！末永 == 日本ソフトウェア科学会第40回大会発表募集 - 開催日時：　- 併設イベント：2023年9月11日（月）　- 大会：2023年9月12日（火）～14日（木） - 会場：東京大学本郷キャンパスとオンラインのハイブリッド開催（予定） - ホームページ URL：https://jssst2023.wordpress.com/cfp/ - 登壇発表申込締切：2023年7月28日（金）（延長しました） - 講演論文原稿締切：2023年8月10日（木） - デモ・ポスター発表申込締切：2023年8月10日（木） # ご発表のお誘い登壇発表とデモ・ポスター発表の場が用意されています．登壇発表は一般論文もソフトウェア論文も歓迎します．萌芽的な研究の発表の場としてもご検討ください．講演論文の共著者に会員が含まれていれば非会員でも登壇発表できます．未来のソフトウェアとそれを支えるソフトウェア科学に関する活発な議論を期待します．今年の大会は，対面開催に重点を置いたハイブリッド方式での開催を予定しております． # 昨年度からの変更点昨年までは登壇発表を「一般セッション」と「研究会セッション」「ソフトウェア論文セッション」の３つのトラックに分けて募集していましたが，今年度は「一般セッション」「ソフトウェア論文セッション」の２つのトラックに分けて募集します．去年まで「研究会セッション」に申し込んでいた発表は今年は一般セッションに申し込んでください．トピックに応じてプログラムを編成します．優秀なデモ・ポスター発表に対して与えられる「優秀デモ・ポスター賞」を新設しました．発表者は対面（現地参加）での発表をお願いします． # 締切 - 登壇発表申込締切：2023年7月28日（金） - 講演論文原稿締切：2023年8月10日（木） - デモ・ポスター発表申込締切：2023年8月10日（木） # トラックおよびセッション今大会では以下のトラックおよびセッションを設けます． - 登壇発表トラック - 一般セッション：ソフトウェア科学全般についての発表の場です．昨年まで「研究会セッション」での発表として募集していた論文は，今年はこのセッションでの発表として募集します．プログラムはトピックに応じて編成する予定です． - ソフトウェア論文セッション：先進的なアイデアを実現したソフトウェアの成果発表の場です．ソフトウェア論文特集号への投稿を前提としたメンタリングを受けることもできます．詳細はホームページをご覧ください． - デモ・ポスター発表トラック研究アイデアやそれを実現したソフトウェアの紹介と議論の場です．講演論文なしで発表することができます． # 発表申し込み要領 - 講演論文の著者 (デモ・ポスターセッションの場合は発表者) に正会員，学生会員または名誉会員が含まれている必要があります．ただし，発表申込時に入会手続中の場合も含みます．会場で登壇する人，会場で説明を行う人は非会員でも構いません． - 講演論文は EasyChair システム (https://easychair.org/my/conference?conf=jssst2023) を使って PDF ファイルで提出してください．詳しい講演論文作成要領は https://jssst2023.wordpress.com/submission/ をご参照ください． - 講演論文を収録した講演論文集は学会ウェブサイトで大会終了後に公開予定です． # 授賞特に優秀な登壇発表を行った本会会員には「高橋奨励賞」が授与されます．また優秀な登壇発表を行った学生には「学生奨励賞」が，聴衆から多くの支持を集めた登壇発表を行った発表者には「優秀発表賞」が授与されます．優秀なデモ・ポスター発表には「優秀デモ・ポスター賞」が授与されます． # 学会誌への同時投稿講演論文は通常論文あるいはレター論文として学会誌に同時投稿できます．大会発表で得られたコメントを反映した上での大会後投稿も可能です．詳細は，ホームページをご覧ください． # お問合せ先 jssst2023pc at fos.kuis.kyoto-u.ac.jp このアドレスへの特定電子メール（広告・宣伝メール）の送信は拒否いたします． -- 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

Talk by Nobuko Yoshida (July 19th, Wednesday, 11:00-)
by Atsushi Igarashi 12 Jul '23

12 Jul '23

みなさま，京都大学の五十嵐です．以下の通り，来週水曜日に京都大学にて吉田展子さん(Oxford)によるご講演を予定しております．是非ご参加ください． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/ ========================= Time: 11:00-12:00, July 19th, Wednesday, 2023 Place: Seminar Room #2 (Room 131), Research Building #7, Main Campus, Kyoto University 京都大学総合研究７号館 1階セミナー室２(131号室) Title: Deadlock-free asynchronous message reordering in Rust with multiparty session types Speaker: Nobuko Yoshida (Joint work with Zack Cutner and Martin Vassor), University of Oxford Abstract: Rust is a modern systems language focused on performance and reliability. Complementing Rust's promise to provide "fearless concurrency", developers frequently exploit asynchronous message passing. Unfortunately, sending and receiving messages in an arbitrary order to maximise computation-communication overlap (a popular optimisation in message-passing applications) opens up a Pandora's box of subtle concurrency bugs. To guarantee deadlock-freedom by construction, we present Rumpsteak: a new Rust framework based on multiparty session types. Previous session type implementations in Rust are either built upon synchronous and blocking communication and/or are limited to two-party interactions. Crucially, none support the arbitrary ordering of messages for efficiency. Rumpsteak instead targets asynchronous async/await code. Its unique ability is allowing developers to arbitrarily order send/receive messages while preserving deadlock-freedom. For this, Rumpsteak incorporates two recent advanced session type theories: (1) k-multiparty compatibility (k-MC), which globally verifies the safety of a set of participants, and (2) asynchronous multiparty session subtyping, which locally verifies optimisations in the context of a single participant. Specifically, we propose a novel algorithm for asynchronous subtyping that is both sound and decidable. We first talk about Rumsteak and show the new algorithm. We then talk about evaluations against other Rust implementations and asynchronous verification tools.

1 0

1st cfp of AWPL 2024: 6th Asian Workshop on Philosophical Logic
by Katsuhiko Sano 07 Jul '23

07 Jul '23

logic-ml の皆様、北海道大学の佐野です。下記の6th Asian Workshop on Philosophical Logicの1st call for the paprersをお送りします。どうぞ投稿をご検討ください。佐野勝彦 ===================================================== AWPL 2024: 6th Asian Workshop on Philosophical Logic 5-6 March 2024 Hokkaido University, Sapporo, Japan https://sites.google.com/view/awpl2024/home ===================================================== [CALL FOR PAPERS] The 6th Asian Workshop on Philosophical Logic will be held on 5-6 March 2024 at Hokkaido University in Sapporo, Japan. The Asian Workshop on Philosophical Logic (AWPL, http://awpl.org/Workshops.html) is a series of events initiated by a group of Asian logicians. Its first installment took place at JAIST in Japan in 2012. The primary goal of the workshop is to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. It emphasizes the interaction between philosophical ideas and formal theories. Topics of interest include, but are not restricted to, non-classical logics, philosophical logics, algebraic logic, as well as their applications in computer science, cognitive science, and social sciences. So far, five successful workshops have been organized in Ishikawa (2012), Guangzhou (2014), Taipei (2016), Beijing (2018), and Hangzhou (2020). The post-conference proceedings are published in the Springer book series "Logic in Asia" (http://www.springer.com/series/13080?detailsPage=titles). [INVITED SPEAKERS] Ryo Kashima (Tokyo Institute of Technology) Shawn Standefer (National Taiwan University) Fan Yang (Utrecht University) More speakers to be confirmed. [SUBMISSION] All submissions should present original works that have not been previously published. Submissions should be written in English and follow the LNCS template (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…). Please prepare your submission as a PDF file with a maximum of 12 pages, including the reference list, appendixes, acknowledgements, etc. Submissions should be sent electronically via EasyChair (https://easychair.org/conferences/?conf=awpl2024) by the corresponding author within the specified deadline. It is expected that at least one of the authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and resubmit for the post-conference proceedings, which will be published in the "Logic in Asia" series. [IMPORTANT DATES] Submission deadline: 15 October 2023 (AOE) Notification of acceptance: 1 December 2023 Workshop dates: 5-6 March 2024 [STEERING COMMITTEE] Phan Minh Dung, Asian Institute of Technology, Bangkok Hu Liu, Sun Yat-sen University, Guangzhou Beishui Liao, Zhejiang University, Hangzhou Fenrong Liu, Tsinghua University, Beijing Hiroakira Ono, Japan Advanced Institute of Science and Technology, Ishikawa Ram Ramanujam, Institute of Mathematical Sciences, Chennai Hsing-chien Tsai, National Chung Cheng University, Chiayi [PROGRAM COMMITTEE] Thomas Ågotnes (University of Bergen) Hans van Ditmarsch (University of Toulouse, CNRS, IRIT) Sujata Ghosh (Indian Statistical Institute) Ryo Hatano (Tokyo University of Science) - Co-chair Ryo Ito (Waseda University) Makoto Kanazawa (Hosei University) Md. Aquil Khan (Indian Institute of Technology Indore) Kohei Kishida (University of Illinois Urbana-Champaign) Hidenori Kurokawa (Kanazawa University) Kok Yong Lee (National Chung Cheng University) Dazhu Li (Chinese Academy of Sciences) Hanti Lin (University of California, Davis) Fenrong Liu (Tsinghua University) Minghui Ma (Sun Yat-Sen University) Teeradaj Racharak (JAIST) Katsuhiko Sano (Hokkaido University) - Chair Yì Nicholas Wáng (Sun Yat-sen University) Ren-June Wang (National Chung-Cheng University) Tomoyuki Yamada (Hokkaido University) [LOCAL ORGANIZING COMMITTEE] Ryo Hatano (Tokyo University of Science) Katsuhiko Sano (Hokkaido University) - Chair Masanobu Toyooka (Hokkaido University) For more information about the workshop, please visit: https://sites.google.com/view/awpl2024

1 0

Lecturer Position（英国ブリストル大学）
by Kazutaka Matsuda 03 Jul '23

03 Jul '23

皆様，いつもお世話になっております．東北大学の松田です．当方の共同研究者であるMeng Wang准教授（ブリストル大）が率いる研究グループで Lecturerを募集しているとのことですので，その情報を共有いたします．下記に一部情報を転記しておりますが，詳しくは https://www.bristol.ac.uk/jobs/find/details/?jobId=316176&jobTitle=Lecturer… および，そのページに添付されている資料をご欄いただければと存じます．〆切が7/30と比較的近い（かつ7/31でない）のでご注意ください．どうぞご検討いただけますと幸いです．また，興味を持ちそうな方が身近にいらっしゃいましたら，転送いただけますと幸いです． =================================================================== # Lecturer in Programming Languages and Compilers ## The role Join the vibrant and renowned School of Computer Science at the University of Bristol as a Lecturer in Programming Languages and Compilers. We are seeking an exceptional individual to join our esteemed Programming Languages Research Group (https://bristolpl.github.io/). As a Lecturer, you will contribute your research expertise, with a specific focus on compilers, aligning with the group's diverse interests. Embracing a broad interpretation of compilers, you will explore code generation, optimisation, static analysis, code translation, correctness, safety, and security. Your valuable insights will shape the future of this exciting field. In addition, you will have the opportunity to inspire and educate the next generation of computer scientists. Your role will involve teaching a range of Computer Science subjects at both undergraduate and postgraduate levels. With a particular emphasis on programming, languages, compilers, software verification, and computer architecture, you will have the chance to shape the curriculum and empower students in their educational journey. If you are a passionate researcher and educator, eager to contribute to cutting-edge research and thrive in a supportive and stimulating academic environment, we invite you to apply. ## What will you be doing? The appointed candidate will have a diverse range of responsibilities encompassing research, teaching, and administration/management. In terms of research: * Develop and maintain an outstanding research program, with a focus on producing high-quality publications and exploring potential impact beyond academia. * Play a role in school research management, including peer review, mentoring, staff review, and strategic development. In teaching: * Contribute to scholarly activities, supervise postgraduate research students, and deliver effective instruction at all levels of the curriculum. * Develop and introduce new units or degree programs as needed, and take on lead roles related to program management, curriculum development, and enhancing the overall student experience. Regarding administration and management: * Support school success through academic administration: program development, marketing, admissions, oversight, welfare support, external partnerships, teaching coordination, outreach, and program/unit review based on quality assurance. * Support the efficient functioning of the school and faculty by undertaking assigned administrative duties as directed by the Head of School. ## You should apply if For a full view of requirements please look at the job description attached below, but if the below describes you, we’d encourage you to apply. * You have a track record of publishing in top programming languages venues and teaching experience appropriate to the career stage. * You have a track record of applying for external funding (highly desirable). * You have a PhD in Computer Science or a closely related discipline. ## Additional information or informal queries please contact Prof Mike Fraser (Head of School): mike.fraser(a)bristol.ac.uk Dr Meng Wang (Head of Programming Languages Research Group): meng.wang(a)bristol.ac.uk To find out more about what it's like to work in the Faculty of Engineering, and how the Faculty supports people to achieve their potential, please see our staff blog: https://engineeringincludesme.blogs.bristol.ac.uk/ Interviews are anticipated to take place on the 8th August 2023. This advert will close on 30th July 2023, 23:59PM GMT. We recently launched our strategy to 2030 tying together our mission, vision and values. https://youtu.be/0mYZe-EW_Ic The University of Bristol aims to be a place where everyone feels able to be themselves and do their best in an inclusive working environment where all colleagues can thrive and reach their full potential. We want to attract, develop, and retain individuals with different experiences, backgrounds and perspectives – particularly people of colour, LGBT+ and disabled people - because diversity of people and ideas remains integral to our excellence as a global civic institution.

1 0

発表募集：第40回ソフトウェア科学会大会
by Kohei SUENAGA 02 Jul '23

02 Jul '23

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

SLACS 2023（8月31日・9月1日）講演・参加募集のお知らせ
by Yosuke Fukuda 30 Jun '23

30 Jun '23

皆様，（重複して受け取られた場合はご容赦ください．）第40回記号論理と情報科学研究集会（SLACS 2023）幹事の京都橘大学の福田です．SLACS 2023は，2023年8月31日（木）〜9月1日（金）に京都橘大学 & オンラインでハイブリッド開催いたします．参加のご検討ほど，どうぞよろしくお願いいたします． ==== SLACS 2023 開催要領 ==== 詳細: https://lambda.ski/slacs2023/ 申込: https://forms.office.com/r/xZvGcnwyzS 日程: 2023年8月31日（木）から2023年9月1日（金）の二日間形式: 対面およびオンラインのハイブリッド開催会場: 京都橘大学優心館2階 E201教室（〒607-8175 京都府京都市山科区大宅山田３４）費用: 参加費無料（懇親会費は別途徴収します）幹事: 福田陽介（京都橘大学, E-mail: yf(a)lambda.ski ） ======== 講演申し込み期限は 2023年8月21日（月）としますが，発表する意思がある方は早めに申し込みいただけると幸いです．研究集会への参加申し込みは開催前日まで受け付けます．以上，奮ってご参加ください．

1 0

RIMS Set Theory Workshop 2023 公式ウェブページ開設のお知らせ
by FUJITA Hiroshi 26 Jun '23

26 Jun '23

Logic-MLの皆さま、愛媛大学の藤田です。京都大学数理解析研究所にて毎年秋に開催しております集合論の研究集会 (RIMS Set Theory Workshop) について、先日ご連絡いたしましたとおり、今年は Large Cardinals and the Continuum という表題のもと、10月24日(火) から 27日(金) にかけて、対面とZoomによるリモートのハイブリッド形式で開催することとなりました。さて、このたび、この研究集会のウェブページを開設いたしましたのでお知らせします。 https://tenasaku.com/RIMS2023/ 研究集会に関する連絡事項を今後こちらに掲載してまいります。お知り合いの皆さまにお知らせいただければ幸いです。今後ともよろしくお願いいたします。藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp>

1 0

「若手による数理論理研究集会」開催について
by 西村祐輝 20 Jun '23

20 Jun '23

logic-ml の皆様、東京工業大学の西村です。さて、「若手による数理論理研究集会」を、以下のとおり開催いたします。日時：2023年9月9日(土)〜10日(日) 場所：国立オリンピック記念青少年総合センター幹事：渡部耀介（名古屋大学）、高木翼（北陸先端科学技術大学院大学）、西村祐輝（東京工業大学）連絡先：高木翼 tsubasa(a)jaist.ac.jp 本研究会では、通常の研究発表のほか、研究途中の学生を対象としたショートトークの枠を設けています。また、第一線で活躍する先生方の招待講演も予定しています。詳細は以下のページをご覧ください。 https://sites.google.com/view/xbmyl3svm2zgtsfmnyeq94xp43 たくさんの方々の出席をお待ちしています。また、先生方におかれましては、研究室の学生のみなさんに周知していただけると幸いです。よろしくお願いいたします。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

数学会秋季総合分科会講演申込受付中（リマインダ）
by Hiroshi SAKAI 11 Jun '23

11 Jun '23

皆様：（重複して受け取られた場合は申し訳ございません．）数学会「数学基礎論および歴史分科会」連絡責任評議員の酒井拓史です．数学会秋季総合分科会の講演申込締切が ** 6月16日(金) ** となっておりますが，現時点で一般講演の申込が6件と，少なめになっております．お話いただける話題をお持ちの方はぜひご講演いただき，分科会を盛り上げていただければ幸いです．どうかよろしくお願いいたします． 2023年度日本数学会秋季総合分科会 https://www.mathsoc.jp/activity/meeting/tohoku23sept/index.html 日程：9月20日(水) — 23日(土) 　　　（数学基礎論および歴史分科会は 22日(金)・23日(土) の予定）会場：東北大学講演申込期間：5月26日(金) — 6月16日(金) 酒井拓史

1 0

(no subject)
by Kohei SUENAGA 10 Jun '23

10 Jun '23

皆様，（複数お受け取りの際はご容赦ください．）京都大学の末永です． 9月11日〜9月14日に東大本郷キャンパスで開催予定の日本ソフトウェア科学会第40回大会の発表募集をお送りします．今年度は対面に重点を置いたハイブリッド開催とする予定です．（ご発表は基本的に対面でお願いする予定です．）どうぞご発表をご検討ください．昨年までは登壇発表を「一般セッション」と「研究会セッション」「ソフトウェア論文セッション」の３つのトラックに分けて募集していましたが，今年度は「一般セッション」「ソフトウェア論文セッション」の２つのトラックに分けて募集します．去年まで「研究会セッション」に申し込んでいた発表は今年は一般セッションにお申し込みください．トピックに応じてプログラムを編成します． # EasyChair のリンクは近日公開予定です．よろしくお願いいたします． == 日本ソフトウェア科学会第40回大会発表募集 • 開催日時：　- 併設イベント：2023年9月11日（月）　- 大会：2023年9月12日（火）〜14日（木） • 会場：東京大学本郷キャンパスとオンラインのハイブリッド開催（予定） • ホームページ URL：https://jssst2023.wordpress.com/cfp/ • 登壇発表申込締切：2023年7月14日（金） • 講演論文原稿締切：2023年8月10日（木） • デモ・ポスター発表申込締切：2023年8月10日（木） # ご発表のお誘い登壇発表とデモ・ポスター発表の場が用意されています．登壇発表は一般論文もソフトウェア論文も歓迎します．萌芽的な研究の発表の場としてもご検討ください．講演論文の共著者に会員が含まれていれば非会員でも登壇発表できます．未来のソフトウェアとそれを支えるソフトウェア科学に関する活発な議論を期待します．今年の大会は，対面開催に重点を置いたハイブリッド方式での開催を予定しております． # 昨年度からの変更点昨年までは登壇発表を「一般セッション」と「研究会セッション」「ソフトウェア論文セッション」の３つのトラックに分けて募集していましたが，今年度は「一般セッション」「ソフトウェア論文セッション」の２つのトラックに分けて募集します．去年まで「研究会セッション」に申し込んでいた発表は今年は一般セッションに申し込んでください．トピックに応じてプログラムを編成します．優秀なデモ・ポスター発表に対して与えられる「優秀デモ・ポスター賞」を新設しました．発表者は対面（現地参加）での発表をお願いします． # 締切 • 登壇発表申込締切：2023年7月14日（金） • 講演論文原稿締切：2023年8月10日（木） • デモ・ポスター発表申込締切：2023年8月10日（木） # トラックおよびセッション今大会では以下のトラックおよびセッションを設けます． - 登壇発表トラック - 一般セッション：ソフトウェア科学全般についての発表の場です．昨年まで「研究会セッション」での発表として募集していた論文は，今年はこのセッションでの発表として募集します．プログラムはトピックに応じて編成する予定です． - ソフトウェア論文セッション：先進的なアイデアを実現したソフトウェアの成果発表の場です．ソフトウェア論文特集号への投稿を前提としたメンタリングを受けることもできます．詳細はホームページをご覧ください． - デモ・ポスター発表トラック研究アイデアやそれを実現したソフトウェアの紹介と議論の場です．講演論文なしで発表することができます． # 発表申し込み要領 • 講演論文の著者 (デモ・ポスターセッションの場合は発表者) に正会員，学生会員または名誉会員が含まれている必要があります．ただし，発表申込時に入会手続中の場合も含みます．会場で登壇する人，会場で説明を行う人は非会員でも構いません． • 講演論文は EasyChair システムを使って PDF ファイルで提出してください． EasyChair へのリンクは近日中に公開します．詳しい講演論文作成要領はホームページで追ってお知らせします． • 講演論文を収録した講演論文集は学会ウェブサイトで大会終了後に公開予定です． # 授賞特に優秀な登壇発表を行った本会会員には「高橋奨励賞」が授与されます．また優秀な登壇発表を行った学生には「学生奨励賞」が，聴衆から多くの支持を集めた登壇発表を行った発表者には「優秀発表賞」が授与されます．優秀なデモ・ポスター発表には「優秀デモ・ポスター賞」が授与されます． # 学会誌への同時投稿講演論文は通常論文あるいはレター論文として学会誌に同時投稿できます．大会発表で得られたコメントを反映した上での大会後投稿も可能です．詳細は，ホームページをご覧ください． # お問合せ先 jssst2023pc at fos.kuis.kyoto-u.ac.jp このアドレスへの特定電子メール（広告・宣伝メール）の送信は拒否いたします． -- 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

教員公募（2件）：島根大学（セキュリティ分野／データサイエンス分野)
by Munehiro Iwami 09 Jun '23

09 Jun '23

皆様島根大学の岩見と申します。本学において以下2件の公募を行っております。関連する分野の方がおられましたら、ぜひ応募をご検討ください。お心当たりの方にも情報を共有いただけますと幸いです。よろしくお願いいたします。 ---------------------------------------------------------------- 募集人員：准教授または助教計2名所属：島根大学学術研究院理工学系担当：総合理工学部知能情報デザイン学科、自然科学研究科所在地：島根県松江市西川津町1060 勤務形態：常勤任期なし応募締切：2023年08月31日（必着）それぞれの詳細は以下をご覧ください。【セキュリティ分野】1名 https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 採用予定時期：2023年10月1日以降のできるだけ早い時期【データサイエンス分野】1名 https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 採用予定時期：2023年10月1日以降のできるだけ早い時期 ---------------------------------------------------------------- -- 以上、よろしくお願い致します。岩見宗弘島根大学学術研究院理工学系 E-mail: munehiro(a)cis.shimane-u.ac.jp

1 0

東北大ロジックセミナーのご案内(6月9日)
by YOKOYAMA Keita 06 Jun '23

06 Jun '23

皆様，東北大学の横山です．以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：6月9日(金)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：Paul Shafer (University of Leeds) Title: The Rival--Sands theorem for partial orders, ascending/descending sequences, and Sigma_2 induction. Abstract: In their 1980 article, Rival and Sands proved two theorems inspired by Ramsey’s theorem for pairs. The second of these theorems states that every infinite partial order P of finite width contains an infinite chain C with the property that every element of P is comparable either with no element of C or with infinitely many elements of C. We show that this theorem is equivalent to the ascending/descending sequence principle plus the Sigma_2 induction scheme over RCA_0. This work is joint with Marta Fiori-Carones, Alberto Marcone, and Giovanni Soldà. どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

RIMS 集合論研究集会の日程について
by FUJITA Hiroshi 03 Jun '23

03 Jun '23

Logic-ML購読者のみなさま、毎年開催されている RIMS 集合論研究集会ですが、今年度は、愛媛大学の藤田が世話人となって、 10月24日(火)から同27日(金)に、京都大学数理解析研究所にて、開催いたします。講演募集等のアナウンスは、もう少々お待ちください。藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp>

1 0

Reachability Problems (RP 2023) CFP
by Akitoshi Kawamura 29 May '23

29 May '23

皆様京都大学の河村と申します。10月にニースで開催される 17th International Conference on Reachability Problems (RP 2023) についてご案内させていただきます。どうぞご検討ください。 ------------------------------------------- RP 2023: CALL FOR PAPERS ------------------------------------------- The 17th International Conference on Reachability Problems (RP'23) will be organised by the laboratory I3S (Université Côte d'Azur, CNRS) and LIX (Ecole Polytechnique, CNRS). Website: https://www.lix.polytechnique.fr/RP2023 In 2020 and 2021 the conference was virtual due to COVID restrictions. As in 2022, this year RP will be organised as a physical meeting in Nice, offering a possibility to authors with travel restrictions to give online presentations. Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. This will also be the occasion to review recent breakthroughs by renowned invited experts and survey emerging trends and emphasise on key open challenges. Participants are kindly encouraged to discuss core scientific issues that need to be further tackled. The conference proceedings will be published in Springer's Lecture Notes in Computer Science (LNCS). A selection of articles among the contributed papers will be invited to a special issue of a journal (TBA). TOPICS The conference is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in Algebraic structures Automata theory and formal languages Computational game theory Concurrency and distributed computation Decision procedures in computational models Graphs and dynamical networks Hybrid dynamical systems Logic and model checking Verification of finite and infinite-state systems Topics of interest include (but are not limited to): - reachability problems in infinite-state systems, - rewriting systems, dynamical and hybrid systems; - reachability problems in computational games and distributed systems; - reachability problems in dynamical networks, - reachability problems in logic and verification; - reachability problems in formal methods; - reachability analysis in different computational models, counter timed/ cellular/ communicating automata; - Petri nets; computational and combinatorial aspects of algebraic structures (semigroups, groups and rings); - frontiers between decidable and undecidable reachability problems; - predictability in iterative maps and new computational paradigms. INVITED SPEAKERS Confirmed: - Nathalie Aubrun (CNRS, Paris-Saclay, France) - Jarkko Kari (University of Turku, Finland) - Bruno Martin (University of Nice, France) - Shinnosuke Seki (University of Electro-Communications, Japan) GUIDELINES FOR SUBMISSION. THERE ARE TWO CATEGORIES OF SUBMISSIONS: 1) REGULAR PAPERS Authors are invited to submit an extended abstract of a full paper with at most 12 pages (excluding the bibliography and potential appendices) formatted according to the LNCS guidelines, through EasyChair: https://easychair.org/conferences/?conf=rp2023 2) PRESENTATION-ONLY In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to submit a paper which recently appeared (or which is going to appear) in proceedings of another conference, or which has not yet been submitted. Neither the paper nor the abstract will be published in the proceedings. IMPORTANT DATES Abstract of full papers: 19 June 2023 Full papers: 26 June 2023 Notification: 13 August 2023 Final Version: 20 August 2023 Presentation-only papers - Abstracts: 23 August 2023 - Notification: 30 August 2023 RP CONFERENCE: OCTOBER 11-13, 2023 CONFERENCE CHAIRS: - Olivier Bournez (IP Paris, Ecole Polytechnique, FR) - Enrico Formenti (Univ. Côté d'Azur, FR) - Igor Potapov, University of Liverpool - Publication chair PROGRAM COMMITTEE: - Parosh Aziz Abdulla (Uppsala University, Sweden) - Udi Boker (Reichman University, Herzliya, Israel) - Christel Baier (Technical University of Dresden, Germany) - Veronica Becher (Universidad de Buenos Aires, Argentina) - Benedikt Bollig (CNRS, LMF, ENS Paris-Saclay, France) - Olivier Bournez (Ecole Polytechnique, LIX, IPP, France) - Emilie Charlier (Université de Liège Belgium) - Stéphane Demri (CNRS, LMF, ENS Paris-Saclay, France) - Javier Esparza (Technical University of Munich, Germany) - Enrico Formenti (Université Côte d'Azur, France) - Gilles Geeraerts (Université libre de Bruxelles, Belgium) - Roberto Giacobazzi (University of Verona, Italy) - Daniel Graça (University of Algarve, Portugal) - Christoph Haase (University of Oxford, United Kingdon) - Peter Habermehl (IRIF, Université Paris Cité, France) - Vesa Halava (University of Turku, Finland) - Mika Hirvensalo (Department of Mathematics and Statistics, University of Turku, Finland) - Akitoshi Kawamura (Kyoto Univeristy, Japan) - Dietrich Kuske (Technical University of Ilmenau, Germany) - Martin Kutrib (University of Giessen, Germany) - Jérôme Leroux (CNRS, LaBRI, Université de Bordeaux, France) - Igor Potapov (University of Liverpool, United Kingdom) - Tali (Nathalie) Sznajder (LIP6, Sorbonne Université, France) STEERING COMMITTEE - Parosh Aziz Abdulla (SE) - Olivier Bournez (FR) - Vesa Halava (FI) - Alain Finkel (FR) - Oscar Ibarra (USA) - Juhani Karhumaki (FI) - Jérôme Leroux (FR) - Joël Ouaknine (GER) - Igor Potapov (UK) - James Worrell (UK)

1 0

2023年度日本数学会秋季総合分科会（講演申込の受付開始）
by Hiroshi SAKAI 26 May '23

26 May '23

皆様：（重複して受け取られた場合は申し訳ございません．）数学会「数学基礎論および歴史分科会」連絡責任評議員の酒井拓史です．今年の数学会秋季総合分科会は以下のように開催され，本日から一般講演の申込受付が始まっています． 2023年度日本数学会秋季総合分科会 https://www.mathsoc.jp/activity/meeting/tohoku23sept/index.html 日程：9月20日(水) — 23日(土) 　　　（数学基礎論および歴史分科会は 22日(金)・23日(土) の予定）会場：東北大学講演申込期間：5月26日(金) — 6月16日(金) 皆様の奮ってのご参加とご講演をお待ちしております．どうぞよろしくお願いいたします．酒井拓史

1 0

J-Y Girard博士講演及び討論会　Prof. Girard's Lecture and Discussion
by Mitsu Okada 26 May '23

26 May '23

メールリストの皆さま直前のお知らせとなり申し訳ありません。ご参加のご検討をお願い申し上げます。。この告知は転送自由です。岡田光弘（慶應義塾大学） ---------------------------------------- J-Y, Girard博士講演・討論会 Prof. Jean-Yves Girard's Lecture and Discussion 2023年5月29日（月）18:00-19:30 (Monday May 29th) (ハイブリッド開催 Hybrid ) 会場/Place 慶應義塾大学三田キャンパス東館6階G-Lab / G-Lab, 6th floor, East Building, Mita Campus, Keio University (7 minutes walk from JR-Tamachi, Subway Mita or Akabanebashi) キャンパスマップ 13番の建物: https://www.keio.ac.jp/ja/maps/mita.html Campus Map Building #13: https://www.keio.ac.jp/ja/maps/mita.html Zoom: https://forms.gle/BBxrLDg3Pf5747sh9 Prerigistration Here / ここから事前登録をお願いします。最新情報は次のURLで更新します / The Meeting webpage: https://abelard.flet.keio.ac.jp/seminar/j_y_girard_lecture_and_discussion_2… Preregistration Form: https://forms.gle/BBxrLDg3Pf5747sh9 《PROGRAM》 ◆18:00-19:00 Speaker: Prof. Jean-Yves Girard Title: AGAINST SYSTEMS ◆19:00-19:30 Discussion 講師プロフィール: Jean-Yves Girard博士は1972年、System F のhigher order normalizationに関する学位論文発表以来、よく知られていますように、半世紀の間一貫して基本定理（Cut elimination theorem）の多角的・発展的な研究を進めておられる研究者です。(Linear Logic, Geometry of Interaction, Ludics, 近年のTranscendental Syntaxに関する一連の研究などもこれに含まれます。) 今回の講演でもこのlineの延長上の最新成果を講義していただきます。問い合わせ先: logic(a)abelatd.flet.keio.ac.jp 岡田光弘峯島宏次（慶應義塾大学論理と感性のグローバル研究センター論理班)

1 0

Special Issue of RAP (Review of Analytic Philosophy) on 'Logics of Communicative Interaction'
by Katsuhiko Sano 25 May '23

25 May '23

logic-ml の皆様、北海道大学の山田友幸先生の代理で下記の情報を投稿いたします。佐野勝彦 2nd Call for Papers *********************** Special Issue of RAP (Review of Analytic Philosophy) on 'Logics of Communicative Interaction' We invite submissions to a Special Issue on 'Logics of Communicative Interaction'. This special issue will appear in the peer-reviewed international journal called the 'Review of Analytic Philosophy', which was first launched in 2021 as a new Open Access journal in analytic philosophy. This special issue welcomes new work on the logical study of dynamic changes that take place in scenarios of communicative interaction. Complex forms of change in cognitive states of agents and their social relations can occur in the process of communicative interaction, which calls for a detailed logical analysis. A central topic in such an analysis is the triggers of such changes and their effects during the process of communication. The triggers can include a variety of possible speech acts while an analysis of their effect will typically zoom-in on the formal representations of agent's doxastic and epistemic attitudes as well as the deontic status of action types available to them. The study of such logics for communicative interaction can be approached from different disciplines, including logic, epistemology, argumentation theory, social choice theory, AI, Computer Science, and Philosophy. More specifically, this special issue welcomes work on the following topics: - Dynamic Logics of Communication - Logics of Speech Acts - Logics for Belief Change and Knowledge Updates - Dynamic Epistemic Logics - Logical analysis of Communication in Social Networks - Dynamic Deontic Logic All papers will be peer reviewed according to the standards of the Journal. Authors are advised to read the CFP of the journal downloadable from the following page: https://rap-journal.net/call-for-papers/ . All the conditions specified in the CFP of the journal apply except the condition on the publication fee: papers accepted for publication in this special issue will be published free of charge. Submission details: Manuscripts should be between 8000 and 10000 words and submitted as a double-spaced Word document or PDF file with an abstract of around 150 words. They should be fully anonymized to ensure double-blind reviewing. Manuscripts are submitted under the understanding that they have not been published elsewhere, either in whole or in part, and are not currently under review elsewhere. Submissions can be made via the online submission form at https://rap-journal.net/submit-for-authors/ or by email attachments (rap(a)myukk.org). If the authors intend to use LaTeX for preparing the manuscript, please use the standard article class and submit the manuscript in the form of a PDF file (neither the source files nor the dvi file). Submission Deadline: 30th September 2023 All inquiries should be sent to rap(a)myukk.org . Guest co-editors of the special issue: Sonja Smets Tomoyuki Yamada

1 0

教員公募のお知らせ
by Satoru Kuroda 18 May '23

18 May '23

皆様，群馬県立女子大学の黒田です．教員公募についてお知らせいたします．群馬県立女子大学では，2023年度より設置された文学部文化情報学科において，「情報学（情報科学に関連する数理科学を含む）」に関する教授，准教授または専任講師1名の公募を行なっています．この学科は文学部内に設置されていますが，担当科目は情報科学and/or数理科学に関する分野となっております．応募締め切りは2023年6月14日（水）必着です．ご興味のある方はぜひ応募をご検討ください．またお近くに適任の方がおられましたら，本公募についてお知らせいただければ幸いです．詳細につきましては以下のURLをご覧ください． https://www.gpwu.ac.jp/inf/emp/emp_02/post_307/index.html#jouhougaku よろしくお願いいたします． -- Satoru Kuroda Gunma Prefectural Women's University

1 0

数学基礎論サマースクール2023のお知らせ(第一報)
by Kenshi Miyabe 17 May '23

17 May '23

関係者の皆様，以下の要領で数学基礎論サマースクール2023を開催いたします．周知および多くの方にご出席いただけますと幸いです．テーマ：連続体上の計算論日時：2023年9月11日(月)〜15日(金) 場所：明治大学駿河台キャンパス幹事：宮部賢志（明治大学），木原貴行（名古屋大学）連絡先：宮部賢志，research(a)kenshi.miyabe.name 講師および内容：鈴木登志雄：計算論速習(Turing機械，停止問題，算術的階層) 宮部賢志：実数の計算可能性 Holger Thies：実関数の計算可能性・計算量 Matthew de Brecht：計算可能位相空間論木原貴行：実現可能性理論／計算可能数学の圏詳細は以下のページで随時案内します． http://kenshi.miyabe.name/kisoron_school_2023/ どうぞよろしくおねがいします．宮部 -- Kenshi Miyabe email (research): research(a)kenshi.miyabe.name email (other): miyabe(a)meiji.ac.jp Associate Professor Department of Mathematics School of Science and Technology Meiji University Tel: +81-44-934-7460

1 0

Kobe Set Theory Seminar のお知らせ
by Hiroshi SAKAI 12 May '23

12 May '23

皆様：神戸大学の酒井です． 5月15日(月) から Kobe Set Theory Seminar を開始します． Kobe Set Theory Seminar 日時：毎週月曜 16:30 — 形式：Zoom によるオンラインホームページ：http://www2.kobe-u.ac.jp/~fuchino/kobe-set-theory-seminar/ （講演者によって時間と形式は変更になる可能性があります．）初回（5月15日）と第２回（5月22日）の内容は以下の通りです．講演者：合浦岳彦 (TU Wien) タイトル：Chang models over derived models with supercompact measures （アブストラクトは上記ホームページにあります．）またその後の予定も随時ホームページに掲載して行きますのでご覧ください．セミナーへの参加をご希望の方は，私にご連絡ください． Zoom の情報等をお知らせします．連絡先： hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> （酒井拓史）皆様の奮ってのご参加をお待ちしています．酒井拓史

1 0

准教授または助教の募集
by Jacques Garrigue 08 May '23

08 May '23

基礎論・論理MLの皆様、名古屋大学多元数理科学研究科で以下の公募を行なっていますので、よろしくお願いいたします。 Jacques Garrigue ==== 各位名古屋大学多元数理科学研究科では下記要領で教員公募を行うことになりました．つきましては貴関係者にお知らせいただくとともに，適任者をご存じの場合には，応募をお勧め下さるようお願い申し上げます．　　准教授(任期なし) または助教(テニュアトラック教員)　2名　　研究分野　　数学・数理科学　　応募期限　　2023年8月6日(日) 　　採用予定日　2024年2月1日以降できるだけ早く　　応募の詳細および問い合わせ先は以下のウェブページ参照　　https://www.math.nagoya-u.ac.jp/ja/job/2023/faculty-1.html 名古屋大学大学院多元数理科学研究科准教授・助教選考委員会委員長　Jacques Garrigue

1 0

東北大ロジックセミナーのご案内
by YOKOYAMA Keita 05 May '23

05 May '23

皆様，東北大学の横山です．直前のご案内で恐縮ですが，以下の通りセミナーを開催いたします． (通常と異なり火曜日となっております．) https://sites.google.com/view/sendai-logic/ 日時：5月9日(火)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：Antonio Montalban (University of California, Berkeley) Title: The game metatheorem. Abstract: We present a new metatheorem based on Ash and Kight’s original eta-system priority argument. The previous modification of Ash and Knight’s metatheorem by the author was more hands-on and slightly more general than the original. This new version is more abstract, less hands-on, less general, but much easier to apply. We will also mention a new topological version that is currently work in progress with Andrew Marks. どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

CCC 2023 - call for contributions
by Takao Yuyama 02 May '23

02 May '23

logic-mlの皆様京都大学の湯山と申します．今年9月25日--9月29日にRIMSで開催される，Continuity, Computability, Constructivityに関するワークショップ(CCC 2023)の講演募集案内をお送りいたします．投稿締切は7月31日です．どうぞよろしくお願いいたします． Takao Yuyama 湯山孝雄京都大学数理解析研究所 yuyama(a)kurims.kyoto-u.ac.jp __________________________________ CALL FOR CONTRIBUTIONS: CCC 2023: Continuity, Computability, Constructivity – From Logic to Algorithms Research Institute for Mathematical Sciences, Kyoto University Kyoto, Japan, September 25 - 29, 2023 Conference website: https://www.i.h.kyoto-u.ac.jp/ccc2023/ ============================================== Submission link: https://easychair.org/conferences/?conf=ccc2023 Deadline for Submissions July 31, 2023 Extended abstracts (1-2 pages) of original work should be submitted in pdf format. ==================================================== Topics: constructive mathematics, constructive analysis, computable analysis, exact real number computation CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation. Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog 2013, Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018, Ljubljana 2019, Faro 2020 (online), Birmingham 2021 (online), and Padova 2022. ======================================================== Invited Speakers: Takako Nemoto (Tohoku University, Sendai, JP) Linda Westrick (Penn State University, USA) Alexander G. Melnikov (Victoria University of Wellington, NZ) Siegfried M. Rump (Hamburg University of Technology, DE) ======================================================== Contributions The workshop invites all contributions relating to computation where issues of continuity, computability and constructivity play major roles. Specific areas of interest include: Exact real number computation Correctness of algorithms on infinite data Computable analysis Complexity of real numbers, real-valued functions, etc. Effective descriptive set theory Domain theory Constructive analysis and topology Constructive foundations Category-theoretic approaches to computation on infinite data Weihrauch degrees Other related areas Participation is open both in presence and online. ===================================================================== Programme Committee Ulrich Berger (Swansea, UK) Daniel Graça (Faro, Portugal) Takayuki Kihara (Nagoya, Japan) Milly Maietti (Padua, Italy) Norbert Müller (Trier, Germany) (chair) Sewon Park (Kyoto, Japan) Svetlana Selivanova (Novosibirsk, Russia) Chuangjie Xu (Munich, Germany) Martin Ziegler (KAIST, Republic of Korea) Organizing Committee Matthew de Brecht (Kyoto, Japan) Akitoshi Kawamura (Kyoto, Japan) (co-chair) Sewon Park (Kyoto, Japan) Holger Thies (Kyoto, Japan) (co-chair) Hideki Tsuiki (Kyoto, Japan) Takao Yuyama (Kyoto, Japan)

1 0

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

19 Apr '23

皆様，東北大学の横山です．直前のご案内で恐縮ですが，以下の通りセミナーを開催いたします． https://sites.google.com/view/sendai-logic/ 日時：4月21日(金)16:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：藤原誠(東京理科大学) Title: On the embedding of Kripke models into Beth models Abstract: Kripke showed in [1] that first-order Kripke models can be embedded into first-order Beth models with constant domains by a sophisticated transformation. Following [2, Chapter 13], we revisit the embedding from modern perspectives. [1] S. A. Kripke, Semantical Analysis of Intuitionistic Logic I, Studies in Logic and the Foundations of Mathematics, Vol.40, pp. 92-130, 1965. [2] A. S. Troelstra and D. van Dalen, Constructivism in Mathematics, Vol 2, Elsevier, 1988. どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

【論文募集】コンピュータソフトウェア誌PPL特集号【6/16 17:00締切】
by Kazutaka Matsuda 11 Apr '23

11 Apr '23

皆様， # 重複してお受取になった場合はご容赦ください．東北大学の松田と申します．日本ソフトウェア科学会の学会誌「コンピュータソフトウェア」の「プログラミングおよびプログラミング言語（PPL）特集」の論文募集をご案内いたします．先月開催されました PPL 2023 に連動する特集号ではございますが，プログラミングおよびプログラミング言語分野に関する論文を広く募集しております．どうぞ投稿をご検討いただければ幸いです．特集号編集委員松田一孝（代表者，東北大学），小宮常康（電気通信大学）荒堀喜貴（東京工業大学），星野直彦（崇城大学） ================================================ 論文募集：「プログラミングおよびプログラミング言語」特集 (論文投稿締切: 2023年6月16日(金) 17:00) 日本ソフトウェア科学会プログラミング論研究会は，毎年「プログラミングおよびプログラミング言語ワークショップ (PPL)」を開催しており，2023年3 月に第25回ワークショップ PPL 2023 を開催しました．本「プログラミングおよびプログラミング言語」特集号は，PPL 2023 に連動した企画であり，プログラミングに関する最先端の研究成果を掲載することを目的にしています．PPL 2023 の発表論文を発展させた論文，PPL 2023 での発表論文の中から推薦された論文（PPL 2023 推薦論文），あるいはそれに限らず下記の対象分野に関連した論文を広く募集します．なお，PPL 2023 との連携を強化するために，PPL 2023 のプログラム共同委員長・松田一孝（東北大学）氏，小宮常康（電気通信大学）氏を中心として特集号編集委員を構成しています．PPL 2023 での発表論文を発展させた論文，および，PPL 2023 推薦論文の査読にあたっては，PPL 2023 の論文およびその査読結果を参考とさせていただきますので，迅速で一貫した査読が期待できます． <対象分野> プログラミングおよびプログラミング言語に関する研究成果 <募集論文> プログラミングおよびプログラミング言語に関する研究論文・解説論文・ソフトウェア論文 <執筆要領> 日本ソフトウェア科学会誌「コンピュータソフトウェア」の関連諸規定をご参照の上，投稿論文の PDF ファイルと「投稿メモ」を ppl2023si[at]jssst-ppl.org 宛にお送りください．([at]を@に置換下さい) * 学会誌関連諸規定は以下でご参照いただけます． http://www.jssst.or.jp/edit/kitei/ * PPL 2023 で発表した論文を改訂して投稿する場合は，その旨をお知らせください． * 特集号に投稿された論文の査読基準は，一般投稿論文と同じです． * レター論文による投稿を歓迎します．レター論文は，査読者 1名による査読を行い，「照会後判定」は行わず，一度の査読で採否を判定します．刷り上がりで 6ページ以下の速報性を重視した論文です．レター論文を発展させたものは通常論文として投稿可能です． * 二重投稿にならないよう，十分ご注意下さい．（国際会議であっても，査読期間が重複する場合は二重投稿に該当します） * 日本ソフトウェア科学会の非会員による投稿も受け付けております．詳しくは上記論文投稿規定をご覧ください． * PPL 2023 推薦論文であっても，論文投稿締切り後は非推薦論文として扱います． <スケジュール> 論文投稿締切　： 2023年6月16日(金) 17:00 特集号刊行予定： 2024年2月号査読プロセスの進行状況により掲載予定号に間に合わない場合があります．その場合でも特集論文として扱われます． <特集号編集委員> 松田一孝（代表者，東北大学），小宮常康（電気通信大学）荒堀喜貴（東京工業大学），星野直彦（崇城大学） <企画母体> 日本ソフトウェア科学会プログラミング論研究会 <問合せ先> 松田一孝（東北大学），小宮常康（電気通信大学） ppl2023si[at]jssst-ppl.org ([at]は@で置き換えて下さい)

1 0

（日本数学会）日本学術振興会育志賞の候補者の推薦について
by Hiroshi SAKAI 28 Mar '23

28 Mar '23

皆様：（重複して受け取られた場合はご容赦ください．）数学会「数学基礎論および歴史分科会」評議員の酒井拓史です． JSPS 育志賞の数学会からの推薦について，下記連絡がありました．候補の大学院生がいらっしゃる場合は，下記要領に従って数学会にご推薦ください．よろしくお願いします．酒井拓史 ========= 差出人: "president" <president(a)mathsoc.jp> 件名: （日本数学会）日本学術振興会育志賞の候補者の推薦について日付: 2023年3月27日 15:58:16 JST 宛先: "'msjprize'" <msjprize(a)mathsoc.jp> 全国区代議員、地方区代議員　各位理事　各位 ※本メールはBccでお送りしております。平素より日本数学会の運営にご協力を賜り厚く御礼申し上げます。先般、数学通信（会報）第２７巻第３号および第４号において、「令和５年度日本学術振興会育志賞」の数学会からの推薦募集について【４月７日（金）】を推薦期限としてお知らせいたしました。 https://www.mathsoc.jp/assets/file/publications/tushin/2704/kaiho274-07.pdf<https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.maths…> 育志賞は将来、我が国の学術研究の発展に寄与することが期待される優秀な大学院博士課程学生を顕彰する大変名誉ある賞です。日本数学会からも優秀な大学院生を積極的に推薦したいと思いますので、お心あたりの大学院生をご存知のかたは是非ご応募いただきますよう、関係各所に広くご周知のほど、よろしくお願い申し上げます。　（参考）育志賞対象者：下記1ページ目「４．対象者」　　https://www.jsps.go.jp/file/storage/j-ikushi-prize/recommendation/candidate…<https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.jsps.…> 推薦書の様式は「２０２３年度日本数学会賞建部賢弘賞推薦票」をご使用ください。（下記URLからダウンロードしていただけます） https://www.mathsoc.jp/activity/awards/takebe/<https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.maths…> ご協力の程どうぞよろしくお願い申し上げます。日本数学会理事長　清水　扇丈次期理事長　鎌田　聖一 =========

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml