Hybrid CS Theory Seminar this Thurs 2026-07-02! Excited to have Evelyn Warton (Oregon State) presenting "Inferring Graph Structures from Resistance Distances" www.evelynw.xyz www.colorado.edu/cs-theory/th... #MathSky #TCSSky #algorithms #combinatorics

Celebration for Avi Wigderson's retirement together with 30 years of the Computer Science and Discrete Mathematics (CSDM) program at the Institute for Advanced Study next June. www.ias.edu/math/eve...

Joshua A. Grochow, Jacob Urisman Graph Isomorphism and Representation Theory https://arxiv.org/abs/2606.26244

Huck Bennett, Kyle Fridberg: On (Non-)Isomorphism of Self-Dual Lattices and Codes https://arxiv.org/abs/2606.18662 https://arxiv.org/pdf/2606.18662 https://arxiv.org/html/2606.18662

Since today Bipartite Perfect Matching is in NC. The proof uses connections between coding theory and Hall's theorem. Presented at WACT 2026. Yay!!!

WACT 2026 in Copenhagen from Jun 2 to Jun 5 (started today!). Webpage: sites.google.com/view/wact202... YouTube channel: www.youtube.com/@WACT2026/pl...

The 2026 Gödel Prize is awarded to Ilias Diakonikolas, Gautam Kamath, Daniel Kane, Jerry Li, Ankur Moitra, and Alistair Stewart for Robust Estimators in High Dimensions without the Computational Intractability Paper: doi.org/10.1137/17M1... Citation: www.sigact.org/prize...

We're hiring! As part of the "Women in Engineering" initiative at #USyd, the School of Computer Science is hiring women-identifying academics at Lecturer, Senior Lecturer, and A/Professor levels! (≈Asst, Assoc, and full prof) ⏰ Apply by July 13 (Sydney): usyd.wd105.myworkdayjobs.com/en-US/USYD_E...

UNSW Sydney is hiring an associate professor and a lecturer in cryptography, and the description explicitly mentions *secure computation*. Didn't you want to live in the sunniest of the most livable cities in the world?

A great sunrise hike at NCAR to finish off undergrad! Thank you, @bouldertheory.bsky.social, and see you soon, @csail.mit.edu!

ICALP 2026 accepted papers list is out! icalppodcspaa2026.cs.rhul.ac.uk/icalp-accept...

Online CS Theory Seminar this Fri 2026-04-24! We're excited to have Bruno Pasqualotto Cavalar (Oxford) presenting "Boolean Circuit Complexity and Two-Dimensional Cover Problems" brunopc.github.io www.colorado.edu/cs-theory/th... #TCSSky #MathSky #Complexity #Combinatorics

This is very nice recognition of Hal Gabow! Hal spent his whole career as faculty at CU Boulder, and his legacy looms large for us. (Hal retired in 2008, and I unfortunately have never gotten a chance to meet him.)

Hybrid CS Theory Seminar this Fri 2026-04-17! We're excited to have CU Boulder's own János Engländer presenting his work on the "Tree builder random walk" sites.google.com/view/england... www.colorado.edu/cs-theory/th... #MathSky #TCSSky #ComplexNetworks

Online CS Theory Seminar this Fri 2026-04-10! We're excited to have Martin Kreuzer (Uni. Passau) presenting "From Code Equivalence to Polynomial Isomorphism" www.digital.uni-passau.de/en/profiles/... www.colorado.edu/cs-theory/th... #MathSky #TCSSky #complexity #AlgebraicGeometry

Congratulations to fantastic @bouldertheory.bsky.social undergraduate @adithyacolorado.bsky.social! I've had the pleasure of getting to work with Adithya during his time at CU, and am very excited to hear about his work going forward.

Online CS Theory Seminar this Fri 2026-03-27! We're excited to have Eric Samperton (Purdue Uni.) presenting "Complexity of Algebraic Problems in Low-Dimensional Topology" www.math.purdue.edu/~esampert/ www.colorado.edu/cs-theory/th... #MathSky #TCSSky #complexity #topology

Hybrid CS Theory Seminar this Fri 2026-02-20! We're excited to have Udi Wieder (Apple) presenting "Uncertainty Quantification Beyond Calibration" udiwieder.wordpress.com www.colorado.edu/cs-theory/th...

Optimization Algorithms for Planar Graphs On 14 Nov 2025 our sabbatical visitor Philip Klein (Brown University) gave a great hybrid seminar on algorithms for planar graphs! cs.brown.edu/people/facul... www.colorado.edu/cs-theory/th... That's it for this semester - have a good end of semester all!

Online CS Theory Seminar this Fri 2025-10-31! We're excited to have Miriam Backens (INRIA & LORIA), presenting "Computational counting problems and quantum information theory" members.loria.fr/MBackens/ www.colorado.edu/cs-theory/th... #MathSky #Algorithms #Complexity #TCSSky #Quantum

The early registration deadline is November 21, 2025 (but don't wait until the last minute to book your hotel! December in Sydney is peak season, and while there are many hotels in the area, they tend to get booked quickly as summer nears!)

Turns out, the textbooks are all wrong. State of the art LP software has ~5 tricks that differ from the textbook description. All good software uses the same 5 tricks! Three of those tricks, we figured out how to make theoretical use of.

Reminder: #USyd is hiring in #ComputerScience! If you have questions or would like to know more about academia or life in Sydney (or 🇦🇺 Australia), do reach out! Moving here was the best choice I've made. usyd.wd105.myworkdayjobs.com/en-GB/USYD_E... bsky.app/profile/sydn...

Hybrid CS Theory Seminar next Fri 2025-10-24! We're excited to have Alexander Golovnev (Georgetown University), presenting "Online Orthogonal Vectors Revisited" golovnev.org www.colorado.edu/cs-theory/th... #MathSky #Algorithms #Complexity #TCSSky

Joshua A. Grochow, Abhiram Natarajan Gr\"obner Bases Native to Term-ordered Commutative Algebras, with Application to the Hodge Algebra of Minors https://arxiv.org/abs/2510.11212

The previous smoothed analysis paper is now published in TheoretiCS. It is a diamond open access journal and it was a very pleasant experience submitting there. If you have a strong theory paper, I highly recommend sending it there!

The School of #ComputerScience at #USyd is hiring! Multiple continuing (≡ tenure-track) positions in all areas, with particular focus on the ones listed below. Women and candidates from underrepresented groups are encouraged to apply. ⏰ Apply by Dec 1: usyd.wd105.myworkdayjobs.com/en-GB/USYD_E...

Reminder/plug: my graduate-level monograph on "Topics and Techniques in Distribution Testing" (FnT Comm. and Inf Theory, 2022). 📖 ccanonne.github.io/survey-topic... [Latest draft+exercise solns, free] 📗 nowpublishers.com/article/Deta... [Official pub] 📝 github.com/ccanonne/sur... [LaTeX source]

The simplex method is an algorithm that turns an optimization problem, like setting up an investment portfolio, into a geometry problem. Recently, the scientists Sophie Huiberts (left) and Eleon Bach reduced the runtime of the simplex method. www.quantamagazine.org/researchers-...

A Simple and Efficient One-Shot Signature Scheme (Andrew Huang, Vinod Vaikuntanathan) ia.cr/2025/1906

Weak Instances of the Inverse Matrix Code Equivalence Problem (Jesús-Javier Chi-Domínguez) ia.cr/2025/1909

Unambiguous SNARGs for P from LWE with Applications to PPAD Hardness (Liyan Chen, Cody Freitag, Zhengzhong Jin, Daniel Wichs) ia.cr/2025/1913

We’re excited to release the Call for Papers for #FAccT2026 which will be held in Montreal, Canada in June 2026! Abstracts are due on January 8th, papers due on January 13th. Call for Papers: facctconference.org/2026/cfp Important info in thread →

Tenure-track opening @ U. Colorado Boulder Dept. of Math! Esp. (but not only) looking for: algebraic geometry homotopy theory foundations functional analysis number theory interdisciplinary collab. b/w math & computer science or the math of quantum physics www.mathjobs.org/jobs/list/27... #🧮

U. Colorado Boulder Dept. of Computer Science is hiring faculty in: - #Quantum computing (scope include quantum CS theory): jobs.colorado.edu/jobs/JobDeta... - Computer architecture & systems: jobs.colorado.edu/jobs/JobDeta... Come join us! #🧮 🧪 ⚛️ #AcademicSky

SODA notifications are in the inboxes, and this paper will be in the conference :) This is my second paper using extended formulations to prove running time lower bounds. I am surprised that people have been sleeping on this angle, but happy to fill in the gap where needed

CU computer science is doing a search for a tenure-track position in quantum computing this year: jobs.colorado.edu/jobs/JobDeta.... The scope of the search in particular includes quantum CS theory! AMA about how awesome Boulder and Colorado are!

Online CS Theory Seminar Fri 2025-10-03! Excited to have Danillo Barros de Souza (BCAM) presenting "Efficient #Algorithms for Computing Higher-Order Forman-Ricci Curvature from #ComplexNetworks" www.bcamath.org/en/people/bc... www.colorado.edu/cs-theory/th... 🧪 #MathSky #ComplexSystems #Networks

📢 Our first TCS+ talk of the season will be Wednesday, Oct 8 (10amPT, 1pm ET, 19:00 CEST): Janani Sundaresan, from U Waterloo, will tell us how "Distributed Triangle Detection is Hard in Few Rounds"! RSVP to receive the link (available one day prior to the talk): forms.gle/sHdV8uoKYVpq... #TCSSky

Hybrid seminar next Tues 2025-07-29! Physical Computation in the Era of Hardware Specialization by George Tzimpragos & Jennifer Volk, UW Madison. 11am MT in KOBL 105; email host Tamara Lehman for zoom link or to meet w/ the speakers. www.georgetzimpragos.com engineering.wisc.edu/directory/pr...

Hybrid CS Theory Seminar this Fri 2025-07-18! We're excited to have Alexander Kulikov (JetBrains) presenting "Polynomial formulations as a barrier for reduction-based hardness proofs" alexanderskulikov.github.io www.colorado.edu/cs-theory/th... 🧪 #MathSky #Algorithms #Complexity #TCSSky

Hybrid CS Theory Seminar this Tues 2025-06-17! We're excited to have Samuel Everett (U. Chicago) presenting "Structural correspondence in computational tractability and dynamical systems" www.samueleverett.com www.colorado.edu/cs-theory/th... 🧪 #MathSky #Dynamics #Algorithms #Complexity #TCSSky

STOC Theory Fest in Prague June 23-27. Registration now open. Early deadline is May 6. acm-stoc.org/stoc202... You can apply for student support. Deadline April 27. acm-stoc.org/stoc202...

I first got into smoothed analysis and linear programming during my master's. Now, 9 years later, we finally have matching upper and lower bounds. I spent a huge part of my life on this, and it feels weird that it's now finished.

Excited to have Varun Gupta in our Theory seminar online tomorrow (Fri 4 Apr 2025), speaking on Tractable Agreement Protocols! www.varungupta.info www.colorado.edu/cs-theory/th...

Join the Duke Association for Women in Math Chapter for a virtual women in math career panel entitled "Mathematics in Industry and Beyond" this Thursday, March 27th from 5 to 6 PM. Register at us06web.zoom.us/webinar/regi.... #AWM #Duke #WomenInMath #MathCareers #Industry #STEM

Division polynomials for arbitrary isogenies (Katherine E. Stange) ia.cr/2025/521

Prakash Murali and I are seeking to jointly recruit a postdoctoral researcher (Dowling postdoctoral fellow) at Cambridge focused on quantum algorithms, complexity, error correction, and architecture. Further details: www.jobs.cam.ac.uk/job/50485/ Deadline: 7 April 2025

Women in Logic 2025 call for papers is out! Check sites.google.com/view/wil2025...