BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Vienna
BEGIN:DAYLIGHT
DTSTART:20180325T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20181028T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260406T074341Z
UID:577e140273401993670638@ist.ac.at
DTSTART:20180409T160000
DTEND:20180409T170000
DESCRIPTION:Speaker: Luca Cardelli\nhosted by Thomas A. Henzinger\nAbstract
 : The cycle of observation\, hypothesis formulation\, experimentation\, an
 d falsification\, which has driven scientific and technical progress since
  the scientific revolution\, is lately becoming automated in all its separ
 ate components. Data gathering is conducted by high-throughput machinery. 
 Models are automatically synthesized\, at least in part\, from data. Exper
 iments are selected to maximize knowledge acquisition. Laboratory protocol
 s are (or will be) run under reproducible and auditable software control. 
 Models and protocols still need to be integrated so that that their relati
 onships can be formally and automatically analyzed. Eventually\, the whole
  scientific cycle should become “programmable”\, including programming
  the biological and physical entities that are part of the cycle. In this 
 context\, we want to program not just computers and software\, but also or
 ganisms and matter.Chemical reactions have been widely used to describe na
 tural phenomena\, but increasingly we are capable to use them to prescribe
  physical interaction\, e.g. in DNA computing. Thus\, chemical reaction ne
 tworks can be used as programs that can be physically realized to produce 
 and control molecular arrangements. Because of their relative simplicity a
 nd familiarity\, and more subtly because of their computational power\, th
 ey are quickly becoming a paradigmatic “programming language” for bioe
 ngineering. We discuss what can be programmed with chemical reactions\, an
 d how these programs can be physically realized.
LOCATION:Raiffeisen Lecture Hall\, Central Building\, ISTA
ORGANIZER:kzaruba@ist.ac.at
SUMMARY:Luca Cardelli: Programming with chemical reactions
URL:https://talks-calendar.ista.ac.at/events/44
END:VEVENT
END:VCALENDAR