


Gradual typing is a principled approach to designing programming languages that seamlessly combine static and dynamic checking.
Isil Dillig is an Assistant Professor of Computer Science at the University of Texas at Austin. She is also a Sloan Fellow and a recipient of the NSF CAREER award. She obtained all her degrees (BS, MS, PhD) from Stanford University. Prior to joining UT Austin, Dr. Dillig worked as a researcher at Microsoft Research (2013-2014) and as an assistant professor of computer science at the College of William & Mary (2012-2013).
Abstract: Abductive inference is a form of backwards logical reasoning that infers likely hypotheses from a given conclusion.
Los destacados académicos DCC José Miguel Piquer y Nancy Hitschfeld, hablarán sobre las tecnologías que revolucionan la humanidad, y sobre cómo la computación puede ser un campo laboral atractivo para las mujeres, respectiva,mente. Al final de esta actividad se realizará un recorrido por las instalaciones del DCC.
En el marco de los 40 años del DCC, extendemos invitación para asistir a la charla magistral “Big Data en la Web” del Profesor Ricardo Baeza Yates, académico DCC y Chief Research Scientist Yahoo! Labs.
Nov. 25-27, 2015
Abstract: Misapplication of statistical data analysis is a common cause of spurious discoveries in scientific research. Existing approaches to ensuring the validity of inferences drawn from data assume a fixed procedure to be performed, selected before the data are examined. In common practice, however, data analysis is an intrinsically adaptive process, with new analyses generated on the basis of data exploration, as well as the results of previous analyses on the same data.
Abstract:
En esta charla se hablará sobre el proceso de envío y revisión de artículos científicos, y de cómo anular la frustración que se puede producir cuando un artículo es rechazado.
--
Comunicaciones DCC
.................................................................................................................................................................................................................................
Avenida Beauchef 851, Tercer Piso, Santiago, Chile / C.P. 837-0456