SYNASC 2026: 28TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
SLIDES

Performance Evaluation of the Naccache-Stern Trapdoor Scheme Vs. NIST P-256 and Curve25519 in Classical and NISQ Environments

Daria-Maria Berca

OpenRoGrid: a Public Dataset and Machine Learning Benchmark for Romanian Electricity Load Forecasting

Andrei-Sebastian Duță and Ciprian-Mihai Ceausescu

Synthesizing Update-Schedules with Game-Based Extension of Bounded Model Checking

Janis Kröger, Paul Kröger and Martin Fränzle

The Search for Sharac Quandles

Robert W. McGrail, Karomat Alimova, Husna Manalai and Bermet Sultangazieva

A Behavioural Theory of Probabilistic Algorithms Using Probabilistic Abstract State Machines

Flavio Ferrarotti and Klaus-Dieter Schewe

Minimum-Cost Electoral Manipulation Under Media Influence: Hardness, Approximation, and Algorithms

Adrian Miclaus, Luca Mureșan and Alexandru Popa

Program and Proof in F* of an LTL Model Checking Algorithm

Stéphane Aubry, Franck Butelle, Sami Evangelista and Micaela Mayero

Monomial and Graded Orders in Rocq

Sylvie Boldo, Francois Clement, Vincent Martin and Micaela Mayero

The Minimal Essence of Higher-Order Functions in Maude

Federico Bruzzone, Lorenzo Capra, Walter Cazzola and Carlos Olarte
Total: 9 presentations.