October 2020 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Mon Oct 5 20:39:12 JST 2020
Ending: Fri Oct 30 15:15:54 JST 2020
Messages: 8

• [logic-ml] 助教公募   arai toshiyasu
• [logic-ml] SLACS 2020 講演・参加募集のお知らせ   Ryoma Sin'ya
• [logic-ml] 特任研究員の公募   Naoki Kobayashi
• [logic-ml] RIMS Model Theory Workshop 2020   kota takeuchi
• [logic-ml] 証明論研究集会2020のご案内   ikeda
• [logic-ml] 第43回量子情報技術研究会（QIT43）会告案内   Yasuhito Kawano
• [logic-ml] 研究補助者募集（プログラム検証器の機械学習による高速化研究の補助）   Kohei SUENAGA
• [logic-ml] 博士研究員募集（CREST「AI 集約的サイバーフィジカルシステムの形式的解析設計手法」）   Kohei SUENAGA

Last message date: Fri Oct 30 15:15:54 JST 2020
Archived on: Fri Oct 30 15:16:34 JST 2020

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...