Logic-ml June 2024

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

5 participants
5 discussions

第7回セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ参加募集
by Taro Sekiyama 18 Jun '24

18 Jun '24

皆様 (複数お受け取りの場合はご容赦ください) 国立情報学研究所の関山です。 7月1日に開催される「第7回セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ」の参加募集のご案内です。第7回の開催情報は以下の通りです。詳しくはワークショップの案内ページ：https://sc-sys.github.io/ もあわせてご覧ください。講演内容：コンフィデンシャル・コンピューティングの基盤技術と期待される TEE (Trusted Execution Environment) に関連する3つの講演を予定しています。 1. "CTR: Checkpoint, Transfer, and Restore for Secure Enclaves" Yoshimichi Nakatsuka (ETH Zurich) 2. "TDOS: Trustworthy Heterogeneous Disaggregated Architectures" Atsushi Koshiba (Technical University of Munich) 3. "OP-TEEの利用事例：OP-TEEを用いたIoTのための安全な階層鍵管理機構" 竹房あつ子 (NII) 開催日時：7月1日 14:00〜17:00 開催場所：早稲田大学グリーン・コンピューティング・システム研究開発センター (40号館) 1階プレゼンテーションルーム (https://www.waseda.jp/inst/gcs/access/) 参加方法： Google form https://forms.gle/G8jYDktBZJRYTnYk7 から申し込み (登録締切は 6/28(金) 17:00 です) ワークショップについて：本ワークショップ「セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ (SATSS)」は、新しい（特にセキュアな）計算機システムに関する原理を理論研究と共に計算機ハードウェアからソフトウェアのレイヤまで研究・開発するために必要な知識の獲得と議論の場を提供することを目的として開催しています。また議論を大事にするという観点から、現地参加を推奨しています。(リモート参加も可能です）それでは皆様の参加をお待ち申し上げます。また、お知り合いの方で興味のございます方がいらっしゃいましたら周知いただけますと幸いです。 -- 関山太朗国立情報学研究所 sekiyama(a)nii.ac.jp

1 0

『若手による数理論理学研究集会』参加者募集
by 西村祐輝 13 Jun '24

13 Jun '24

logic-ml の皆様、東京工業大学の西村です。先日告知しました『若手による数理論理学研究集会』について、参加者の募集を開始しましたので告知いたします。詳細については、こちらの公式ページをご覧ください。 https://sites.google.com/view/yorukai-2nd また、学部生以下の方を対象に、当日運営の手伝いをしていただくアルバイトを募集しています。こちらも公式サイトに詳細がありますので、ぜひご覧ください。若手の方々の出席をお待ちしています。また、先生方におかれましては、研究室の学生のみなさんや、ご興味のある学生さんに周知していただけると幸いです。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

東北大ロジックセミナーのご案内
by 竹田侑人 07 Jun '24

07 Jun '24

皆様，東北大学の竹田です．以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：6月14日(金)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：中田哲 (京都大学数理解析研究所) 題目準古典的算術における冠頭標準形定理と部分トポス構造概要論理式の形に関する冠頭標準形定理は、直観主義論理上では一般には成り立たないことがよく知られている。とりわけ準古典的算術における冠頭標準形定理の成否については、藤原氏と倉橋氏により精密に調べられている[1]。彼らは証明論的議論に基づき次の否定的結果を示していた: HA + Sigma_1-DNEにおいてSigma_1に関する冠頭標準形定理は成立しない。本講演では、この結果のトポス理論的議論に基づく別証明を与え、その一般化について考察する。 [1] Makoto Fujiwara and Taishi Kurahashi. Prenex normal form theorems in semi-classical arithmetic. Journal of Symbolic Logic, 86(3):1124--1153, 2021. オンライン参加を希望される方は竹田(yuto.takeda.t8(a)dc.tohoku.ac.xn--jp)-u63baam6azav5czbevh0gij9rvoja5sb4j6736j2rvgn34dhb1b どうぞよろしくお願いいたします．竹田侑人 yuto.takeda.t8(a)dc.tohoku.ac.jp

1 0

准教授（鹿児島大学）公募
by Hitoshi Furusawa 06 Jun '24

06 Jun '24

logic-ml の皆さま鹿児島大学の古澤と申します。本学学術研究院理工学域理学系では、以下の公募を行っております。募集人員：准教授１名（任期の定めなし）所　　属：鹿児島大学学術研究院理工学域理学系（理学部理学科／数理情報科学プログラム担当）専門分野：情報科学または情報科学に関連する数理科学着任時期：令和７年４月１日応募締切：令和６年８月２０日（火）必着詳細につきましては下記のURLをご覧ください。 https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D124060260 https://www.kagoshima-u.ac.jp//about/saiyou.html ご興味をお持ちの方がいらっしゃいましたら応募をご検討ください。また、お近くに適任の方がいらっしゃいましたらお勧めいただけますと幸いです。 ----- 鹿児島大学古澤仁

1 0

教員の公募
by AOKI Kunimasa 04 Jun '24

04 Jun '24

logic-ml の皆様水産大学校にいる青木と申します。水産大学校では情報科学分野で教員の公募を行なっております。 https://www.fish-u.ac.jp/shokuin/files/r5-7.pdf お近くに興味のお有りの方がいらっしゃいましたらご紹介いただけると幸いです。よろしくお願いいたします。 — AOKI Kunimasa

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml June 2024