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  March at 4pm we w
 ill have a join QSL-LFCS Seminar by Priyaa Varshinee Srinivasan from the U
 niversity of Tallinn.\n\nWhen: Thursday 19th  March at 4pm\nWhere: MF2 Inf
 ormatics Forum\n    Speaker: Priyaa Varshinee Srinivasan\n  
   Title: What is concurrency?\n    (Full abstract below)\n\nYo
 u may also attend the seminar online:\n    https://ed-ac-uk.zoom.u
 s/j/87143603400\n    Passcode: 2vsypPLv\n\nWe look forward to seei
 ng you there\,\n\nBest\,\nKim and Virag\n\n\nAbstract: The debate between 
 parallelism vs concurrency is long-standing. In this talk\, we will demons
 trate a fundamental difference between parallelism and concurrency with th
 e aid of 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 
 functional Curry-Howard-Lambek equivalence). CaMPL’s type system ensures
  that processes can never be connected in a cycle. This guarantees that Ca
 MPL programs never deadlock. Additionally\, livelock-freedom is guaranteed
  in the absence of general recursion.\n\nIn this talk\, we will use code e
 xamples to showcase the type system of CaMPL which enables parallel comput
 ation. Then\, to be able to write concurrent programs\, one requires contr
 olled non-determinism. Finally\, we will discuss how CaMPL’s type system
  can be extended to quantum realms to describe quantum message passing.\n\
 nPre-requisites: Familiarity with functional-style programming languages.\
 n\n\nThe University of Edinburgh is a charitable body\, registered in Scot
 land\, with registration number SC005336. Is e buidheann carthannais a th
 ’ ann an Oilthigh Dhùn Èideann\, clàraichte an Alba\, àireamh clàra
 idh SC005336.\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:20260505T091237Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION;LANGUAGE=en-GB:4.40 - Mini Forum 2   (Informatics Forum)
X-MICROSOFT-CDO-APPT-SEQUENCE:0
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