Explore >> Select a destination
|
You are here 
|
theorydish.blog | ||
| | | | |
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.... | |
| | | | |
agtb.wordpress.com
|
|
| | | | | WINE 2021: The 17th Conference on Web and Internet Economics December 14-17, 2021Hasso Plattner Institute, Potsdam, Germany https://hpi.de/wine2021 Over the past two decades, researchers in theoretical computer science, artificial intelligence, operations research, and economics have joined forces to understand the interplay of incentives and computation. These issues are of particular importance in the Web and... | |
| | | | |
responsiblecomputing.org
|
|
| | | | | The 5th annual Symposium on Foundations of Responsible Computing (FORC) will be held on June 12-14, 2024, at Harvard University in Cambridge, MA. FORC is a forum for mathematical research in computation and society writ large. The Symposium aims to catalyze the formation of a community supportive of the application of theoretical computer science, statistics,... | |
| | | | |
codeexplainer.wordpress.com
|
|
| | | I have decided to move my content to a different platform - details to follow very soon. | ||
