Proposed Mathoverflow-style site for theoretical computer scientists

This isn’t strictly related to name binding, but it may interest some of the readers here.

There’s currently plans to set up a Mathoverflow-style site for theoretical computer scientists.  Here, theoretical computer science is being widely interpreted to include type theory, programming language semantics, automated reasoning, and so on, as well as the likes of computational complexity and computational geometry.  Some example on- and off-topic questions are provided with the proposal definition.

The proposal process is fairly simple.  If you wish to support the creation of this site, then simply follow the above link and press “Commit”.  Once the “Commit” counter reaches 100%, the site automatically launches in beta-mode.

1 Response to “Proposed Mathoverflow-style site for theoretical computer scientists”


  1. 1 airjordanfemmepascher.info November 25, 2014 at 11:27 pm

    Hi mates, nice article and nice urging commented at this place, I am genuinely enjoying by these.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s





%d bloggers like this: