|
You are here |
www.cs.cmu.edu | ||
| | | | |
homotopytypetheory.org
|
|
| | | | | The 2nd International Conference on Homotopy Type Theory (HoTT 2023)will be held Monday 22nd May - Thursday 25th May 2023at Carnegie Mellon University, Pittsburgh (USA). Abstracts of no more than 2 pages should be submitted via Easychair, see the submissions page for instructions. Submissions open on 3rd February 2023 and close on 3rd March 2023.... | |
| | | | |
db.cs.cmu.edu
|
|
| | | | | Pittsburgh, PA - The Carnegie Mellon Database Group is pleased to announce... Read More + | |
| | | | |
www.react.uni-saarland.de
|
|
| | | | | [AI summary] The article profiles invited speakers at the 19th International Conference on Runtime Verification RV 2019, highlighting their academic and professional backgrounds. | |
| | | | |
abandonedfootnotes.blogspot.com
|
|
| | | In case anyone is still reading this, I have a big data-rich post on my Github site on using ChatGPT aka GPT-3.5-Turbo and Claude (the Ant... | ||