Groups
Sign in
Groups
sonoteno
Conversations
About
Send feedback
Help
sonoteno
Contact owners and managers
1–30 of 610
Mark all as read
Report group
0 selected
Ichiro Hasuo
May 8
ERATO蓮尾メタ数理システムデザインプロジェクト 成果報告会・シンポジウム(6/19 水曜)
みなさま,(多重投稿ご容赦ください) 国立情報学研究所の蓮尾です.大変お世話になっております. 私達が 2016年10月から推進してきました JST ERATO プロジェクトが最終年度を迎えており,6/
unread,
ERATO蓮尾メタ数理システムデザインプロジェクト 成果報告会・シンポジウム(6/19 水曜)
みなさま,(多重投稿ご容赦ください) 国立情報学研究所の蓮尾です.大変お世話になっております. 私達が 2016年10月から推進してきました JST ERATO プロジェクトが最終年度を迎えており,6/
May 8
安部達也
May 7
第7回ステアラボソフトウェア技術セミナー「Programming Language with Versions」のご案内
皆様、 千葉工業大学の安部達也です。 東京工業大学の田辺裕大さん(https://yudaitnb.github.io/)にProgramming with Versions (PWV) における最新の
unread,
第7回ステアラボソフトウェア技術セミナー「Programming Language with Versions」のご案内
皆様、 千葉工業大学の安部達也です。 東京工業大学の田辺裕大さん(https://yudaitnb.github.io/)にProgramming with Versions (PWV) における最新の
May 7
Sin'ya Ryoma
May 2
【発表募集】第150回プログラミング研究発表会(PRO-2024-2)
皆様 第150回プログラミング研究発表会担当の秋大の新屋です。 以下の通り、発表(同時投稿/発表のみ)を募集します。 第150回プログラミング研究発表会は、2024年並列/分散/協調処理に関する サマー
unread,
【発表募集】第150回プログラミング研究発表会(PRO-2024-2)
皆様 第150回プログラミング研究発表会担当の秋大の新屋です。 以下の通り、発表(同時投稿/発表のみ)を募集します。 第150回プログラミング研究発表会は、2024年並列/分散/協調処理に関する サマー
May 2
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
Ichiro Hasuo
Jan 30
Fwd: *Extended Deadline* 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24)
The submission deadline for the 17th International Workshop on Coalgebraic Methods in Computer
unread,
Fwd: *Extended Deadline* 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24)
The submission deadline for the 17th International Workshop on Coalgebraic Methods in Computer
Jan 30
Daisuke Kimura
Jan 25
TASE 2024: Call for Papers
みなさま, 東邦大学の木村です.重複してお受け取りの場合はご容赦ください. 7月29日〜8月1日に中国貴州省で開催予定の国際会議 TASE 2024 の論文募集のご案内です. TASE2024 は,理論
unread,
TASE 2024: Call for Papers
みなさま, 東邦大学の木村です.重複してお受け取りの場合はご容赦ください. 7月29日〜8月1日に中国貴州省で開催予定の国際会議 TASE 2024 の論文募集のご案内です. TASE2024 は,理論
Jan 25
Ichiro Hasuo
Jan 19
Fwd: 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): Final Call for Papers
FINAL CALL FOR PAPERS ===================== The 17th IFIP WG 1.3 International Workshop on
unread,
Fwd: 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): Final Call for Papers
FINAL CALL FOR PAPERS ===================== The 17th IFIP WG 1.3 International Workshop on
Jan 19
Ichiro Hasuo
Jan 16
Fwd: [Call-for-Papers] QEST+FORMATS 2024
[Call-for-Papers] QEST+FORMATS 2024 The two flagship conferences of QEST (International Conference on
unread,
Fwd: [Call-for-Papers] QEST+FORMATS 2024
[Call-for-Papers] QEST+FORMATS 2024 The two flagship conferences of QEST (International Conference on
Jan 16
Masaki Waga
Jan 16
QEST+FORMATS 2024: Call for Papers
みなさま、 京都大学の和賀です。 重複してお受け取りの節は何卒ご容赦ください。 今年9月9日から13日にカナダ・カルガリーにて開催される、量的システムに関す る国際会議 QEST+FORMATS
unread,
QEST+FORMATS 2024: Call for Papers
みなさま、 京都大学の和賀です。 重複してお受け取りの節は何卒ご容赦ください。 今年9月9日から13日にカナダ・カルガリーにて開催される、量的システムに関す る国際会議 QEST+FORMATS
Jan 16
Kazuyuki ASADA
Jan 9
CSCAT 2024 開催案内
(代理で東北大学浅田がお送り致します.) 皆様(重複投稿ご容赦ください) 今年度CSCATの幹事をしております千葉大学の塚田です。 CSCAT 2024 の開催のご案内です。 CSCAT(理論計算機科学
unread,
CSCAT 2024 開催案内
(代理で東北大学浅田がお送り致します.) 皆様(重複投稿ご容赦ください) 今年度CSCATの幹事をしております千葉大学の塚田です。 CSCAT 2024 の開催のご案内です。 CSCAT(理論計算機科学
Jan 9
安部達也
12/8/23
【論文/発表募集】 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
皆様, PPL 2024 プログラム共同委員長の安部です. カテゴリ1(国内外未発表論文)の発表申込締切(12/22(金)17:00)が迫って参りましたので改めて CFP をご案内させていただきます.
unread,
【論文/発表募集】 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
皆様, PPL 2024 プログラム共同委員長の安部です. カテゴリ1(国内外未発表論文)の発表申込締切(12/22(金)17:00)が迫って参りましたので改めて CFP をご案内させていただきます.
12/8/23