BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//SICSA - ECPv6.18.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:SICSA
X-ORIGINAL-URL:https://sicsa.ac.uk
X-WR-CALDESC:Events for SICSA
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:20240101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20261007T120000
DTEND;TZID=UTC:20261007T170000
DTSTAMP:20260907T115219Z
CREATED:20260907T115117Z
LAST-MODIFIED:20260907T115219Z
UID:10000116-1791374400-1791392400@sicsa.ac.uk
SUMMARY:Scottish Theorem Proving & Verification (STPV) Seminar
DESCRIPTION:Verification and theorem proving research is notably strong in Scottish universities\, with active groups and researchers in at least six departments. This new Scottish Theorem Proving and Verification Seminar (STPV) is intended to provide a common venue for communication and sharing of ideas by all these researchers. At least once a year\, one of the departments hosts an informal seminar for the whole Scottish verification and theorem proving community. Represented fields include e.g. theorem proving\, model checking and other forms of formal reasoning\, verification and synthesis. This will also serve as a friendly venue for PhD students and RAs to discuss their work in progress and get feedback. \nIn this inaugural edition we have three invited speakers\, presenting some of their STPV-related work and leading a panel discussion on the scope and future plans for the seminar series. The seminar series is intended as continuation and broadening of the previously existing STP seminars. \nRegister\n\nhttps://msp.cis.strath.ac.uk/stpv2026/
URL:https://sicsa.ac.uk/event/stpv-seminar/
LOCATION:University of Strathclyde\, United Kingdom
CATEGORIES:Seminar
ATTACH;FMTTYPE=image/png:https://sicsa.ac.uk/wp-content/uploads/2026/09/sicsa-banner-theory-20261007-stpv.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20250909T140000
DTEND;TZID=UTC:20250909T150000
DTSTAMP:20250821T145043Z
CREATED:20250821T145043Z
LAST-MODIFIED:20250821T145043Z
UID:10000065-1757426400-1757430000@sicsa.ac.uk
SUMMARY:SICSA Education Seminar: Investigating the challenges of dyslexia and the future aids that can support students
DESCRIPTION:For our September Education Seminar\, we are thrilled that PhD student\, Catriona Weir from University of Strathclyde will be presenting her research. \nAbstract:\nDyslexia is a neurological learning disability that impacts people’s reading\, writing and spelling abilities. It is thought that ten per cent of the UK population may have dyslexia. Previous research studies have found that those with dyslexia tend to have good creative and problem-solving skills. Therefore\, it is understandable that computing science appeals to those with dyslexia as it utilises both these skills. However\, students with dyslexia can face additional challenges when learning to program\, and this may have an impact on their motivation and future success. \nThis talk investigates the additional challenges that those with dyslexia face and the future aids that can support them in completing their computing studies. \nRegister for in-person or online tickets
URL:https://sicsa.ac.uk/event/sicsa-education-seminar-investigating-the-challenges-of-dyslexia-and-the-future-aids-that-can-support-students/
LOCATION:University of Strathclyde\, United Kingdom
CATEGORIES:Event,Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20250414
DTEND;VALUE=DATE:20250417
DTSTAMP:20250317T101303Z
CREATED:20241210T165212Z
LAST-MODIFIED:20250317T101303Z
UID:10000041-1744588800-1744847999@sicsa.ac.uk
SUMMARY:The British Colloquium for Theoretical Computer Science (BCTCS)
DESCRIPTION:(BCTCS) is an annual event for UK-based researchers in theoretical computer science. A central aspect of BCTCS is the training of PhD students\, providing an environment for students to gain experience in presenting their work\, to broaden their outlook on the subject\, and to benefit from contact with established researchers. The scope of the colloquium includes all aspects of theoretical computer science\, including automata theory\, algorithms\, complexity theory\, semantics\, formal methods\, concurrency\, types\, languages and logics. \nThere will also be TCS Education Track Talks to highlight specific challenges or innovations related to theoretical computer science topics or courses. \nFind out more and register to attend
URL:https://sicsa.ac.uk/event/theoretical-computer-science-education-tcsed-in-scotland-current-practices-and-future-directions/
LOCATION:University of Strathclyde\, United Kingdom
CATEGORIES:Colloquium
END:VEVENT
END:VCALENDAR