BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Formalising Theory of Combinatorial Optimisation - Dr Mohammad Abd
 ulaziz (King's College London)
DTSTART:20240425T160000Z
DTEND:20240425T170000Z
UID:TALK210877@talks.cam.ac.uk
CONTACT:Anand Rao Tadipatri
DESCRIPTION:Combinatorial optimisation is a central area in computer\nscie
 nce\, applied mathematics\, and operational research. Ideas and notions de
 veloped within the area of combinatorial optimisation include linear progr
 amming\, flows\, and matchings. In this talk I will describe\nthe formalis
 ation\, in Isabelle/HOL\, of some results from the theory of combinatorial
  optimisation\, mainly focusing on the theory of matching. I will briefly 
 discuss mathematically interesting findings and also\nformalisation/method
 ological findings.\n\n---\n\nWATCH ONLINE HERE : https://www.microsoft.com
 /en-gb/microsoft-teams/join-a-meeting?rtc=1 Meeting ID: 370 771 279 261 Pa
 sscode: iCo7a5
LOCATION:Live-streamed at MR14 Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR