Efficient gradient descent-style local optimisation algorithms have been studied extensively and applied abundantly throughout the field of deep learning. On the other hand, convergent global optimisation algorithms that never yield an incorrect result — such as branch-and-bound methods — are much less practically available. Optimisation is a core component of supervised machine learning, having broad […]

  The first Huawei Lab Workshop of 2021 will be held  from the 14th to 16th of June (mornings in Edinburgh, late afternoon China)   The Huawei lab June workshop is the forum for researchers to share findings from their Huawei-sponsored research project through discussion, posters and reports. Attendees will have the opportunity to hear […]

Abstract String diagrams are becoming the established mathematical language of diagrammatic reasoning, with the mantra of ‘only connectivity matters’: equal terms are represented as isomorphic (or isotopic) diagrams. Unfortunately, when adding more structure to categories in the form of additional axioms, this mantra is lost: we must now consider diagrams up to rewriting. To perform […]

Time: 2021-02-11 09:30-10:30 ((UTC00:00) Edinburgh Video of the talk: https://youtu.be/sMWOQNfYIUw Speaker: James Wood, Strathclyde U Abstract: The metatheory of simple type systems presented using de Bruijn indices is well understood. We know to follow the principle that variable binding is the only interaction between the context and typing rules other than the variable rule. From […]

Jesse Sigal, University of Edinburgh. Automatic differentiation (AD) is an important family of algorithms which enables derivative based optimization. We show that AD can be simply implemented with effects and handlers by doing so in the Frank language. By considering how our implementation behaves in Frank’s operational semantics, we show how our code performs the […]

Job Description Huawei is looking for an AI Systems Internship candidate with a focus on advanced distributed machine learning systems research in the context of the MindSpore AI framework in the Huawei London R&D Center. The ideal PhD candidate will have research and development experience in AI/ML systems, including: dataflow-based machine learning frameworks such as […]

Time: December 10th, 10 am. Speaker: Sam Lindley, Senior Consultant Abstract: In software systems effects are pervasive, e.g.: concurrency, distribution, exceptions, I/O, and nondeterminism. Effect handlers are a general programming feature that can be used for modularly implementing all of these effects and more. They were introduced by theoretical computer scientists studying the theory of […]

Our intern Bruce Collie, together with Jackson Woodruff, and Michael O’Boyle have won the best paper award at GPCE this year for their paper Modeling Black-Box Components with Probabilistic Synthesis. Paper : https://arxiv.org/abs/2010.04811 Talk video: https://conf.researchr.org/details/gpce-2020/gpce2020/1/Modeling-Black-Box-Components-with-Probabilistic-Synthesis Congratulations!

Technical Talk: Syntactic reasoning for digital circuits using graphs Dan R. Ghica When: Thursday, November 19, 10am (Edinburgh) Abstract: I will present a general diagrammatic theory of digital circuits, based on connections between monoidal categories and graph rewriting. The main achievement of the paper is conceptual, filling a foundational gap in reasoning syntactically and symbolically […]

 A graphical language for closed monoidal categories, by Dan Ghica. Diagrams, schematics, blueprints and so on play an important role in engineering, architecture, construction, and other activities where projects need to be formally specified. In mathematics the role of diagrams has been, at least until recently, mostly that of illustrating concepts, rather than specifying formally […]


Report this page

To report inappropriate content on this page, please use the form below. Upon receiving your report, we will be in touch as per the Take Down Policy of the service.

Please note that personal data collected through this form is used and stored for the purposes of processing this report and communication with you.

If you are unable to report a concern about content via this form please contact the Service Owner.

Please enter an email address you wish to be contacted on. Please describe the unacceptable content in sufficient detail to allow us to locate it, and why you consider it to be unacceptable.
By submitting this report, you accept that it is accurate and that fraudulent or nuisance complaints may result in action by the University.