Computer Lab, FW26


2020-02-21 14:00: A Profunctorial Finiteness Semantics (Zeinab Galal)

2020-03-03 10:00: Formal Foundations for Provably Safe Web Components (Michael Herzberg, University of Sheffield)

2020-03-05 10:00: Aspects of my formal development work (Boris Djalal, OpenAirInterface Software Alliance)

2022-05-17 12:00: Neuro-Symbolic Deep Natural Language Understanding (Lili Mou (University of Alberta))

2022-06-01 17:00: Measuring Causal Effects of Data Statistics on Language Model Predictions (Yanai Elazar (Bar-Ilan University))

2022-07-12 14:00: Claim-Dissector: An Interpretable Fact-Checking System with Joint Re-ranking and Veracity Prediction (Martin Fajčík ( Brno University of Technology ))

2022-12-02 12:00: Rethinking the role of tokenization in the NLP pipeline (Kris Cao (DeepMind))

2023-04-28 12:00: Improving Model Robustness for Natural Language Inference  (Joe Stacey (Imperial College London))

2023-06-09 12:00: Investigating Reasons for Disagreement in Natural Language Inference (Marie-Catherine de Marneffe (FNRS – UCLouvain – The Ohio State University))

2023-12-04 12:30: Accelerate lunchtime seminar series (Ander Biguri, Oisin Kim, Isaac Sebenius)

2024-09-16 13:30: Energy Efficient Edge AI using Ensembles and Hyperdimensional Computing (Flavio Ponzina, UCSD)

2025-01-28 15:00: Training LLMs Anywhere: Enabling Large-Scale Decentralized Learning on Your Mobiles Devices (Dongqi Cai - Beijing University of Posts and Telecommunications)

2025-04-08 14:00: Learning Rate Schedules, Scaling Laws, and Techniques for Pretraining LLMs (Alex Hägele, EPFL)

2025-05-20 15:30: Building Organizational Resilience with AI Malfunction Drills (Rosco Hunter, University of Warwick )

2025-08-04 11:00: Learning Under Constraints: From Federated Collaboration to Black-Box LLMs (Salma Kharrat, Kaust)

2026-02-26 14:00: Automatically Formally Verified Hardware using Aristotle (Satnam Singh, Software Engineer, Harmonic)