Logic-ml July 2024

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

3 participants
3 discussions

日本ソフトウェア科学会第41回大会発表募集
by Tsuneyasu KOMIYA 04 Jul '24

04 Jul '24

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

1 0

『第2回若手による数理論理学研究集会』のご連絡
by 西村祐輝 03 Jul '24

03 Jul '24

logic-ml の皆様、『第2回若手による数理論理学研究集会』運営の西村です。本研究集会について、いくつか告知をいたします。 1. 旅費支援お問い合わせフォームを作成しました。「旅費支援を申し込みたい」「旅費支援によっては参加したい」という方は、こちらのフォームに記入をお願いいたします。事務処理の都合上、締め切りは参加登録フォームより早く、【7/15】とさせていただきます。すでに参加登録フォームにて旅費支援についてお問い合わせをいただいた方も、お手数ですが再度お問い合わせフォームにご記入いただければと思います。 2. 懇親会の詳細が確定しました。 - 日時：8月8日 19:00-21:00 - 会場：神奈川大学 1号館 806室 - 参加費：4,500円懇親会参加の締め切りは、参加締切と同じく 7/22 です。 3. 今回の研究集会では、発表される方に予稿集への寄稿をお願いしています（原稿の提出は集会後を予定）。集会後の予稿集は、神奈川大情報学研究所からオンラインで公開される予定です。ご承知おきください。また、対外的にアピールできる発表実績ともなりますので、とくに学生の方々は積極的に検討していただけると幸いです。 4. アルバイトの参加条件を、「学部生のみ」から「学部生・修士課程学生」に変更しました。修士課程学生の方で、当日の運営を手伝っていただける方は、アルバイト申し込みフォームかに必要事項を記入してください。各種フォームや会の詳細については、ウェブサイトをご覧ください。 https://sites.google.com/view/yorukai-2nd/%E3%83%9B%E3%83%BC%E3%83%A0 発表枠、参加枠ともに、十分に空きがございます。みなさまのご参加をお待ちしています。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

SLACS 2024（8月21日-22日）講演・参加募集のお知らせ
by Kazuyuki Asada 02 Jul '24

02 Jul '24

皆様，（重複して受け取られた場合はご容赦ください．）第41回記号論理と情報科学研究集会（SLACS 2024）幹事の東北大学の浅田です． SLACS 2024は，2024年8月21日（水）～22日（木）に，東北大学電気通信研究所にて現地開催いたします．発表・参加のご検討のほど，どうぞよろしくお願いいたします． ==== SLACS 2024 開催要領 ==== 詳細：https://sites.google.com/view/slacs-2024 日程：2024年8月21日（水）～22日（木）の二日間形式：現地開催会場：東北大学電気通信研究所本館 1階 M153室（〒980-0812 宮城県仙台市青葉区片平２丁目１−１）講演申込： https://forms.gle/ZYdY1yV9RoZn1g649 参加申込： https://forms.gle/LnLKNrW1KNt5UUgB6 費用：参加費無料（懇親会費は別途徴収）幹事：浅田和之（東北大学電気通信研究所, E-mail: asada(a)riec.tohoku.ac.jp) ============================= 講演申し込み期限は 2024年8月14日（水）といたしますが，発表する意思がある方はお早めにお申し込みいただけると幸いです．研究集会への参加申し込みは開催当日まで受け付けます．以上，奮ってご参加ください．

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml July 2024