FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
VEMDP CAMERA-READY ABSTRACTS

Editors: Nicola Paoletti and Frits Dannenberg

AuthorsTitlePaperTalk
Sara-Jane DunnUncovering the Biological Programs that Govern Development
Andrew J. TurberfieldControlling Assembly and Function of DNA Nanostructures and Molecular Machinery
Luca Laurenti, Attila Csikász-Nagy, Marta Kwiatkowska and Luca CardelliMolecular Filters for Noise ReductionJul 19 12:00
Hillel Kugler, Till Korten, Stefan Diez and Dan Nicolau Jr.Formal Verification of Network-Based Biocomputation CircuitsJul 19 17:20
Matej Troják, Jakub Šalagovič, David Šafránek, Jan Červený, Luboš Brim and Matej HajnalExecutable Biochemical Space for Specification and Analysis of Biochemical SystemsJul 19 17:00
Carlo Spaccasassi, Matthew Lakin and Andrew PhillipsRule-based Design of Computational DNA DevicesJul 19 11:20
Tomislav Plesa, Konstantinos Zygalakis, David Anderson and Radek ErbanNoise Control for Molecular ComputingJul 19 11:40
Ken Chanseau Saint-Germain and Jérôme FeretConservative Approximations of PolymersJul 19 16:40
Robert F. JohnsonUsing Transitivity and Modularity in Chemical Reaction Network BisimulationJul 19 16:20
Stefan Badelt and Erik WinfreeEquivalence of Chemical Reaction Networks in a CRN-to-DNA Compiler FrameworkJul 19 16:00
Keenan Breik, Chris Thachuk, Marijn Heule and David SoloveichikComputing Properties of Stable Configurations of Thermodynamic Binding NetworksJul 19 10:00
Jakob Lykke Andersen, Christoph Flamm, Daniel Merkle and Peter F. StadlerRule-Based Gillespie Simulation of Chemical SystemsJul 19 11:00
Gareth Molyneux, Viraj Brian Wijesuriya and Alessandro AbateBayesian Verification of Chemical Reaction NetworksJul 19 15:00
Alexandru Amarioarei, Frankie Spencer, Corina Itcus, Iris Tusa, Ana Maria Dobre, Gefry Barad, Romica Trandafir, Mihaela Paun, Andrei Paun and Eugen CzeizlerComputational Approaches for the Programmed Assembly of Nanocellulose MeshesJul 19 15:10