BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//VeTSS - ECPv6.15.11//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:VeTSS
X-ORIGINAL-URL:https://vetss.org.uk
X-WR-CALDESC:Events for VeTSS
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20170101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20250113
DTEND;VALUE=DATE:20250117
DTSTAMP:20260419T105429
CREATED:20241209T160133Z
LAST-MODIFIED:20241209T160133Z
UID:2931-1736726400-1737071999@vetss.org.uk
SUMMARY:TFP (and TFPiE) 2025
DESCRIPTION:26th International Symposium on Trends in Functional Programming\n13th to 16th January 2025\, Oxford\, UK \nThe symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming\, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results\, and other contributions.
URL:https://vetss.org.uk/event/tfp-and-tfpie-2025/
CATEGORIES:Other Events
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20241021T090000
DTEND;TZID=UTC:20241022T170000
DTSTAMP:20260419T105429
CREATED:20240927T121032Z
LAST-MODIFIED:20241021T163444Z
UID:2451-1729501200-1729616400@vetss.org.uk
SUMMARY:Formal Specification and Validation at Scale
DESCRIPTION:This Open for Business event is part of an INI programme on Big Specification. It aims to provide a meeting ground to facilitate interactions and exchanges between representatives of academia\, research and industry\, relevant to the theme\, with the objective of identifying points of mutual interest and possible co-activity.\n\n\n\n\n\nAims & Objectives \nThe aim of this Open for Business event is to evaluate the role of formal methods in industrial design\, review the current and potential future capabilities of our tools and techniques\, and discuss strategies for advancing their standardisation. The objective is to identify ways to progressively integrate formal methods into industrial processes and to outline possible next steps\, including how government support can facilitate this progression. \nThe planned activities for the event include: \n\nTalks by experts from academia\, industry and government.\nAn afternoon session on “Formal Methods for Secure and Measurable Software Systems”\, supported by the Office of the White House.\nAn afternoon session on “Formal Methods in Cyber Security”\, supported by the National Cyber Security Center (NCSC).\n\nThis hybrid meeting will bring together an audience of invited experts and policymakers from across academia\, industry\, and government\, all driven by a common goal to advance formal methods and strengthen cybersecurity. The event will be recorded\, with an edited version made available on YouTube. \nRegistration and Venue \nThis is an invitation-only event. Registration for this event is open. \nThe workshop will take place at the Isaac Newton Institute for Mathematical Sciences in Cambridge\, United Kingdom. Please visit the Isaac Newton Institute website for further information about the venue. \nTo maximise networking opportunities and interaction with speakers and other participants\, we strongly encourage in-person attendance to this workshop. However\, this event is also hosted as hybrid via Zoom.
URL:https://vetss.org.uk/event/formal-specification-and-validation-at-scale/
LOCATION:Isaac Newton Institute\, 20 Clarkson Road\, Cambridge\, CB3 0EH\, United Kingdom
CATEGORIES:Other Events
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20240718T080000
DTEND;TZID=UTC:20240719T170000
DTSTAMP:20260419T105429
CREATED:20240508T094924Z
LAST-MODIFIED:20240710T101010Z
UID:1413-1721289600-1721408400@vetss.org.uk
SUMMARY:Kent Concurrency Workshop
DESCRIPTION:We are very happy to be on of the sponsors of this year’s Kent Concurrency Workshop and S-REPLS 15\, taking place at the University of Kent\, Canterbury\, on 18‐19 July\, 2024. \nThe South of England Regional Programming Language Seminar (S-REPLS) is a regular and informal meeting open to everyone with a professional interest — whether it be academic or commercial — in the semantics and implementation of programming languages. This year it will be jointly held with the Concurrency Workshop which aims to bring together researchers who are working on the theory of concurrency and related areas. Registration  for the event is free. \nImportant dates:\nSubmission deadline: 18th June.\nRegistration deadline: 5th July.
URL:https://vetss.org.uk/event/kent-concurrency-workshop/
LOCATION:University of Kent\, Giles Ln\, Canterbury\, CT2 7NZ
CATEGORIES:Other Events
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20240604T080000
DTEND;TZID=UTC:20240604T170000
DTSTAMP:20260419T105429
CREATED:20240604T101728Z
LAST-MODIFIED:20240710T100849Z
UID:1842-1717488000-1717520400@vetss.org.uk
SUMMARY:Workshop on Formal Methods and Tools for Security (FMATS)
DESCRIPTION:The Workshop on Formal Methods and Tools for Security (FMATS)\, inspired by the grand challenge of software verification\, was established in 2011 by Professor Mike Gordon of the University of Cambridge\, with the aim of bringing together academia\, industry and government employees interested in an effort to properly understand and address the challenges in applying formal methods to security. Since then\, several FMATS workshops have been held\, supported by VeTSS\, Microsoft Research Cambridge and the Royal Society. Please follow the links below for the previous editions of FMATS. \nFMATS7 (2019) (replaced by the `Verified Software’ workshop) \nFMATS6 (2018) \nFMATS5 (2017) \nFMATS4 (2015) \nFMATS3 (2014) \nFMATS2 (2013) \nFMATS1 (2011)
URL:https://vetss.org.uk/event/workshop-on-formal-methods-and-tools-for-security-fmats/
CATEGORIES:Other Events
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20240521T083000
DTEND;TZID=UTC:20240521T170000
DTSTAMP:20260419T105429
CREATED:20240604T121004Z
LAST-MODIFIED:20240729T130723Z
UID:1863-1716280200-1716310800@vetss.org.uk
SUMMARY:Annual Meeting 2024
DESCRIPTION:This year’s event will be held at the Royal Academy of Engineering\, London on Tuesday\, 21st of May. You can find the address and full directions to the venue on this link. \nRegistration to the event is now closed as the meeting is at capacity. \nThe meeting with start at 9:00. Registration\, with tea and coffee\, is from 8:30. On arrival\, please make your way up to the ERA Foundation room on the first floor. You will be able to collect  your badge there. \nWe want to make every VeTSS event a respectful and friendly environment for all\, and we ask that everyone attending the Annual meeting adheres to the VeTSS code of conduct. \nProgram\n\n\n\n8:30 – 9:00\nRegistration\, with Tea and Coffee\n\n\nSession 1: Keynote Talk\n\n\n9:00 – 9:15\nWelcome\n\n\n9:15 – 10:15\nKeynote: Holistic security from code to cloud\, Peter O’Hearn (Lacework and UCL)\n\n\n10:15 – 10:45\nMorning break\n\n\nSession 2 \n\n\n10:45 – 11:15\nTalk: Bit-Precise Neural Network Verification\, Edoardo Manino (University of Manchester)\n\n\n11:15 – 11:45\nTalk: Object Capabilities as Guards – Specification\, Verification\, and open calls\, Sophia Drossopolou (Imperial College London)\n\n\n11:45 – 12:15\nTalk: Contactless Payments made Private via Bisimilarity\, Ross Horne (University of Strathclyde\, Glasgow\, Scotland)\n\n\n12:15 – 13:45\nLunch\n\n\nSession 3: Industry Perspectives\n\n\n13:45 – 14:15\nTalk: Writing formal specifications at ARM\, Jade Alglave (Arm)\n\n\n14:15 – 14:35\nTalk: RISC-V Processor Verification: Challenges And Opportunities For Formal\, Ashish Darbari (Axiomise)\n\n\n14:35 – 14:55\nTalk: Verification and Legal Consequences\, Peter Davies (Thales)\n\n\n15:00 – 15:30\nAfternoon break\n\n\nSession 4\n\n\n\n15:30 – 16:30 \nProject talks \n\n\n\n\n\nSACRED-MA: Safe And seCure REmote Direct Memory Access\, Guillaume Ambal\, (Imperial College London) and Gregory Chockler\, (University of Surrey)\n\n\nTRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development\,  Narges Khakpour (Newcastle University)\n\n\nM4Secure: Faster and Secure Memory Management\,  Zheng Wang (University of Leeds)\n\n\n\n\n\n\n16:30 – 16:50\nTalk: Using program synthesis to make your code run faster\, Elizabeth Polgreen (University of Edinburgh)\n\n\n16:50 – 17:10\nTalk: Secure Smart Contracts with Isabelle/Solidity\, Diego Marmsoler\, (University of Exeter)\n\n\n17:10 – 17:15\nMeeting ends
URL:https://vetss.org.uk/event/annual-meeting-2024/
CATEGORIES:Annual Meetings
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20231101T100000
DTEND;TZID=UTC:20231101T190000
DTSTAMP:20260419T105429
CREATED:20240604T100849Z
LAST-MODIFIED:20241007T152016Z
UID:1829-1698832800-1698865200@vetss.org.uk
SUMMARY:Fun in the REPL
DESCRIPTION:S-REPLS is a regular meeting\, based in the south of England\, for anyone with an interest in the semantics and implementation of programming languages. Fun in the Afternoon is a seminar on functional programming and related topics. This site describes the arrangements for a joint meeting of these two communities at Bristol Engine Shed in November 2023.
URL:https://vetss.org.uk/event/fun-in-the-repl/
LOCATION:Bristol Engine Shed\, Station Approach\, Redcliffe\, Bristol\, BS1 6QH\, United Kingdom
CATEGORIES:Other Events
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20230331
DTEND;VALUE=DATE:20230401
DTSTAMP:20260419T105429
CREATED:20240604T120611Z
LAST-MODIFIED:20240604T120647Z
UID:1856-1680220800-1680307199@vetss.org.uk
SUMMARY:Annual meeting 2023
DESCRIPTION:This was the first event on the VeTSS Seminar Series\, one-day meetings with talks and panel discussions. The aim  is to connect with VeTSS adjacent research\, such as AI\, Quantum Computing\, Security and Machine learning\, discuss state-of-the-art research and its open challenges and seek cross-pollination opportunities with VeTSS themes. \nTALKS (recording and abstracts)\n‘VeTSS: From Old to New’\,  Philippa Gardner\, Imperial College London \n‘On Operational Cyber Resilience’  Kerstin Eder\, University of Bristol \n‘Automatic verification of transparency protocols’\, Mark Ryan\, University of Birmingham with Vincent Cheval and José Moreira. ABSTRACT \n‘Security and Legacy at Microsoft’ Matthew Parkinson\, Microsoft Research. ABSTRACT \n‘Benchmarking and verifying quantum computers’\, Petros Wallden\, The University of Edinburgh. ABSTRACT \n‘Formal Verification and Bug Finding at Meta’\, Jules Villard\, Meta. ABSTRACT \n‘The Research Institute for Trustworthy Interconnected Cyber-physical Systems’\, Chris Hankin\, Imperial College London. ABSTRACT   \n‘Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems’\, Vincent Rahli\, University of Birmingham. ABSTRACT \n‘CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively’\, Karine Even-Mendoza\, King’s College London. ABSTRACT \n‘Rust on Morello’\, Simon Cooksey\, University of Kent. ABSTRACT
URL:https://vetss.org.uk/event/annual-meeting-2023/
CATEGORIES:Annual Meetings
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20190723T093000
DTEND;TZID=UTC:20190724T173000
DTSTAMP:20260419T105429
CREATED:20240604T101246Z
LAST-MODIFIED:20241007T152309Z
UID:1836-1563874200-1563989400@vetss.org.uk
SUMMARY:Surrey Concurrency Workshop and S-REPLS 12
DESCRIPTION:This two-day workshop 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. \nThe workshop will be held in Lecture Theatre L of the LT building (see Campus Map). Directions to the Stag Hill Campus are available here. \nRegistration for the event is free. Lunch and tea/coffee will be provided thanks to funding from VeTSS and the University of Surrey ACE.
URL:https://vetss.org.uk/event/surrey-concurrency-workshop-and-s-repls-12/
LOCATION:University Of Surrey\, Stag Hill\, University Campus\, Guildford\, GU2 7XH\, United Kingdom
CATEGORIES:Other Events
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20180706T080000
DTEND;TZID=UTC:20180724T170000
DTSTAMP:20260419T105429
CREATED:20240604T101549Z
LAST-MODIFIED:20240710T100857Z
UID:1839-1530864000-1532451600@vetss.org.uk
SUMMARY:Federated Logic Conference\, 2018
DESCRIPTION:
URL:https://vetss.org.uk/event/federated-logic-conference-2018/
LOCATION:St Anne’s College\, 56 Woodstock Rd\, Oxford\, OX2 6HS\, United Kingdom
CATEGORIES:Other Events
END:VEVENT
END:VCALENDAR