Informatique théorique

FINITE AUTOMATA | THEORY OF AUTOMATA & FORMAL LANGUAGES | LECTURE 03 BY MS. VIBHA SRIVASTAVA | AKGE

AUTOMATES FINIS | THÉORIE DES AUTOMATES ET LANGAGES FORMELS | LEÇON 03 PAR MS. VIBHA SRIVASTAVA | AKGE

VP, VNP and Algebraic Branching Programs over Min Plus Semirings by Harshil Mittal

VP, VNP et programmes de branchement algébriques sur les semi-anneaux Min Plus par Harshil Mittal

The Natural Proofs Barrier Against Data-structure Lower-bounds by Bruno Loff

La barrière des preuves naturelles contre les bornes inférieures de structures de données par Bruno Loff

The Log-Rank Conjecture: New Equivalent Formulations by Lianna Hambardzumyan

La Conjecture de Log-Rank: Nouvelles Formulations Équivalentes par Lianna Hambardzumyan

Sum-of-Squares Lower Bounds for Average Case Problems by Aaron Potechin

Bornes inférieures de somme de carrés pour les problèmes de cas moyen par Aaron Potechin

Separations above TFNP from Sherali-Adams Lower Bounds by Deniz Imrek

Séparations au-dessus de TFNP à partir de bornes inférieures de Sherali-Adams par Deniz Imrek

Resolution Width Lifts to Near-Quadratic-Depth Res($\oplus$) Size by Dmitry Itsykson

La Largeur de Résolution S'élève à une Taille de Res($\oplus$) de Profondeur Quasi-Quadratique par Dmitry Itsykson

On CC^0 Lower Bounds for AND via Torus Polynomials by Jayalal Sarma

Sur les bornes inférieures CC^0 pour AND via les polynômes de tore par Jayalal Sarma

Lower Bounds for Monotone Span programs by Robert Robere

Bornes inférieures pour les programmes de span monotones par Robert Robere

IPS Lower Bounds for Formulas and Sum of ROABPs by Prerona Chatterjee

Bornes inférieures IPS pour les formules et la somme de ROABPs par Prerona Chatterjee

Average-Case Hardness of Binary-Encoded Clique in Proof and Communication... by Duri Andrea Janett

Dureté du cas moyen de Clique codée en binaire dans la preuve et la communication... par Duri Andrea Janett

An unconditional constant depth natural proof barrier: Bound by our own lower... by Suhail Sherif

Une barrière de preuve naturelle inconditionnelle à profondeur constante : Bornés par nos propres limites inférieures... par Suhail Sherif

A Randomness Hierarchy for Adversarially Robust Streaming Algorithms by Amit Chakrabarti

Une hiérarchie de hasard pour les algorithmes de streaming robustes aux adversaires par Amit Chakrabarti

Svyatoslav Gryaznov | Weak Rank Principle and Circuit Lower-Bound Statements ( Part II )

Svyatoslav Gryaznov | Principe du rang faible et énoncés de bornes inférieures de circuits (Partie II)

Svyatoslav Gryaznov | Weak Rank Principle and Circuit Lower-Bound Statements ( Part I )

Svyatoslav Gryaznov | Principe de rang faible et énoncés de bornes inférieures de circuit (Partie I)

Prof. Roei Tell | Time vs Space vs Alternations: General Plasticity for Algorithms from Hardness ...

Prof. Roei Tell | Temps vs Espace vs Alternances : Plasticité générale pour les algorithmes à partir de la dureté...

Lec 41: Bounded Model Checking

Lec 41 : Vérification de modèles bornée

Lec 40: SAT based Symbolic Model Checking

Lec 40 : Vérification de modèles symboliques basée sur SAT

Halley Goldberg | Asymmetry and Complexity of Nondeterministic Computations

Halley Goldberg | Asymétrie et complexité des calculs non déterministes

Frontiers in complexity lower bounds [LFCW01] | Mon 7th September

Frontières dans les bornes inférieures de complexité [LFCW01] | Lun 7 septembre

Dr. Zhenjian Lu | Nondeterminism in Meta-Complexity

Dr. Zhenjian Lu | Non-déterminisme en méta-complexité

PUSHDOWN AUTOMATA | THEORY OF AUTOMATA AND FORMAL LANGUAGES | LECTURE 02 BY MR. AMIT GOEL | AKGEC

AUTOMATES À PILE | THÉORIE DES AUTOMATES ET LANGAGES FORMELS | LEÇON 02 PAR M. AMIT GOEL | AKGEC

Quantum Algorithms Pt. 4 Optimization | Sabina Dragoi |QGSS26

Algorithmes quantiques partie 4 : Optimisation | Sabina Dragoi | QGSS26

Lec 28: CTL Encoding Exmaples

Lec 28 : Exemples de codage CTL

Lec 25: LTL_ Equivalence of Formulas, Adequate Set, Encoding Examples

Lec 25 : LTL_ Équivalence des formules, ensemble adéquat, exemples d'encodage

Relation Algebra and the Limits of What Computers Can Decide Jas Semrl FAI CDT

Algèbre des relations et les limites de ce que les ordinateurs peuvent décider Jas Semrl FAI CDT

Lec 24: LTL Encoding Examples

Lec 24: Exemples d'encodage LTL

Lec 23: LTL: Syntax and Semantics

Lec 23: LTL: Syntaxe et Sémantique

Sampling from the Sherrington-Kirkpatrick model up to β＜1/2

Échantillonnage du modèle de Sherrington-Kirkpatrick jusqu'à β＜1/2

FINITE AUTOMATA | THEORY OF AUTOMATA & FORMAL LANGUAGES | LECTURE 01 MS. VIBHA SRIVASTAVA | AKGEC

AUTOMATES FINIS | THÉORIE DES AUTOMATES ET LANGAGES FORMELS | COURS 01 MME VIBHA SRIVASTAVA | AKGEC

Ground Energy estimation of Quantum Impurity model is in BQP

Estimation de l'énergie fondamentale du modèle d'impureté quantique dans BQP

Gap Amplification for Local Hamiltonians with Combinatorial Soundness

Amplification de gap pour les hamiltoniens locaux avec solidité combinatoire

Yang Wang: On regular copying languages

Yang Wang : À propos des langues à réduplication régulière

Classical algorithms for quantum Gibbs states

Algorithmes classiques pour les états de Gibbs quantiques

Two classical oracle separations between QMA and QCMA

Deux séparations par oracle classique entre QMA et QCMA

Fault-Tolerance Against Adversarial Errors & PCPs

Tolérance aux pannes face aux erreurs adverses et PCP

École d'été | 10 juin 2026: Applications of SAT Solvers par Joao Marques-Silva

École d'été | 10 juin 2026 : Bridging Theory and Practice with SAT and MaxSAT par Ruben Martins

École d'été | 10 juin 2026 : Boolean Is Not Too Restrictive par Pouya Shati

How Hard is too Hard? An Introduction to Complexity - Colva Roney-Dougal

À quel point est-ce trop difficile ? Une introduction à la complexité - Colva Roney-Dougal