Insights from the Conscious Turing Machine (CTM).- Speculative Smart Contracts.- Optimization from Structured Samples—An Effective Approach for Data-Driven Optimization.- Recent Developments in Property Testing of Boolean Functions.- AC0 Circuits, First-Order Logic, and Well-Structured graphs.- Model-Based Digital Engineering and Verification of Intelligent Systems.- Tight Online Algorithms for Unrelated Machine Load Balancing with Predictions.- Fast Sampling Constraint Satisfaction Solutions via the Lovász Local Lemma.- Pool Block Withholding Attack with Rational Miners.- Approximation Algorithms for the Directed Path Partition Problems.- Faster Algorithms for k-Subset Sum and variations.- Hardness and Algorithms for Electoral Manipulation under Media Influence.- Improved Approximation Algorithms for Multiprocessor Scheduling with Testing.