FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
VEMDP PROGRAM
Wednesday, July 18th
10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
19:15-21:30 Workshops dinner at Magdalen College

Workshops dinner at Magdalen College. Drinks reception from 7.15pm, to be seated by 7:45 (pre-booking via FLoC registration system required; guests welcome).

Location: Magdalen College
Thursday, July 19th

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

09:00-10:00 Session 131G: Invited talk: A. Turberfield
Chair:
Lulu Qian
Location: Maths L6
09:00
Andrew Turberfield
Controlling Assembly and Function of DNA Nanostructures and Molecular Machinery (abstract)
10:00-10:30 Session 132
Chair:
Lulu Qian
Location: Maths L6
10:00
Keenan Breik, Chris Thachuk, Marijn Heule and David Soloveichik
Computing properties of stable configurations of thermodynamic binding networks (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 133G
Chair:
Alessandro Abate
Location: Maths L6
11:00
Jakob Lykke Andersen, Christoph Flamm, Daniel Merkle and Peter F. Stadler
Rule-Based Gillespie Simulation of Chemical Systems (abstract)
11:20
Carlo Spaccasassi, Matthew Lakin and Andrew Phillips
Rule-based design of computational DNA devices (abstract)
11:40
Tomislav Plesa, Radek Erban, Konstantinos Zygalakis and David Anderson
Noise control for molecular computing (abstract)
12:00
Luca Laurenti, Marta Z Kwiatkowska, Attila Csikász-Nagy and Luca Cardelli
Molecular Filters for Noise Reduction (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 135G: Invited talk: SJ Dunn
Chair:
Erik Winfree
Location: Maths L6
14:00
Sara-Jane Dunn
Uncovering the Biological Programs that Govern Development (abstract)
15:00-15:30 Session 136
Chair:
Erik Winfree
Location: Maths L6
15:00
Gareth Molyneux, Viraj Brian Wijesuriya and Alessandro Abate
Bayesian Verification of Chemical Reaction Networks (abstract)
15:10
Alexandru Amarioarei, Frankie Spencer, Trandafir Romica, Gefry Barad, Ana Maria Dobre, Corina Itcus, Iris Tusa, Mihaela Paun, Andrei Paun and Eugen Czeizler
Computational Approaches for the Programmed Assembly of Nanocellulose Meshes (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 137F
Chair:
Neil Dalchau
Location: Maths L6
16:00
Stefan Badelt and Erik Winfree
Equivalence of chemical reaction networks in a CRN-to-DNA compiler framework. (abstract)
16:20
Robert F. Johnson
Using Transitivity and Modularity in Chemical Reaction Network Bisimulation (abstract)
16:40
Ken Chanseau Saint-Germain and Jerome Feret
Conservative approximations of polymers (abstract)
17:00
Matej Troják, Jakub Šalagovič, David Šafránek, Jan Červený, Lubos Brim and Matej Hajnal
Executable Biochemical Space for Specification and Analysis of Biochemical Systems (abstract)
17:20
Hillel Kugler, Till Korten, Stefan Diez and Dan Nicolau Jr.
Formal Verification of Network-Based Biocomputation Circuits (abstract)