| # | 服務單位 | 出國人員姓名 | 活動日期 | 出國類別 | 發表之論文題目 | 檢視報告 |
|
1
| 資訊科學研究所(IIS) | 張原豪(YUAN-HAO CHANG) |
|
(會議) 會議名稱
中文:
亞洲暨南太平洋設計自動化國際會議
外文:
Asia and South Pacific Design Automation Conference(ASP-DAC 2024)
地點:
南韓(Korea),仁川(Incheon)
|
中文:
外文:
PRESS: Persistence Relaxation for Efficient and Secure Data Sanitization on Zoned Namespace Storage
| |
|
2
| 資訊科學研究所(IIS) | 古倫維(LUN-WEI, KU) |
|
(研究)地點美國(U.S.A.)舊金山(San Francisco,California)
|
| |
|
3
| 資訊科學研究所(IIS) | 古倫維(LUN-WEI KU) |
|
(訪問)地點日本(Japan)東京(Tokyo)
|
| |
|
4
| 資訊科學研究所(IIS) | 陳亮廷(LIANG-TING CHEN) |
| 2024/4/4 | ~ | 2024/4/5 |
| 2024/4/6 | ~ | 2024/4/11 |
|
(會議) 會議名稱
中文:
歐洲軟體理論與實務聯合會議
外文:
European joint conference on theory and practice of software (ETAPS 2024)
地點:
盧森堡(Luxembourg),盧森堡(Luxembourg)
(訪問)地點比利時(Belgium)魯汶
|
中文:
雙向型別的型式討論
外文:
A Formal Treatment of Bidirectional Typing
| |
|
5
| 資訊科學研究所(IIS) | 柯向上(HSIANG-SHANG last_name) |
| 2024/4/1 | ~ | 2024/4/5 |
| 2024/4/6 | ~ | 2024/4/11 |
|
(會議) 會議名稱
中文:
外文:
European Joint Conferences on Theory and Practice of Software (ETAPS) 2024
地點:
盧森堡(Luxembourg),盧森堡(Luxembourg)
(新知研討)地點德國(Germany)諾伊施塔特
|
中文:
外文:
A Formal Treatment of Bidirectional Typing
| |
|