BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Dana-Farber Cancer Institute - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Dana-Farber Cancer Institute
X-ORIGINAL-URL:https://ds.dfci.harvard.edu
X-WR-CALDESC:Events for Dana-Farber Cancer Institute
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20261101T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20270314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20271107T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20260430T160000
DTEND;TZID=America/New_York:20260430T170000
DTSTAMP:20260419T095802
CREATED:20260417T150212Z
LAST-MODIFIED:20260417T150212Z
UID:7033-1777564800-1777568400@ds.dfci.harvard.edu
SUMMARY:Building Data Analysis Proofs
DESCRIPTION:HSPH Biostatistics and DFCI Data Science Colloquium\nThursday April 30 at 4:00pm\nHSPH\, FXB 301 \nRoger Peng\, PhD\, Professor of Statistics and Data Sciences\, University of Texas at Austin \nData analyses are often constructed in an imperative manner\, where commands representing actions taken on the data are issued sequentially. The publication of these commands\, along with the data\, is essential to the reproducibility of the analysis by others. However\, simply presenting the code and the results of running the code can hide important details about the data analyst’s premises\, expectations\, and assumptions about the data. Understanding this analysis reasoning can be critical to evaluating the quality of an analysis and for suggesting possible improvements. We argue that a formal representation of a data analysis that externalizes its logical construction offers more useful information for statically illustrating an analyst’s reasoning. Such a formal representation would allow for the evaluation of some aspects of a data analysis without the need for the data\, the visualization of the logical connections leading to a conclusion\, and the ability to assess the sensitivity of an analyst’s assumptions to unexpected features in the data. In this talk I will describe an implementation of this formal representation and how it might be applied to some common data analysis tasks. \n\nColloquium Seminar Series
URL:https://ds.dfci.harvard.edu/event/building-data-analysis-proofs/
CATEGORIES:Seminar
ATTACH;FMTTYPE=image/png:https://ds.dfci.harvard.edu/wp-content/uploads/2026/04/roger-e1776438059995.png
END:VEVENT
END:VCALENDAR