IRIF (CNRS and Université de Paris) is seeking excellent candidates for postdoctoral positions in all areas of the Foundations of Computer Science. The starting date is usually in September, but th…

CodEx Seminar

Aggregator for CS theory workshops, schools, and so on

A system of propositional Horn clauses has a minimal solution (with respect to the product ordering on false ≤ true); this comes from Tarski's fixed point theorem, since saturation by Horn clauses ...

From time to time there are recommendations as to which books a programmer should read. These are usually books such as "Clean Code" or "The...

The Eric and Wendy Schmidt Center at the Broad Institute of MIT and Harvard is seeking postdocs who focus on developing novel computational and algorithmic methods, with a strong bent towards devel…

Has the following problem been considered before? If so, does someone know if it is decidable? Input: a source word $S_1 \dotsb S_n$, a target word $T_1 \dotsb T_m$, and a set $G$ of production ru...

MATS Autumn 2026 is a 10-week fully-funded research fellowship for aspiring AI alignment, control, security, and governance researchers. Fellows work directly with mentors from Anthropic, Google DeepMind, OpenAI, Redwood Research and more, with housing and office space provided in Berkeley/London. MATS has accelerated 500+ researchers; of alumni who graduated before 2025, 80% now work on AI safety Website: https://www.matsprogram.org/apply?utm_source=cstheory-jobs&utm_medium=job-board&utm_campaign=a26 Email: raj@matsprogram.org By shacharlovett

We give a deterministic $O(m\log^{2/3}n)$-time algorithm for single-source shortest paths (SSSP) on directed graphs with real non-negative edge weights in the comparison-addition model. This is the fi...

MATS Winter 2027 is a fully funded, 12-week AI safety research and field-building fellowship in Berkeley and London, with seven tracks, mentorship from researchers at Anthropic, Google DeepMind, OpenAI and more, a $6,400/month stipend, up to $16,000/month for technical participants, and housing, meals, travel and office space covered. Website: https://www.matsprogram.org/apply?utm_source=cstheory-jobs&utm_medium=job-board&utm_campaign=w27 Email: applications@matsprogram.org By shacharlovett

_What AI-optimized schools misunderstand about learning_ It was just a question over breakfast. “What’s a metaphor?” Mira asked her father, spoon halfway to her mouth. He began to explain, but she interrupted: “So it’s when something isn’t what it is—but also is?” There was a silence at the table—not confusion, but recognition. She had already touched it, before any definition arrived. Before a lesson plan or rubric could intervene. That moment—so small, so ordinary—was also everything. Because this is how real learning often arrives: _sideways, unscheduled, alive_. A flicker of attention. A question asked not because it’s required, but because something inside needs to know. And I wonder: in the schools we are now building—will there still be room for that? **Read the full essay by subscribing (for free) to _The Intelligence Loop_.** By nisheethvishnoi