Date Tuesday 17 May @ 09:30 – 10:30 (UK time) Presenter Christina Giannoula Affiliation National Technical University of Athens (NTUA) Location [Online] Meeting link: https://welink.zhumu.com/j/149868852   Abstract Several manufacturers have already started to commercialize near-bank Processing-In-Memory (PIM) architectures, after decades of research efforts. Near-bank PIM architectures place simple cores close to DRAM banks. Recent research […]

Link: https://meeting.zhumu.me/wc/join/0179880767?tk=&prefer=0&track_id=&meeting_result=&jmf_code=&wpk=   

Xavier Denis (University of Paris-Saclay, France) will give an talk, in person and online, for the Huawei – Edinburgh Coffee House Tech Talk Series. The details of the talk are below. *When*: Tuesday 26 April 2022 at 11am *Where* (in person): Huawei Edinburgh Research Centre (2 Semple Street, 5th floor, Meeting Room 1, Edinburgh EH3 […]

Taming Large Intermediate Results for Joins over Graph-Structured Relations Date: 26th April 2022 Time: 14:00 – 15:30 Location: Virtual   Abstract: Querying graph-structured relations, i.e., those with many-to-many (m-n) relationships between entities, is ubiquitous and integral to a wide range of analytical applications such as recommendations on social networks and fraud detection in financial transactional […]

Time：2022-03-29 11:00 — 12:00 Location：Edinburgh Coffee House Speaker：Dr. Ian Mackie (University of Sussex) Overview ▶ Very simple GOI for System T. ▶ Reversible machinery for higher-order language. ▶ Depending on how we constrain the use of the recursor, this language is rich enough to capture all primitive recursive functions or more generally Gödel’s System T. […]

The recording of “Prof Prakash Panangaden’s talk on Probabilistic Bisimulation and associated metrics” is now available using the link below:   https://ed-ac-uk.zoom.us/rec/share/mwX23U03YMrWZrTgEKl-jMbyAAdUnUULxBa32XnyFcDI9XkHPY54FSELDsnm9xI7.-Hb0fb6YP-bWqgTH   Professor Panangaden is conducting joint research in Edinburgh supported by the Huawei – University of Edinburgh Strategic Talent Programme.  

Date: Tuesday 22 March  @ 09:30 – 10:30 (UK time) Presenter: Manuel Rigger manuel.rigger@inf.ethz.ch Affiliation: ETH Zurich Brief Bio: Manuel Rigger will join the National University of Singapore in summer 2022 as an Assistant Professor. Currently, he is a postdoctoral researcher in the Advanced Software Technologies (AST) Lab at ETH Zurich, mentored by Zhendong Su. […]

Making Concurrency Functional by Glynn Winskel   http://arxiv.org/abs/2202.13910   The article bridges between two major paradigms in computation, the functional, at basis computation from input to output, and the interactive, where computation reacts to its environment while underway.  Central to  any compositional theory of interaction is the dichotomy between a system and its environment.  Concurrent […]

James Wood and Robert Atkey. A Framework for Substructural Type Systems. ESOP 2022, to appear. 2022. [BIB] [PDF] Abstract Mechanisation of programming language research is of growing interest, and the act of mechanising type systems and their metatheory is generally becoming easier as new techniques are invented. However, state-of-the-art techniques mostly rely on structurality of the type system — […]

ath.CT String diagrams for non-strict monoidal categories Authors: Paul Wilson, Dan R. Ghica, Fabio Zanasi Abstract: Whereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict monoidal categories are far less studied. In this paper, we provide a presentation by generators and relations of string […]