Computer Laboratory, Room FW26 2008-09-11 14:00: Cooperative Localization with Turbo-Networks (Dr Henk Wymeersch, Massachusetts Institute of Technology) 2008-10-29 15:15: A practical approach to Domain Specific Language development (Vitaly Lugovskiy http://www.meta-alternative.net/) 2008-11-03 15:15: Towards programming Safety Critical Systems in Java (Bent Thomsen (Aalborg University)) 2009-05-29 14:30: Cooperative wireless networks: From radio to network protocol designs (Zhengguo Sheng (Imperial College London)) 2010-10-08 13:00: Welcome Lunch (Speaker to be confirmed) 2014-06-09 10:00: The complexity of finite-valued CSPs (Stanislav Zivny (University of Oxford)) 2014-11-21 14:00: Exploring graphs using parallel rotor walks (Dominik Pajak (University of Cambridge)) 2019-12-06 14:00: Quantum things 3 - Resources and Co-resources (Anuj Dawar (University of Cambridge)) 2022-05-17 12:00: Neuro-Symbolic Deep Natural Language Understanding (Lili Mou (University of Alberta))