Logic-ml

9 participants
1781 discussions

数学基礎論サマースクール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:[email protected]> まで、電子メールにてご連絡ください。研究集会のウェブページは https://tenasaku.com/RIMS2023/ にあります。お知り合いの皆さまにもお知らせいただければ幸いです。今後ともよろしくお願いいたします。藤田博司 fujita.hiroshi.mh(a)ehime-u.ac.jp<mailto:[email protected]>

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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml