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;TZID=UTC:20231101T100000
DTEND;TZID=UTC:20231101T190000
DTSTAMP:20260418T143326
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:20260418T143326
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:20260418T143326
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:20260418T143326
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