Groups
Sign in
Groups
sonoteno
Conversations
About
Send feedback
Help
sonoteno
Contact owners and managers
1–30 of 617
Mark all as read
Report group
0 selected
Tsuneyasu KOMIYA
Jul 4
日本ソフトウェア科学会第41回大会 発表募集
皆様, # 重複してお受取になった場合はご容赦ください. 電気通信大学の小宮と申します. 日本ソフトウェア科学会第41回大会の発表募集をご案内させていただきます. # 今年の大会は,対面開催を予定して
unread,
日本ソフトウェア科学会第41回大会 発表募集
皆様, # 重複してお受取になった場合はご容赦ください. 電気通信大学の小宮と申します. 日本ソフトウェア科学会第41回大会の発表募集をご案内させていただきます. # 今年の大会は,対面開催を予定して
Jul 4
Kazuyuki Asada
Jul 2
SLACS 2024(8月21日-22日)講演・参加募集のお知らせ
皆様,(重複して受け取られた場合はご容赦ください.) 第41回 記号論理と情報科学 研究集会(SLACS 2024)幹事の東北大学の浅田です. SLACS 2024は,2024年8月21日(水)~22日
unread,
SLACS 2024(8月21日-22日)講演・参加募集のお知らせ
皆様,(重複して受け取られた場合はご容赦ください.) 第41回 記号論理と情報科学 研究集会(SLACS 2024)幹事の東北大学の浅田です. SLACS 2024は,2024年8月21日(水)~22日
Jul 2
Tetsuo Kamina
May 30
【参加案内】情報処理学会 第149回プログラミング研究会(6/13)
# 重複してお受け取りの場合はご容赦ください。 大分大学の紙名と申します。 情報処理学会 第149回プログラミング研究発表会(PRO-2024-1)の開催案内をさせていただきます。 どなたでも無料でご
unread,
【参加案内】情報処理学会 第149回プログラミング研究会(6/13)
# 重複してお受け取りの場合はご容赦ください。 大分大学の紙名と申します。 情報処理学会 第149回プログラミング研究発表会(PRO-2024-1)の開催案内をさせていただきます。 どなたでも無料でご
May 30
Yuta Takahashi
May 24
Prof. Thomas Seillerの講義をご案内 5月28日ハイブリッド形式
みなさま、 こんにちは、青森大学の高橋優太と申します。 慶應義塾大学・岡田光弘先生の代理として、以下のワークショップを 告知させていただきたく思います。ふるってご参加ください。 ------------
unread,
Prof. Thomas Seillerの講義をご案内 5月28日ハイブリッド形式
みなさま、 こんにちは、青森大学の高橋優太と申します。 慶應義塾大学・岡田光弘先生の代理として、以下のワークショップを 告知させていただきたく思います。ふるってご参加ください。 ------------
May 24
Mirai Ikebuchi
May 23
APLAS 2024: Final Call for Papers
皆様, 京都大学の池渕です.APLAS 2024のfinal CfPをお送りします. Submission deadlineが延期され,5/31(金)になりました. ==================
unread,
APLAS 2024: Final Call for Papers
皆様, 京都大学の池渕です.APLAS 2024のfinal CfPをお送りします. Submission deadlineが延期され,5/31(金)になりました. ==================
May 23
安部達也
2
May 23
第7回ステアラボソフトウェア技術セミナー「Programming Language with Versions」のご案内
皆様、 千葉工業大学の安部達也です。 東京工業大学の田辺裕大さん(https://yudaitnb.github.io/)を講師に迎えて開催されるセミナーの前日になりましたのでリマインダを送らせて
unread,
第7回ステアラボソフトウェア技術セミナー「Programming Language with Versions」のご案内
皆様、 千葉工業大学の安部達也です。 東京工業大学の田辺裕大さん(https://yudaitnb.github.io/)を講師に迎えて開催されるセミナーの前日になりましたのでリマインダを送らせて
May 23
Sin'ya Ryoma
2
May 21
【発表募集】第150回プログラミング研究発表会(PRO-2024-2)
皆様, 第145回プログラミング研究発表会担当の新屋です. 発表枠にまだ余裕があるため,発表申込締切を延長いたしました. 発表申込締切: 2024年5月24日(金)(通常の発表・短い発表の両方とも)
unread,
【発表募集】第150回プログラミング研究発表会(PRO-2024-2)
皆様, 第145回プログラミング研究発表会担当の新屋です. 発表枠にまだ余裕があるため,発表申込締切を延長いたしました. 発表申込締切: 2024年5月24日(金)(通常の発表・短い発表の両方とも)
May 21
Ichiro Hasuo
May 20
ICTAC 2024 Call for Papers
--------------------------------------------------------------------------- ICTAC 2024 - Second Call
unread,
ICTAC 2024 Call for Papers
--------------------------------------------------------------------------- ICTAC 2024 - Second Call
May 20
Ichiro Hasuo
May 19
Advert for positions at NTU, Singapore
Yong Kiam Tan 先生のご依頼により,下記を転送します. 蓮尾 ==================== We are jointly advertising for several open
unread,
Advert for positions at NTU, Singapore
Yong Kiam Tan 先生のご依頼により,下記を転送します. 蓮尾 ==================== We are jointly advertising for several open
May 19
Ichiro Hasuo
May 8
ERATO蓮尾メタ数理システムデザインプロジェクト 成果報告会・シンポジウム(6/19 水曜)
みなさま,(多重投稿ご容赦ください) 国立情報学研究所の蓮尾です.大変お世話になっております. 私達が 2016年10月から推進してきました JST ERATO プロジェクトが最終年度を迎えており,6/
unread,
ERATO蓮尾メタ数理システムデザインプロジェクト 成果報告会・シンポジウム(6/19 水曜)
みなさま,(多重投稿ご容赦ください) 国立情報学研究所の蓮尾です.大変お世話になっております. 私達が 2016年10月から推進してきました JST ERATO プロジェクトが最終年度を迎えており,6/
May 8
Ichiro Hasuo
Apr 22
(CfP, Deadline extended to 25 April AoE) ATVA 2024 in Kyoto
New: the paper submission deadline for ATVA 2024 has been extended till 25 April AoE ----------------
unread,
(CfP, Deadline extended to 25 April AoE) ATVA 2024 in Kyoto
New: the paper submission deadline for ATVA 2024 has been extended till 25 April AoE ----------------
Apr 22
Ichiro Hasuo
Apr 22
RP 2024: Call for Papers
Call for Papers The 18th International Conference on Reachability Problems - RP 2024 September 25-27,
unread,
RP 2024: Call for Papers
Call for Papers The 18th International Conference on Reachability Problems - RP 2024 September 25-27,
Apr 22
Koko Akazaki Muroya
Apr 22
APLAS 2024 SRC & Posters
[Apologies for multiple postings.] ================================ Call for Submissions APLAS 2024
unread,
APLAS 2024 SRC & Posters
[Apologies for multiple postings.] ================================ Call for Submissions APLAS 2024
Apr 22
Mirai Ikebuchi
2
Apr 18
APLAS 2024: Call for Papers
皆様, 京都大学の池渕です.10/22-24に京都で開催されるAPLAS 2024の2nd CfPをお送りします. 国内なので参加しやすいですし是非ご投稿ください. ==================
unread,
APLAS 2024: Call for Papers
皆様, 京都大学の池渕です.10/22-24に京都で開催されるAPLAS 2024の2nd CfPをお送りします. 国内なので参加しやすいですし是非ご投稿ください. ==================
Apr 18
Tetsuo Kamina
Apr 15
【締切延長】第149回プログラミング研究発表会(PRO-2024-1)
皆様(重複してお受け取りの場合はご容赦ください) 大分大学の紙名です。 第149回プログラミング研究発表会の申込締切を延長しました。 発表申込締切: 2024年4月28日(日)(通常の発表・短い発表の
unread,
【締切延長】第149回プログラミング研究発表会(PRO-2024-1)
皆様(重複してお受け取りの場合はご容赦ください) 大分大学の紙名です。 第149回プログラミング研究発表会の申込締切を延長しました。 発表申込締切: 2024年4月28日(日)(通常の発表・短い発表の
Apr 15
Taro Sekiyama
Apr 9
第6回セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ参加募集
皆様 (複数お受け取りの場合はご容赦ください) 国立情報学研究所の関山です。 5月10日に開催される「第6回セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ」の参加募集の
unread,
第6回セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ参加募集
皆様 (複数お受け取りの場合はご容赦ください) 国立情報学研究所の関山です。 5月10日に開催される「第6回セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ」の参加募集の
Apr 9
Tetsuo Kamina
Apr 1
【発表募集】第149回プログラミング研究発表会(PRO-2024-1)
皆様(重複してお受け取りの場合はご容赦ください) 大分大学の紙名です。 第149回プログラミング研究発表会の申込締切(4/14)が近づいてまいりましたので、再度ご案内させていただきます。 論文誌への同時
unread,
【発表募集】第149回プログラミング研究発表会(PRO-2024-1)
皆様(重複してお受け取りの場合はご容赦ください) 大分大学の紙名です。 第149回プログラミング研究発表会の申込締切(4/14)が近づいてまいりましたので、再度ご案内させていただきます。 論文誌への同時
Apr 1
Ichiro Hasuo
Mar 13
Fwd: [ATVA 2024 CfP] 22nd International Symposium on Automated Technology for Verification and Analysis Call for Papers
Dear colleague, Apologies if you receive multiple copies of this call-for-papers of the 22nd
unread,
Fwd: [ATVA 2024 CfP] 22nd International Symposium on Automated Technology for Verification and Analysis Call for Papers
Dear colleague, Apologies if you receive multiple copies of this call-for-papers of the 22nd
Mar 13
Jérémy Dubut
Mar 7
Fwd: 3rd CfP & Deadline Extension: RAMiCS 2024
Dear all, Here is an announcement on behalf of the program committee of RAMiCS. The deadline has been
unread,
Fwd: 3rd CfP & Deadline Extension: RAMiCS 2024
Dear all, Here is an announcement on behalf of the program committee of RAMiCS. The deadline has been
Mar 7
Takeshi Tsukada
Mar 4
CSCAT 2024 参加募集 / 懇親会
皆様、 千葉大学の塚田ですCSCAT 2024 の発表募集・参加募集・懇親会案内ですCSCAT(理論計算機科学と圏論ワークショップ)は、数学の分野である圏論の情報科学への応用に関心を持つ研究者による研究
unread,
CSCAT 2024 参加募集 / 懇親会
皆様、 千葉大学の塚田ですCSCAT 2024 の発表募集・参加募集・懇親会案内ですCSCAT(理論計算機科学と圏論ワークショップ)は、数学の分野である圏論の情報科学への応用に関心を持つ研究者による研究
Mar 4
Kohei SUENAGA
Feb 29
Open postdoc positions in "CyPhAI: Formal Analysis and Design of AI-intensive Cyber-Physical Systems"
皆様, (複数お受け取りの場合はご容赦ください.) 京都大学の末永です. 私が代表を務めている CREST のプロジェクト 「AI集約的サイバーフィジカルシステムのための形式的解析設計手法」で 博士
unread,
Open postdoc positions in "CyPhAI: Formal Analysis and Design of AI-intensive Cyber-Physical Systems"
皆様, (複数お受け取りの場合はご容赦ください.) 京都大学の末永です. 私が代表を務めている CREST のプロジェクト 「AI集約的サイバーフィジカルシステムのための形式的解析設計手法」で 博士
Feb 29
Tetsuo Kamina
Feb 28
第149回プログラミング研究発表会(PRO-2024-1)発表募集
皆様(重複してお受け取りの場合はご容赦ください) 大分大学の紙名です。 以下のとおり,第149回プログラミング研究発表会の発表募集をさせていただきます。ご検討のほど,よろしくお願い致します。 ====
unread,
第149回プログラミング研究発表会(PRO-2024-1)発表募集
皆様(重複してお受け取りの場合はご容赦ください) 大分大学の紙名です。 以下のとおり,第149回プログラミング研究発表会の発表募集をさせていただきます。ご検討のほど,よろしくお願い致します。 ====
Feb 28
Daisuke Kimura
Feb 26
最終案内:PPL2024 (第26回プログラミングおよびプログラミング言語ワークショップ)
皆様, 3月5日(火) -- 7日(木) に開催予定の第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) について参加登録締切直前ですので,最終案内をお送りいたします. *
unread,
最終案内:PPL2024 (第26回プログラミングおよびプログラミング言語ワークショップ)
皆様, 3月5日(火) -- 7日(木) に開催予定の第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) について参加登録締切直前ですので,最終案内をお送りいたします. *
Feb 26
Daisuke Kimura
Feb 22
参加募集リマインダ:第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024)
皆様, 東邦大学の木村と申します. 3月5日(火) -- 7日(木) に開催予定の第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) について** 登録締切日の1週間前 *
unread,
参加募集リマインダ:第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024)
皆様, 東邦大学の木村と申します. 3月5日(火) -- 7日(木) に開催予定の第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) について** 登録締切日の1週間前 *
Feb 22
Daisuke Kimura
Feb 20
TASE 2024: Deadline Extension (March 5, 2024)
みなさま, 東邦大学の木村です. 7月29日〜8月1日に中国貴州省で開催予定の国際会議 TASE 2024 の論文募集のご案内です. **** 締切が延長されました **** Abstract
unread,
TASE 2024: Deadline Extension (March 5, 2024)
みなさま, 東邦大学の木村です. 7月29日〜8月1日に中国貴州省で開催予定の国際会議 TASE 2024 の論文募集のご案内です. **** 締切が延長されました **** Abstract
Feb 20
Yoshiki Kinoshita (KU ProgSci)
Feb 19
佐藤雅彦先生のご講演,Dependability関連講演: 情報処理学会全国大会
そのての皆さま 3/15(fri)-17(sun)に神奈川大学(横浜市六角橋)で情報処理学会全国大会が開催され,以下のセッションが企画されています.佐藤雅彦先生,蓮尾一郎さんをはじめ本MLに関連深い方々
unread,
佐藤雅彦先生のご講演,Dependability関連講演: 情報処理学会全国大会
そのての皆さま 3/15(fri)-17(sun)に神奈川大学(横浜市六角橋)で情報処理学会全国大会が開催され,以下のセッションが企画されています.佐藤雅彦先生,蓮尾一郎さんをはじめ本MLに関連深い方々
Feb 19
Masaki Waga
Feb 13
2nd call for paper of QEST-FORMATS 2024
みなさま、 京都大学の和賀です。 重複してお受け取りの節は何卒ご容赦ください。 今年9月9日から13日にカナダ・カルガリーにて開催される、量的システムに関す る国際会議 QEST+FORMATS
unread,
2nd call for paper of QEST-FORMATS 2024
みなさま、 京都大学の和賀です。 重複してお受け取りの節は何卒ご容赦ください。 今年9月9日から13日にカナダ・カルガリーにて開催される、量的システムに関す る国際会議 QEST+FORMATS
Feb 13
Jérémy Dubut
2
Feb 12
Fwd: CfP: Relational and Algebraic Methods in Computer Science, RAMiCS 2024, Prague
Dear all, The deadline for the RAMiCS conference has been extended as follows: - abstract due on
unread,
Fwd: CfP: Relational and Algebraic Methods in Computer Science, RAMiCS 2024, Prague
Dear all, The deadline for the RAMiCS conference has been extended as follows: - abstract due on
Feb 12
Daisuke Kimura
Feb 5
参加募集:PPL2024 (第26回プログラミングおよびプログラミング言語ワークショップ)
皆様(重複ご容赦ください), 東邦大学の木村と申します. 3月5日(火) -- 7日(木) に朱鷺メッセ 新潟コンベンションセンター (およびオンライン) で開催される, 第26回プログラミングおよび
unread,
参加募集:PPL2024 (第26回プログラミングおよびプログラミング言語ワークショップ)
皆様(重複ご容赦ください), 東邦大学の木村と申します. 3月5日(火) -- 7日(木) に朱鷺メッセ 新潟コンベンションセンター (およびオンライン) で開催される, 第26回プログラミングおよび
Feb 5
Masaki Waga
Feb 3
RV 2024: Call for Papers
みなさま、 京都大学の和賀です。重複してお受け取りの場合はご容赦ください。 10/15-19にイスタンブールにて開催予定の、実行時検証に関する国際会議 RV 2024 の論文募集のご案内です。 投稿を
unread,
RV 2024: Call for Papers
みなさま、 京都大学の和賀です。重複してお受け取りの場合はご容赦ください。 10/15-19にイスタンブールにて開催予定の、実行時検証に関する国際会議 RV 2024 の論文募集のご案内です。 投稿を
Feb 3