Explore >> Select a destination
|
You are here 
|
blog.geomblog.org | ||
| | | | |
theorydish.blog
|
|
| | | | | The 6th annual Symposium on Foundations of Responsible Computing (FORC) will be held on June 4-6, 2025 at Stanford University, CA, USA. Call for papers is out. There are several changes this year (see below) with the most urgent one being that there will be two submission cycles and the first is in about a... | |
| | | | |
windowsontheory.org
|
|
| | | | | Michael Mitzenmacher pointsto two posts ofSuresh Venkatasubramanian on the issue of so called "double blind reviews" (i.e., anonymous submissions) in theory conferences. In short, both Michael and Suresh think they are a good idea. I agree with much of their motivations, but, based on my experience in both non-blinded (e.g., STOC/FOCS) and blinded (e.g., CRYPTO) | |
| | | | |
www.theexclusive.org
|
|
| | | | | There has been a lively debate recently about the review process for research paper submissions, and how to deal with the fact that double-blind review becomes more difficult when many papers are prepublished on sites like arxiv.org before submission. | |
| | | | |
jiggerwit.wordpress.com
|
|
| | | What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a case must be made for developing a controlled natural language for mathematics. There is little consensus on this issue, and mathematicians and computer... | ||
