- 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 西村祐輝 01 Sep '23

01 Sep '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 31 Aug '23

31 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 18 Aug '23

18 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 07 Aug '23

07 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 24 Jul '23

24 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 14 Jul '23

14 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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml