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

[Adam Harrison <A.Harrison-15@sms.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=Adam Harrison:mailto:A.Harrison-15@sms.ed.ac.uk
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN=William Wa
 ites:mailto:william.waites@ed.ac.uk
ATTENDEE;ROLE=OPT-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN=inf-edinbu
 rghnlp@mlist.is.ed.ac.uk:mailto:inf-edinburghnlp@mlist.is.ed.ac.uk
ATTENDEE;ROLE=OPT-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN=inf-semina
 rs@mlist.is.ed.ac.uk:mailto:inf-seminars@mlist.is.ed.ac.uk
ATTENDEE;ROLE=OPT-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN=ilcc-membe
 rs@inf.ed.ac.uk:mailto:ilcc-members@inf.ed.ac.uk
ATTENDEE;ROLE=OPT-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN=aiai-membe
 rs@inf.ed.ac.uk:mailto:aiai-members@inf.ed.ac.uk
ATTENDEE;ROLE=OPT-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN=lfcs-inter
 est@mlist.is.ed.ac.uk:mailto:lfcs-interest@mlist.is.ed.ac.uk
DESCRIPTION;LANGUAGE=en-US:Join us for a seminar organised by AI Safety Hub
  Edinburgh<aished.org>.\n\nThis week William Waites\, Senior Research Fell
 ow at the Quantum Software Lab\, will share his insights on AI Agents and 
 share a focus on making AI go well by orchestrating tightly controlled age
 nts\, rather than ensuring the alignment of a single highly capable agent.
 \n\nTitle: How to think about AI agents\nWhen: Thursday\, 18th June\, 4pm\
 nWhere: Informatics Forum 3.07\n\nAbstract:\nI will share some insights an
 d tools from six months of working with AI agents. This talk will cover as
 pects of memory (context) management\, perspective taking\, coordination p
 atterns to reduce (or cause) mis-alignment\, and practices such as vericod
 ing (use of theorem provers). I will introduce the "plumbing" language whi
 ch is partly extracted from a proof in vericoding style and say something 
 about what it is and is not good for.\n\nBio:\nWilliam Waites is a senior 
 research fellow at the School of Informatics having returned to Edinburgh 
 to work on applications of agentic AI in quantum computing after an extend
 ed hiätus working on mathematical modelling of epidemics at LSHTM\, Strat
 hclyde and Southampton. Over the years\, his work has spanned network engi
 neering\, knowledge representation\, linked data and the semantic web\, ev
 olutionary game theory\, applications of computer science to various aspec
 ts of biology\, and high performance computing.\n\nIf you can’t make it 
 in person\, you can join us on teams via the link below.\n\nBest\,\nAdam\n
 \n________________________________________________________________________
 ________\nMicrosoft Teams meeting\nJoin: https://teams.microsoft.com/meet/
 315424708620344?p=ojEspBHEpEgbFNiQev\nMeeting ID: 315 424 708 620 344\nPas
 scode: zj9Lf7bh\n________________________________\nNeed help?<https://aka.
 ms/JoinTeamsMeeting?omkt=en-US> | System reference<https://teams.microsoft
 .com/l/meetup-join/19%3ameeting_Y2UzZjYyN2MtZWNhMC00N2M2LWJmODEtZDU5ZjU3OW
 U3ODdj%40thread.v2/0?context=%7b%22Tid%22%3a%222e9f06b0-1669-4589-8789-10a
 06934dc61%22%2c%22Oid%22%3a%22e0f73f04-7a9f-404a-b597-700b0a2315b7%22%7d>\
 nFor organizers: Meeting options<https://teams.microsoft.com/meetingOption
 s/?organizerId=e0f73f04-7a9f-404a-b597-700b0a2315b7&tenantId=2e9f06b0-1669
 -4589-8789-10a06934dc61&threadId=19_meeting_Y2UzZjYyN2MtZWNhMC00N2M2LWJmOD
 EtZDU5ZjU3OWU3ODdj@thread.v2&messageId=0&language=en-US>\n[Company Logo]\n
 The University of Edinburgh is a charitable body\, registered in Scotland\
 , with registration number SC005336. Is e buidheann carthannais a th’ an
 n an Oilthigh Dhùn Èideann\, clàraichte an Alba\, àireamh clàraidh SC
 005336.\nOrg help<https://support.office.com/en-us/article/join-a-meeting-
 in-teams-1613bb53-f3fa-431e-85a9-d6a91e3468c9> | Privacy and security<http
 s://www.ed.ac.uk/information-services/about/policies-and-regulations>\n___
 __________________________________________________________________________
 ___\n\n
UID:040000008200E00074C5B7101A82E0080000000010F6DE21E6FCDC01000000000000000
 010000000681FB282E25D09488E7D0279B8DCA081
SUMMARY;LANGUAGE=en-US:AI Safety Seminar 3.07 Informatics Forum - How to th
 ink about AI agents - William Waites
DTSTART;TZID=GMT Standard Time:20260618T160000
DTEND;TZID=GMT Standard Time:20260618T170000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260615T154732Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION;LANGUAGE=en-US:IF 3.07
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-OWNERAPPTID:837773290
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-SKYPETEAMSMEETINGURL:https://teams.microsoft.com/l/meetup-join/
 19%3ameeting_Y2UzZjYyN2MtZWNhMC00N2M2LWJmODEtZDU5ZjU3OWU3ODdj%40thread.v2/
 0?context=%7b%22Tid%22%3a%222e9f06b0-1669-4589-8789-10a06934dc61%22%2c%22O
 id%22%3a%22e0f73f04-7a9f-404a-b597-700b0a2315b7%22%7d
X-MICROSOFT-SCHEDULINGSERVICEUPDATEURL:https://api.scheduler.teams.microsof
 t.com/teams/2e9f06b0-1669-4589-8789-10a06934dc61/e0f73f04-7a9f-404a-b597-7
 00b0a2315b7/19_meeting_Y2UzZjYyN2MtZWNhMC00N2M2LWJmODEtZDU5ZjU3OWU3ODdj@th
 read.v2/0
X-MICROSOFT-SKYPETEAMSPROPERTIES:{"cid":"19:meeting_Y2UzZjYyN2MtZWNhMC00N2M
 2LWJmODEtZDU5ZjU3OWU3ODdj@thread.v2"\,"private":true\,"type":0\,"mid":0\,"
 rid":0\,"uid":null}
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:TRUE
X-MICROSOFT-LOCATIONS:[ { "DisplayName" : "IF 3.07"\, "LocationAnnotation" 
 : ""\, "LocationSource" : 0\, "Unresolved" : true\, "LocationUri" : "" } ]
BEGIN:VALARM
DESCRIPTION:REMINDER
TRIGGER;RELATED=START:-PT15M
ACTION:DISPLAY
END:VALARM
END:VEVENT
END:VCALENDAR