BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260921T003338Z
UID:Seminar-dept-457@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20180302T130000
DTEND:20180302T140000
SUMMARY:School Seminar Series
DESCRIPTION:Dr. Matthew Hague: Web Optimisation: Formal Methods and Cascading Style Sheets\n\nCascading Style Sheets are a pervasive web technology which control the layout and appearance of the majority of the world's web pages.  They also form part of the bloat that large scale websites are keen to avoid.  As such, many minification technologies exist to compress and remove redundancies in these style sheets.\n\n\n\nHowever, much of these tools are developed without a formal understanding of CSS semantics.  This leads to unsafe transformations which can not only affect the appearance of a web page, but also its functionality.\n\n\n\nIn this talk i will describe two of our recent attempts to minimise, remove redundancies, and generally understand cascading style sheets based on formal analysis and semantics.\n\n\n\nThis is joint work with Chih-Duo Hong, Anthony Lin, and C.-H. Luke Ong.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=457
LOCATION:George Holt seminar room H223
END:VEVENT
END:VCALENDAR