BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:What can Programming Language Research Learn from the Philosophy o
 f Science? - Tomas Petricek (University of Cambridge)
DTSTART:20140328T140000Z
DTEND:20140328T150000Z
UID:TALK51717@talks.cam.ac.uk
CONTACT:Raphael Proust
DESCRIPTION:As a relatively recent discipline\, computer science\, and pro
 gramming language research in particular\, have so far eluded the eyes of 
 philosophers of science. However\, we can gain interesting insights by loo
 king at classical works in philosophy of science and reconsidering their m
 eaning from the perspective of programming language research.\n\n \n\nThis
  is exactly what I attempt to do in this essay – I will go through some 
 of the most important theories of science and look what they can say about
  programming language research. Then I suggest how we can improve our scie
 ntific practice in the light of these observations.\n\n \n\nFirst\, I disc
 uss how understanding the research programme is important for evaluating s
 cientific contributions. Second\, I argue that overemphasis on precise\, m
 athematical models in early stage of research may limit the creativity. Th
 irdly\, I propose how to design stand-alone (theory-independent) experimen
 ts in programming language research and how this can help to integrate the
  vast amount of knowledge gathered by software practitioners.
LOCATION:GC22
END:VEVENT
END:VCALENDAR