Our new team member Giulio is giving an invited talk at LSFA, an FSCD-associated workshop. More details on the workshop web page: https://mat.unb.br/lsfa2021/pages/invited.html Understanding the lambda-calculus via (non-)linearity and rewriting.Abstract: The lambda-calculus is the model of computation underlying functional programming languages and proof assistants. Actually, there are many lambda-calculi, depending on the evaluation mechanism (e.g., […]

Our research intern Todd Waugh Ambridge will present the paper Global Optimisation with Constructive Reals at the ACM/IEEE Symposium on Logic in Computer Science. Abstract—We draw new connections between deterministic, complete, and general global optimisation of continuous functions and a generalised notion of regression, using constructive type theory and computable real numbers. Using this foundation we […]

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!