{"id":691,"date":"2022-07-11T15:07:03","date_gmt":"2022-07-11T14:07:03","guid":{"rendered":"https:\/\/www.macs.hw.ac.uk\/splv\/?page_id=691"},"modified":"2022-07-12T21:49:13","modified_gmt":"2022-07-12T20:49:13","slug":"splv-2022-lightning-talks","status":"publish","type":"page","link":"https:\/\/www.macs.hw.ac.uk\/splv\/splv-2022-lightning-talks\/","title":{"rendered":"SPLV 2022 Lightning Talks"},"content":{"rendered":"\n

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:<\/p>\n

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

    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.<\/p>\n

      \n
    1. Samantha Frohlich<\/strong>, University of Bristol, “Rise of the Unembed”<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":12,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-691","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/pages\/691","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/users\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/comments?post=691"}],"version-history":[{"count":4,"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/pages\/691\/revisions"}],"predecessor-version":[{"id":731,"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/pages\/691\/revisions\/731"}],"wp:attachment":[{"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/media?parent=691"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}