Explore >> Select a destination
|
You are here 
|
scatter.wordpress.com | ||
| | | | |
theorydish.blog
|
|
| | | | | The 5th annual Symposium on Foundations of Responsible Computing (FORC) will be held on June 12-14, 2024, at Harvard University in Cambridge, MA. Call for papers is out. Please send your strong papers for another success successful instalment of FORC. FORC is a forum for mathematical research in computation and society writ large. The Symposium... | |
| | | | |
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
|
|
| | | | | The SIGecom Test of Time Award recognizes the author or authors of an influential paper or series of papers that has significantly impacted research or applications exemplifying the interplay of economics and computation.To be eligible, a paper or series of papers must be on a topic in the intersection of economics and computation, and must... | |
| | | | |
gist.github.com
|
|
| | | Generic `printf` implementation in Idris2. GitHub Gist: instantly share code, notes, and snippets. | ||
