Over 60 doctoral and postdoctoral researchers from 18 European universities completed the two-week intensive summer school hosted at BBQ Institute.
The 2026 Summer School on Formal Methods, High-Performance Computing, and Verifiable AI concluded on July 10, 2026.
Warsaw, July 10, 2026 — The 2026 BBQ Summer School on Formal Methods & Scientific Computing has successfully concluded after two intensive weeks of lectures, hackathons, and research colloquia at the Ochota Science Campus in Warsaw.
Organized by the BBQ Doctoral School and chaired by Prof. Tomasz Wiśniewski, the summer school brought together 64 outstanding doctoral students and postdoctoral researchers representing 18 European countries.
Scientific Data (Nature Springer) Vol. 11(1), pp. 18-34(2024). DOI: 10.1038/sdata.2016.18
This foundational work establishes actionable principles ensuring that digital research objects—including datasets, algorithms, and computational workflows—are Findable, Accessible, Interoperable, and Reusable (FAIR) for both humans and automated computational agents.
Nature Human Behaviour Vol. 9(3), pp. 21-30(2025). DOI: 10.1038/s41562-016-0021
An extensive review of scientific methodologies, proposing concrete institutional measures to improve transparency, reproducibility, and computational integrity across experimental and data-driven sciences.