#theoreticalcs — Public Fediverse posts

📢 The last TCS+ talk of the season will be Wednesday, May 20 (10am PT, 1pm ET, 19:00 CEST): Shyamal Patel, from Columbia University, will tell us about "Learning Functions of Halfspaces"!

RSVP to receive the link (available one day prior to the talk): https://forms.gle/jeGPub2pqS5RCQgg9 #TheoreticalCS

📢 The next TCS+ talk will be Wednesday, April 22 (10am PT, 1pm ET, 19:00 CEST): Yichuan Wang, from UC Berkeley, will speak about "Superquadratic Lower Bounds for Depth-2 Linear Threshold Circuits"

RSVP to receive the link (available one day prior to the talk): https://docs.google.com/forms/d/e/1FAIpQLSdw505aI9za7gQR9a4z_Osc-ajxfglgwMDRn0OG67fLvCkh1A/viewform #TheoreticalCS

The Zoom link for Rahul Ilango's talk on "Gödel in Cryptography: Zero-Knowledge Proofs With No Interaction, No Setup, and Perfect Soundness" is now available on the TCS+ website.

See you tomorrow, 1pm ET! https://www.tcsplus.org/welcome/next-tcs-talk #TheoreticalCS

The Call for Papers and submission server for #FOCS2026 are up!

⏰ Deadline: April 1, 5:00 PM EDT (21:00 UTC)

https://sanjeevkhanna.org/FOCS2026_CFP.html #TheoreticalCS

And... TCS+ is back on 🎉! The first talk of the season will be delivered by Sophie Huiberts (CNRS @sophiehuiberts ) on ⏰ March 4 (10am PT, 1pm ET, 19:00 CET): "Analyzing the Simplex Method by the Book"

RSVP to receive the link (one day before the talk): https://forms.gle/aD621bCwswjBihxv7 #TheoreticalCS

Less than one month to go before the start of the new season of TCS+! Remember you can suggest talks and speakers on our website:

https://sites.google.com/view/tcsplus/welcome/suggest-a-talk #TheoreticalCS

I am thinking of converting my lecture notes for my "Randomized #Algorithms" class into a textbook over this semester. What do you think, and what would you like to see?

More tutorials/exercises? Examples of assignments? Something else? Let me know!

🔗 https://ccanonne.github.io/teaching/COMPx270 #TheoreticalCS

The recordings (and slides when provided) of the previous season of TCS+ are now available! #TheoreticalCS

Website: https://www.tcsplus.org/welcome/past-talks/2025-2026
YouTube: https://www.youtube.com/@TCSplusSeminars/videos

List:
2025/12/03: Natalie Collina, "Swap regret and correlated equilibria beyond normal-form games"
2025/11/19: Haotian Jiang, "Beck-Fiala and Komlós Bounds Beyond Banaszczyk"
2025/11/05: Aparna Gupte, "Quantum One-Time Programs, Revisited"
2025/10/22: Ian Mertz, "A Random Walk Down Full Memory Lane"
2025/10/08: Janani Sundaresan, "Distributed Triangle Detection is Hard in Few Rounds"

The list of social activities for #FOCS2025 has been posted! Scavenger hunt, morning runs, random walks, networking event, senior/junior lunches...

Introducing, this year, "Succinct Sketches" for volunteers to blog (semi) live from the conference! #TheoreticalCS

https://focs.computer.org/2025/activities/

The Zoom link for Natalie Collina's TCS+ talk on "Swap regret and correlated equilibria beyond normal-form games" is now available on our website. See you tomorrow, 1pm ET! https://www.tcsplus.org/welcome/next-tcs-talk #TheoreticalCS

just had someone writing "o tilde" as Oish and I'm in tears this is way to good let's make that the official way to call it

#theoreticalCs #computerScience #theoinf

The Zoom link for Haotian Jiang's talk on "Beck-Fiala and Komlós Bounds Beyond Banaszczyk" is now available on the TCS+ website. See you tomorrow, 1pm ET! https://www.tcsplus.org/welcome/next-tcs-talk #TheoreticalCS

The link for Ian Mertz's talk is now available on the TCS+ website. See you tomorrow, 1pm ET! https://www.tcsplus.org/welcome/next-tcs-talk #TheoreticalCS

Dec 11-13 at #USyd, just before #FOCS2025: "A Celebration of Theoretical Computer Science": now with a poster!

Info and (free) registration: https://sites.google.com/view/celebration-tcs-2025/home #Theory #ComputerScience #TheoreticalCS

Please boost and spread the word! Looking forward to see all of you in Sydney this December for FOCS! #TheoreticalCS

Applications for travel support to attend #FOCS2025, for students and postdocs, are open! ⏰ Deadline: Sep 19 #TheoreticalCS

https://focs.computer.org/2025/travel-support/

(no requirement to have a paper at the conference to apply)

📢 The sixth and last TCS+ talk of the season will be this week! Wednesday, June 4 (10amPT, 1pm ET, 19:00 CEST): Irit Dinur, from the IAS, will tell us about "Agreement Tests: Local Consistency, Global Structure"!

RSVP to receive the link (sent the evening before the talk):
https://forms.gle/GJt74TequURygbfp8 #TheoreticalCS

Another TCS+ talk to look forward to: next Wednesday, Palak Jain, from Boston University, on a new data #privacy framework they introduce!
📋 https://forms.gle/ateNLcRo59H1vDZX7 (sign up for the talk) #TheoreticalCS

Based on "Enforcing Demographic Coherence: A Harms Aware Framework for Reasoning about Private Data Release"
https://arxiv.org/abs/2502.02709

📢 The fourth TCS+ talk of the semester will be Wednesday, April 23 (10amPT, 1pm ET, 19:00 CEST): Ryan Williams, from MIT, will tell us about "Simulating Time With Square-Root Space"!

RSVP to receive the link (available one day prior to the talk):
https://forms.gle/hi9pBsgjRBMbzTEn7 #Theory #ComputerScience #TheoreticalCS

I might as well do another #introduction specifically for the #academic side of this here fediverse:

Coming from #theoreticalCS (with applications in #NLP) to doing #digitalhumanities (computational #musicology), I've now landed in #ResponsibleAI. Specifically, I'm interested in exploring #AntiCapitalistAI, both sharpening existing critiques of current AI practise by confronting capital and exploring inherent politics of technologies, and finding better ones for a socialist world.

I would have never guessed that SciPy has graph algorithms but the `scipy.sparse.csgraph` module is full of them (connected components, Dijkstra, max flow, etc.): https://docs.scipy.org/doc/scipy/reference/sparse.csgraph.html#module-scipy.sparse.csgraph

#scipy #graphs #theoreticalCS #python

And a #CallForPapers for one of my favourite conferences: #FoSSaCS #FoSSaCS2024 (Foundations of Software Science and Computation Structures) "invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems". https://etaps.org/2024/conferences/fossacs/ . FoSSaCS is part of the #ETAPS #ETAPS2024 collection of conferences #TCS #TheoreticalCS

a belated #introduction

I'm a #mathematician living in #Berlin. Former researcher at #Ethereum and @colony #DAO.

a #news junkie and avid reader of #theatlantic #newyorker,

currently unemployed, and looking for inspiration :)

interested in #categorytheory, #theoreticalCS, #politics, #journalism and #technology. In particular how technologies can facilitate collective action and a responsive democracy. #privacy, #tech, #CivilSociety.

Dream of making #animations of #math papers.

#zappa fan.

#CallForPapers #ICTAC2023 (International Colloquium on Theoretical Aspects of Computing) "bring[s] together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries". https://ictac2023.compsust.utec.edu.pe/call-for-papers/ I published my first ever paper at ICTAC! #TheoreticalCS

📢 Open positions in theoretical computer science at IRIF, Paris

- 3 MCF (associate professor) positions
- 2 PR (full professor) positions

Official announcement in French:
https://www.irif.fr/postes/universite

#AcJobs #TheoreticalCS #logic #algorithms #complexity #optimization #combinatorics #verification #automata #programming #category #quantumComputing

#CallForPapers : #MFPS #MFPS2023 (Conference on Mathematical Foundations of Programming Semantics) is "dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular". https://coalg.org/calco-mfps-2023/mfps/ #logic #tcs #theoreticalCS

A few interesting #CallforPapers in #logic and #theoreticalCS just dropped; a short thread:

Interesting #CallForPapers just out : #FSCD2023 International Conference on Formal Structures for Computation and Deduction "covers all aspects of formal structures for computation and deduction from theoretical foundations to applications" https://easyconferences.eu/fscd2023/cfp/ #logic #TheoreticalCS

Quite a few #CallForPapers in my area just dropped, so I'll make a quick thread as a reference... #logic #TypeTheory #types #TCS #TheoreticalCS #ProofTheory #ITP #FormalMethods

I am leaving Lyon after two days of a very interesting meeting on the philosophy of computer science. #philosophyofscience

I had the opportunity to present there a work in progress that I am particularly excited about. It tackles the question « what is an algorithm » both from a conceptual and a formal point of view, at the intersection of #mathematics, #philosophy and #theoreticalCS.

If anyone is interested, an earlier version of the talk was recorded in February: https://youtu.be/50MkNOi3LNw.