Logic-ml August 2023

10 participants
14 discussions

講演募集中: 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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml August 2023