Events and news relevant to the Laboratory for Foundations of Computer Science

[Kim Worrall <Kim.Worrall@ed.ac.uk>]

BEGIN:VCALENDAR
METHOD:REQUEST
PRODID:Microsoft Exchange Server 2010
VERSION:2.0
BEGIN:VTIMEZONE
TZID:GMT Standard Time
BEGIN:STANDARD
DTSTART:16010101T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
RRULE:FREQ=YEARLY;INTERVAL=1;BYDAY=-1SU;BYMONTH=10
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:16010101T010000
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;INTERVAL=1;BYDAY=-1SU;BYMONTH=3
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
ORGANIZER;CN=Kim Worrall:mailto:Kim.Worrall@ed.ac.uk
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=FALSE;CN=Priyaa Va
 rshinee Srinivasan:mailto:priyaavarshinee@gmail.com
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=FALSE;CN=qsl-semin
 ar@mlist.is.ed.ac.uk:mailto:qsl-seminar@mlist.is.ed.ac.uk
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=FALSE;CN=lfcs-inte
 rest@mlist.is.ed.ac.uk:mailto:lfcs-interest@mlist.is.ed.ac.uk
DESCRIPTION;LANGUAGE=en-GB:Hi All\,\n\nThis Thursday 7th  May at 4pm we wil
 l have a join QSL-LFCS Seminar by Priyaa Varshinee Srinivasan from the Uni
 versity of Tallinn.\n\nWhen: Thursday 7th  May at 4pm\nWhere: MF2 Informat
 ics Forum\n    Speaker: Priyaa Varshinee Srinivasan\n    T
 itle: What is concurrency?\n    (Full abstract below)\n\nYou may a
 lso attend the seminar online:\n    https://ed-ac-uk.zoom.us/j/871
 43603400\n    Passcode: 2vsypPLv\n\nWe look forward to seeing you 
 there\,\n\nBest\,\nKim and Virag\n\n\nAbstract: The debate between paralle
 lism vs concurrency is long-standing. In this talk\, we will demonstrate a
  fundamental difference between parallelism and concurrency with the aid o
 f a functional-style concurrent language called CaMPL. Categorical Message
  Passing Language\, CaMPL in short\, implements a type system given by the
  Cockett-Pastro equivalence (concurrent analogue of the sequential functio
 nal Curry-Howard-Lambek equivalence). CaMPL’s type system ensures that p
 rocesses can never be connected in a cycle. This guarantees that CaMPL pro
 grams never deadlock. Additionally\, livelock-freedom is guaranteed in the
  absence of general recursion.\n\nIn this talk\, we will use code examples
  to showcase the type system of CaMPL which enables parallel computation. 
 Then\, to be able to write concurrent programs\, one requires controlled n
 on-determinism. Finally\, we will discuss how CaMPL’s type system can be
  extended to quantum realms to describe quantum message passing.\n\nPre-re
 quisites: Familiarity with functional-style programming languages.\n\n\nTh
 e University of Edinburgh is a charitable body\, registered in Scotland\, 
 with registration number SC005336. Is e buidheann carthannais a th’ ann 
 an Oilthigh Dhùn Èideann\, clàraichte an Alba\, àireamh clàraidh SC00
 5336.\n
UID:040000008200E00074C5B7101A82E00800000000049334506FDCDC01000000000000000
 010000000EB1B1B5BDA31F24783F4B297CFF3A62F
SUMMARY;LANGUAGE=en-GB:[Joint QSL & LFCS Seminar] 07 May: Priyaa Varshinee 
 Srinivasan: What is Concurrency?
DTSTART;TZID=GMT Standard Time:20260507T160000
DTEND;TZID=GMT Standard Time:20260507T170000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260505T093802Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:1
LOCATION;LANGUAGE=en-GB:4.40 - Mini Forum 2   (Informatics Forum)
X-MICROSOFT-CDO-APPT-SEQUENCE:1
X-MICROSOFT-CDO-OWNERAPPTID:2124752900
X-MICROSOFT-CDO-BUSYSTATUS:TENTATIVE
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
X-MICROSOFT-LOCATIONDISPLAYNAME:4.40 - Mini Forum 2   (Informatics Forum)
X-MICROSOFT-LOCATIONSOURCE:None
X-MICROSOFT-LOCATIONS:[{"DisplayName":"4.40 - Mini Forum 2   (Informatics F
 orum)"\,"LocationAnnotation":""\,"LocationUri":""\,"LocationStreet":""\,"L
 ocationCity":""\,"LocationState":""\,"LocationCountry":""\,"LocationPostal
 Code":""\,"LocationFullAddress":""}]
BEGIN:VALARM
DESCRIPTION:REMINDER
TRIGGER;RELATED=START:-PT15M
ACTION:DISPLAY
END:VALARM
END:VEVENT
END:VCALENDAR