Loading Events

Past Events

Events Search and Views Navigation

Event Views Navigation

July 2019

SREPLS/Concurrency Workshop joint meeting, University of Surrey, 23-24th July

July 23 - July 24

VeTSS is very happy to support this year's edition of the Surrey Concurrency Workshop and S-REPLS, to be held at University of Surrey, Guildford on 23‐24 July, 2019. This two-day workshop, organised by Brijesh Dongol, is aimed at bringing together researchers, from the UK and elsewhere, who are working on the theory of concurrency and the semantics and implementation of programming languages.  

Find out more »

September 2018

VeTSS PhD School and Sixth Workshop on Formal Methods and Tools for Security (FMATS)

September 24, 2018 @ 9:00 am - September 25, 2018 @ 6:00 pm
Microsoft Research Cambridge, 21 Station Road,
Cambridge, CB1 2FB United Kingdom

Organisers: Philippa Gardner (Imperial), Cedric Fournet and Antoine Delignat-Lavaud (MSR Cambridge). The purpose of this joint meeting is to bring together verification, systems and security experts interested in formal analysis, industrialists interested in software validation, and government scientists interested in reliable software systems, and to introduce them to the current generation of UK PhD students and postdocs. One important aim is to foster dialogue between the PhD students, RAs and industry.  The transition from either PhD student or RA to industry…

Find out more »

July 2018

7th Federated Logic Conference (FLoC’18), Oxford, UK, July 2018

July 9, 2018 @ 8:00 am - July 19, 2018 @ 5:00 pm

The seventh Federated Logic Conference (FLoC’18), will be held in Oxford, UK,  on 7-19 July 2018, at the Mathematical Institute and the Blavatnik School of Government at the University of Oxford. FLoC’18 brings together nine major international conferences related to mathematical logic and computer science. FLoC’18 will feature 79 workshops, including the Summit on Machine Learning Meets Formal Methods and a FLoC Industry session on Formal Methods.

Find out more »

September 2017

Fifth Workshop on Formal Methods And Tools for Security (FMATS)

September 21, 2017 - September 22, 2017

Venue: Microsoft Research Cambridge Dates: 21-22 September 2017 Organisers: Philippa Gardner (Imperial), Markulf Kohlweiss (MSR Cambridge), Mike Gordon (Cambridge University), Graham Steel (INRIA and Cryptosense, Paris). For details of this year's event please see the FMATS5 page FMATS traditionally targets a wide audience, consisting of UK researchers, industrialists and government employees. It is a two-day workshop that revolves around two keynote and twenty specialist talks, addressing key research topics from the field of formal methods and their application to security,…

Find out more »

The ARM Research Summit: Computing for the Connected World

September 11, 2017 @ 8:00 am - September 13, 2017 @ 5:00 pm

Venue: Robinson College, Cambridge, UK The second annual Arm Research Summit is an academic summit to discuss future trends and disruptive technologies across all sectors of computing organised by ARM Ltd. The Summit includes talks from the leaders in their research fields, demonstrations, networking opportunities and the chance to interact and discuss projects with members of Arm Research. The agenda for the summit is now available or you can follow some of the higher-level talks on their live stream.

Find out more »

July 2017

Big Proof — Challenges in Industry and Research

July 19, 2017
The Alan Turing Institute, British Library, 96 Euston Road
London, NW1 2DB United Kingdom
+ Google Map

The aim of the workshop is to promote discussion around the area of big proof and formal verification, and the challenges from academic and industry perspectives.  For example, academic challenges are presented by the problem of scaling mathematical proof on machine, including issues such as search, representation and reasoning in ways that are more natural to working mathematicians than current systems offer.  Conversely, industry challenges may be posed around the limits of automation and the efficiency of current logics and…

Find out more »

Isaac Newton Institute Workshop on Computer-aided Mathematical Proof

July 10, 2017 - July 14, 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 and engineering disciplines. For more details please see the workshop page.

Find out more »

June 2017

Isaac Newton Institute Research Programme on Big Proof

June 26, 2017 - August 4, 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 a range of scientific and engineering disciplines. A key expected output is a concrete, long-term research agenda for making computational inference a basic technology for…

Find out more »

May 2017

The Aarhus Concurrency Workshop

May 30, 2017 - May 31, 2017
Department of Computer Science, Aarhus University, Åbogade 34
Aarhus, 8200 Denmark
+ Google Map

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.

Find out more »

6th South of England Regional Programming Language Seminar

May 25, 2017

The 6th edition of S-REPLS will take place on May 25, 2017, at University College London S-REPLS is a regular and informal meeting for those based in the South of England with a professional interest—whether it be academic or commercial—in the semantics and implementation of programming languages. The seminar is free of charge and lunch will be provided. For details and to register, please see their webpage The next S-REPLS meeting will take place at the University of Warwick, in…

Find out more »
+ Export Events