Lectures¶
Slide decks, recorded talks and conference presentations about GLACIER and the ideas behind it.
Available now¶
No slide deck or recording has been published on this site yet.
The public record of the work presented so far is in the conference papers listed below. They are the closest thing to a lecture currently available, and they are the right thing to cite.
Conference papers¶
Frost: A Simulation Platform for Early Validation and Testing of Manufacturing Software¶
Pietro Turco, Sebastiano Gaiardelli, Enrico Fraccaroli, Michele Lora, Samarjit Chakraborty, Franco Fummi. 2025 IEEE 23rd International Conference on Industrial Informatics (INDIN), 12–15 July 2025. IEEE.
The paper introducing Frost. Cited by the frost repository as its preferred citation.
Distributed Control Logic Validation through Lingua Franca¶
Pietro Turco, Sebastiano Gaiardelli, Enrico Fraccaroli, Dong Seon Cheng, Michele Lora, Franco Fummi. 2026 IEEE 24th International Conference on Industrial Informatics (INDIN). IEEE.
xPPU-Frost: A Testbed for Evaluating Deterministic Industrial Automation Strategies¶
Samuele Santacà, Sebastiano Gaiardelli, Franco Fummi. 2026 IEEE 24th International Conference on Industrial Informatics (INDIN), 26–29 July 2026. IEEE.
The preferred citation for xppu-frost.
Citing the software
Both frost and xppu-frost carry a CITATION.cff file, so GitHub's
"Cite this repository" button produces a correct BibTeX or APA entry
directly. Prefer that to transcribing the details above.
What a published lecture will look like¶
An entry will carry:
- the title and who gave it;
- when and where it was given;
- the audience it assumes;
- a link to the slides or the recording.
Adding one¶
Add a section to this page following the pattern above, and link to wherever the material is hosted.