| CARVIEW |
STOC 2026 Experimental Program Announcement
We are offering authors the opportunity to opt-in and receive a review of their paper generated by an advanced LLM-based tool (built on Google’s Gemini model) that is optimized for checking mathematical rigor. The goal is to provide constructive suggestions and help find technical mistakes before the final submission deadline.
Here are the key details:
What it is: An optional, opt-in program to get an automated review of your STOC submission.
Deadline: To participate, you must opt-in and submit your full paper on HotCRP by November 1, 5pm EST.
Confidentiality (from PC): The reviews generated WILL NOT be passed on to the PC. They are only visible to the authors and the program organizers.
Data Privacy (Our Commitment): We commit to “No Logging.” Your paper will not be logged, stored, or used for training.
Please do not publicly share these reviews without contacting the organizing team first.
Please note that the tool is optimized to check a paper’s self-contained mathematical rigor. Because it does not possess external, area-specific knowledge (such as folklore results), it may flag sections that rely on unstated assumptions. We hope you find this feedback useful for improving your paper’s overall clarity and completeness.
This experiment is conducted by PC members David Woodruff (CMU) and Rajesh Jayaram (Google), as well as Vincent Cohen-Addad (Google) and Jon Schneider (Google).
Your participation and feedback will help us assess the value of such tools for future theory conferences.
To opt-in, please check the box on the HotCRP submission form for your paper. Full details on the program are available at the link below.
Please see the STOC 2026 Call for Papers here:
https://acm-stoc.org/stoc2026/stoc2026-cfp.html
and specific details on the experiment here:
https://acm-stoc.org/stoc2026/stoc2026-LLM_feedback.html
TCS Insularity Survey Results
You may remember that a task force was convened by CATCS to investigate approaches to modifying aspects of the TCS community, especially our publishing culture, and to enhance connections with other areas of CS and be as welcoming as possible to a broad range of contributions within theory. A survey was given to members of our community, 338 responses were received, and the results were summarized at STOC, 2023. Please see the attached slides from Jelani Nelson’s presentation at STOC, as well as the attached detailed report. Let us know if you have any feedback, thanks!
SIGACT Award deadlines for 2021
From the SIGACT executive committee:
The deadlines to submit nominations for the Gödel Prize and the SIGACT Distinguished Service Award are coming soon. Calls for nominations for both awards can be found at the links below.
- Gödel Prize: deadline February 28, 2021.
- SIGACT Distinguished Service Award: deadline March 8, 2021.
Prize nominations relevant to TCS: due on April 1
The Breakthrough Prize committee is now accepting nominations for the Breakthrough Prize as well as New Horizons Prizes in Mathematics. The New Horizons Prizes are awarded to early-career researchers (Ph.D. within the last 10 years) who have already produced important work. In addition, for the first time, nominations will be taken for the Maryam Mirzakhani New Frontiers Prize – an annual $50,000 award that will be presented to early-career women mathematicians who have completed their PhDs within the previous two years.
Further information is available at https://breakthroughprize.org/Rules/3. Nominations for 2021 are due on April 1, 2020.
Please consider nominating deserving candidates. The task of nominating someone for a high-profile award can be daunting, but the CATCS is available to help. Please contact us if you need help with preparing a nomination.
TCS job market profiles
Earlier this academic year, CATCS started a project to collect the profiles of TCS candidates on the job market this academic year. Those profiles can now be found at this webpage (Updated link; here is the deprecated link.). The webpage offers a limited amount of search functionality, and we are continuing to improve the layout and add features.
If you are at an institution that is hiring in theory, please feel free to use this database and share it with your colleagues as appropriate.
If you are going on the job market and would like to fill out a profile, please use this form. We will periodically update the webpage adding newer profiles.
Many thanks to Nicole Immorlica, Jack Snoeyink, and Chris Umans for putting together the website, and to all those who contributed their profiles. Questions and comments may be emailed to Shuchi Chawla.
A solicitation for TCS job market profiles
CATCS is piloting an effort this year to collect and disseminate profiles of junior theory researchers who are going on the job market during the 2019-20 academic year, complementing the job postings collected under the Jobs tab. The SIGecom community has run a similar effort very successfully for a number of years and we are following their lead. The goals are two-fold:
- Provide a platform to job-seekers to advertise their credentials.
- Provide an interface for institutions/individuals with open positions to find prospective candidates.
Candidates looking for theory jobs can fill out this form. The form asks for basic personal information, thesis title, graduation date (past or future), research/teaching interests, bibliographic information for three publications, and allows you to add links to publications and a brief CV.
The responses will be reviewed and, if approved, edited and posted on Theory Matters starting in Nov’19. There is no deadline, but for responses received after Nov 1 please allow two weeks for review before your profile appears on the website. Responses received by Dec 15 will have summaries published in the following issue of SIGACT News.
Travel funding for FOCS 2019
FOCS 2019 will be held in Baltimore, MA from Nov 9-12, 2019. The early registration deadline is October 9th.
For students interested in attending, Shang-Hua Teng has asked me to relay the message that there is some travel funding available, courtesy of the NSF. For details, see this website. Ignore the deadline on that page, but apply ASAP for full consideration. Women and minorities are especially encouraged to apply. Having or presenting papers at FOCS’19 is *not* a prerequisite.
Edit-a-thon update
This event was a great success! Thank you to all of the participants for contributing your time. Please keep up the momentum and continue to edit the pages you made a start on. Please continue to record your progress on the list of topics. Special thanks to Aviad Rubinstein and Yuval Filmus for offering expert advice at the event.
We plan to organize this event again at future STOCs, and hope many more people can participate. Even an hour of your time can have a huge impact on the community!

Wikipedia edit-a-thon at STOC’19
CATCS is organizing a Wikipedia edit-a-thon at STOC in Phoenix this year. The goal is to create/edit Wikipedia articles on TCS topics that need improvement. (A crowdsourced list of such topics is maintained here.) The event will be held on June 24th, 2019 in West 104A, starting right after the STOC business meeting around 9-9:30 pm.
We invite members of the community to participate. Prior experience with Wikipedia is a plus, but is not necessary. If you are interested in participating, please fill out this form. Participants are asked to bring their own laptop or other device. Power outlets will be available. Light refreshments will be provided.
If you are interested in helping improve TCS coverage on Wikipedia but are unable to attend this event, please see this post for how you can help.
CATCS mailing list and sign-up link
CATCS is starting up a new mailing list to send out annual newsletters. Messages will be sent out 1-2 times every year describing recent projects undertaken by the committee, funding opportunities, links to useful resources, etc. Anyone interested in hearing about our activities is welcome to sign up at this link. You do not have to be a member of SIGACT to sign up.
Archives
- December 2025 (1)
- October 2025 (1)
- September 2025 (1)
- June 2024 (1)
- March 2024 (1)
- October 2023 (2)
- August 2023 (2)
- January 2023 (3)
- October 2022 (1)
- August 2022 (1)
- June 2022 (2)
- April 2022 (1)
- March 2022 (4)
- January 2022 (1)
- October 2021 (1)
- June 2021 (1)
- February 2021 (1)
- June 2020 (1)
- May 2020 (2)
- February 2020 (1)
- January 2020 (2)
- October 2019 (1)
- September 2019 (1)
- June 2019 (2)
- January 2019 (2)
- October 2018 (1)
- September 2018 (1)
- August 2018 (1)
- July 2018 (1)
- May 2018 (1)
- December 2017 (1)
- August 2017 (1)
- July 2017 (4)
- May 2017 (1)
- March 2017 (3)
- February 2017 (1)
- January 2017 (1)
- December 2016 (1)
- October 2016 (2)
- September 2016 (2)
- June 2016 (2)
- May 2016 (3)
- April 2016 (1)
- February 2016 (1)
- November 2015 (1)
- October 2015 (3)
- September 2015 (2)
- August 2015 (1)
- July 2015 (1)
- June 2015 (4)
- May 2015 (2)
- April 2015 (3)
- March 2015 (1)
- January 2015 (2)
- December 2014 (2)
- November 2014 (2)
- October 2014 (4)
- September 2014 (3)
- August 2014 (2)
- July 2014 (2)
- June 2014 (1)
- March 2014 (2)
- February 2014 (1)
- January 2014 (1)
- December 2013 (2)
- October 2013 (2)
- September 2013 (4)
- August 2013 (3)
- July 2013 (2)
- June 2013 (2)
- May 2013 (2)
- April 2013 (1)
- March 2013 (1)
- February 2013 (1)
- January 2013 (1)
- December 2012 (2)
- November 2012 (3)
- October 2012 (2)
- September 2012 (4)
- June 2012 (1)
- May 2012 (2)
- April 2012 (3)
- March 2012 (1)
- February 2012 (1)
- January 2012 (3)
- December 2011 (2)
- December 2008 (1)
- September 2005 (1)
- November 2004 (1)
-
Subscribe
Subscribed
Already have a WordPress.com account? Log in now.