SPLV 2022 Lightning Talks

The student lightning talks will take place at 19.30 on Tuesday, the 12th of July. The format is 5 min + 2 mins questions (which will be used as set-up time for the next speaker). The list of talks can be found below:

  1. Nachiappan Valliappan, Chalmers University, “Normalization by Evaluation with Free Extensions”
  2. Matthías Páll Gissurarson, Chalmers University, “Spectacular: Finding laws from trillions of programs”
  3. Théo Laurent, INRIA Paris, “Noninvasive Polarized Subtypnig for Inductive Types”
  4. John Hui, Columbia University, “Reduction Strategies for Synchronous Computing”
  5. Abhiroop Sarkar, Chalmers University, “Trusted Language Runtimes for Embedded Systems”
  6. Ciarán Dunne, Heriot-Watt University, “Isabelle/HOL/GST: A Formal Proving Environment for Generalized Set Theories”
  7. Aran Hakki, University of Southampton, “Petra: A new scalable, correct by construction approach for OOP with deterministic parallel processing”
  8. Robert Krook, Chalmers University, “Scoria”
  9. Matthew Alan Le Brun, University of Glasgow, “Towards Fault-Tolerant Session Types”
  10. Aziz Akhmedkhodjaev, Inha University in Tashkent, “Introducing Type Theory”
  11. Jan van Brügge, Technical University Munich, “Introduction to Isabel”

Due to the speaker’s availability, the final lightning talk will be held on Thursday afternoon, after the core lectures and talks of the summer school, in the same format.

  1. Samantha Frohlich, University of Bristol, “Rise of the Unembed”