Logic-ml June 2023

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

7 participants
9 discussions

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

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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml June 2023