VSL 2014: VIENNA SUMMER OF LOGIC 2014
VEMDP PROGRAM
Thursday, July 17th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 62H
Location: FH, Seminarraum 136
08:45
Marta Kwiatkowska
Opening remarks (abstract)
09:00
Andrew Phillips
Computational design of DNA strand displacement systems (abstract)
09:50
Casey Grun, Karthik Sarma, Brian Wolfe, Seung Woo Shin and Erik Winfree
A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 66AY
Location: FH, Seminarraum 136
10:45
Masami Hagiya
Molecular computers for molecular robots as hybrid systems (abstract)
11:40
Lulu Qian
DNA-based circuits in well-mixed and spatially organized systems (abstract)
12:10
Robert F. Johnson and Erik Winfree
Verifying Polymer Reaction Networks using Bisimulation (abstract)
12:35
Savas Konur, Christophe Ladroue, Harold Fellermann, Daven Sanassy, Laurentiu Mierla, Florentin Ipate, Sara Kalvala, Marian Gheorghe and Natalio Krasnogor
Modeling and Analysis of Genetic Boolean Gates Using the Infobiotics Workbench (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 75AZ
Location: FH, Seminarraum 136
14:30
Luca Cardelli
Morphisms of reaction networks that couple structure to function (abstract)
15:20
Seung Woo Shin, Chris Thachuk and Erik Winfree
Verifying CRN Implementations: A Pathway Decomposition Approach (abstract)
15:45
Chris Thachuk
Lightning talks for posters/demos (abstract)
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Chair:
Matthias Baaz
Location: MB, Kuppelsaal
16:30
Kurt Gödel Research Prize Fellowships Program
Foundations and Technology Competitions Award Ceremony (abstract)
17:30
Floc Olympic Games
FLoC Olympic Games Award Ceremony 1 (abstract)
18:15
Helmut Veith
FLoC Closing Week 1 (abstract)
16:30-17:45 Session 80Q
Location: FH, Seminarraum 136
16:30
Aadithya V. Karthik, David Soloveichik, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert Brayton and Jaijeet Roychowdhury
Boolean modelling and formal verification of tiered-rate chemical reaction networks (abstract)
16:55
Vincent Danos
Formal mean field theories for graph rewriting (abstract)
17:20
Jean Krivine
Rule based modelling of DNA repair (abstract)
17:45-18:30 Session 83: Poster and demo session
Location: FH, Seminarraum 136
17:45
Casey Grun
DyNAMiC Workbench: Automated design and verification of dynamic DNA nanosystems (abstract)
17:45
Philip Boeing, Darren Nesbeth, Anthony Finkelstein and Chris P Barnes
An Aspect Oriented Design and Modelling Framework for Synthetic Biology (abstract)
17:45
Frits Dannenberg, Milan Ceska, Nicola Paoletti and Marta Kwiatkowska
Guiding the development of DNA walker systems to guarantee reliability and performance (abstract)
17:45
Neil Dalchau
Software tools for analysing the chemical master equation (abstract)
17:45
Paolo Milazzo and Giovanni Pardini
Identification of Components and Modular Verification of Biochemical Pathways (abstract)
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter