Posts By: Teresa Carbajo Garcia

Isaac Newton Institute Workshop on Computer-aided Mathematical Proof, 10 – 14 July 2017

This workshop will bring together mathematicians interested in employing proof technology in their research, logicians exploring pragmatic and foundational issues in the formalisation of mathematics, and computer scientists engaged in developing and applying proof technology. It will explore foundational, theoretical, and practical challenges in exploiting proof technology to transform mathematical practice across a range of scientific… Read more »

Isaac Newton Institute Research Programme on Big Proof, 26 June to 4 August 2017

This programme brings together mathematicians interested in employing proof technology in their research, logicians exploring pragmatic and foundational issues in the formalisation of mathematics, and computer scientists engaged in developing and applying proof technology. The programme includes a week-long workshop exploring foundational, theoretical, and practical challenges in exploiting proof technology to transform mathematical practice across… Read more »

The Aarhus Concurrency Workshop 30-31 May 2017

Registration for the event is now closed.  The Aarhus Concurrency Workshop on Concurrency Theory and related topics is the latest in a series previously held at University of Kent, Imperial College London, York, University of Oxford, Trinity College Dublin, Cambridge University, Newcastle, and Queen Mary. Steering committee The Concurrency Workshop series steering committee is composed of Mark Batty, Mike Dodds, Philippa Gardner, Cliff Jones and Matthew Parkinson.

Delicious Twitter Digg this StumbleUpon Facebook