/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 www.cs.cmu.edu
Chasing the Dragon of OLTP Databases // Blog // Andy Pavlo - Carnegie Mellon University
| | www.cmu.edu
Office of Board of Trustees - Leadership - Carnegie Mellon University
3.8 parsecs away

Travel
| | A listing of staff members for the Office of the Board of Trustees.
| | homotopytypetheory.org
HoTT 2023 | Homotopy Type Theory
5.1 parsecs away

Travel
| | 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....
| | www.react.uni-saarland.de
RV 2019
8.4 parsecs away

Travel
| | [AI summary] The article profiles invited speakers at the 19th International Conference on Runtime Verification RV 2019, highlighting their academic and professional backgrounds.
| | mccormickml.com
Stanford Machine Learning Course ยท Chris McCormick
30.8 parsecs away

Travel
| Stanford's Machine Learning course taught by professor Andrew Ng has been made freely available on the web through two sources.