BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Spurlock Museum//Spurlock Museum Events//EN
X-WR-CALNAME:Spurlock Museum Events
CALSCALE:GREGORIAN  
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:America/Chicago
X-LIC-LOCATION:America/Chicago
BEGIN:DAYLIGHT
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
TZNAME:CDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
TZNAME:CST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CLASS:PUBLIC
UID:spurlock-event-1388
SUMMARY;LANGUAGE=en-us:"Presentation: “Graph Coloring and Machine Proofs in Computer Science, 1977-2017” by Andrew W. Appel\r"
DESCRIPTION:"Part of the Four Color Fest\rThe Four Color Theorem of Kenneth Appel and Wolfgang Haken (1976) was proved and checked with the assistance of computer programs, though much of the proof was written (and refereed) only by humans. Contemporaneously, Edinburgh LCF (Logic for Computable Functions) was developed by Robin Milner–a system for proofs written by humans (with computer assistance) but completely checked by computer; with particular application to proofs about computer programs. These two developments, and their convergence, have had significant impact on computer science, and my own research career: graph-coloring algorithms for register allocation in compilers, functional programming languages, fully machine-checked proofs of mathematical theorems, fully machine-checked proofs of software systems. One result at the intersection of all these is a machine-checked proof of correctness of a program that does register allocation by graph-coloring, using an algorithm related to one used in every four-color proof (and attempted proof) since 1879.\r\rThis event is a special presentation by the Center for Advanced Study and is part of the University of Illinois Department of Mathematics Four Color Festival which celebrates the 40th anniversary of the proof of the Four Color Theorem. The festival is a part of the 2017 sesquicentennial celebration of the founding of the University of Illinois.\r\rAdditional information about the Four Color Fest can be found on their website (external link)\r"
DTSTAMP:20260427T042138
DTSTART;TZID=America/Chicago:20171103T160000
DTEND;TZID=America/Chicago:20171103T180000
LOCATION:"Knight Auditorium\, Spurlock Museum\, 600 S. Gregory St.\, Urbana\, IL"
URL:https://www.spurlock.illinois.edu/events/event.php?ID=1388
END:VEVENT

END:VCALENDAR