|
7:30 - 7:50 |
Continental Breakfast |
|
7:50 - 8:00 |
Introductory Remarks (Gifford, Winfree) |
|
|
|
|
SESSION I: Satisfying Experiments - Program Chair - Erik Winfree |
|
8:00 - 8:30 |
"When the Knight Falls:
On Constructing an RNA Computer" |
|
Dirk Faulhammer, Anthony R. Cukras,
Richard J. Lipton, Laura F. Landweber |
|
8:30 - 9:00 |
"Solution to 3-SAT by Breadth
First Search" |
|
|
Hiroshi Yoshida, Akira Suyama |
|
9:00 - 9:30 |
"DNA Computing on Surfaces" |
|
|
Qinghua Liu, Anthony G. Frutos,
Liman Wang, Anne E. Condon, Robert M. Corn, Lloyd M. Smith |
|
9:30 - 10:00 |
Coffee Break / Poster Session |
|
10:00 -10:30 |
"In vitro Selection for
a Max 1s DNA Genetic Algorithm" |
|
|
Junghuei Chen, Eugene Antipov, Bertrand
Lemieux, Walter Cedeno, David Harlan Wood |
|
10:30 - 11:00 |
"Liposomal-Mediated Biomolecular
Computation" |
|
|
Brian Bloom, Carter Bancroft |
|
11:00 - 11:05 |
Poster Highlight: "Error
Correction in DNA Computing" |
|
|
Kevin Chen, Erik Winfree |
|
11:05 - 11:30 |
Discussion of satisfying experiments |
|
|
Panelists: authors + John Reif and
Richard Lipton |
|
11:30 - 1:00 |
Lunch |
|
1:00 - 2:00 |
Invited Speaker -
"New molecular strategies for joining, pairing, and amplifying DNA" |
|
|
Eric T. Kool |
|
|
|
|
SESSION II: Simulation and
Design - Program Chair: David Gifford |
|
2:00 - 2:30 |
"DNA Analog Vector Algebra and Physical Constraints on Large-Scale DNA-Based Neural Network Computation" |
|
|
A. P. Mills Jr., B. Yurke, and P.
M. Platzman |
|
2:30 - 3:00 |
"On Combinatorial DNA Word
Design" |
|
|
Amit Marathe, Anne E. Condon, Robert
M. Corn |
|
3:00 - 3:30 |
Coffee Break / Poster Session |
|
3:30 - 4:00 |
"Soft Molecular Computing" |
|
|
Max Garzon, Russel J. Deaton, John
A. Rose, Donald R. Franceschetti |
|
4:00 - 4:30 |
"A Study on the Hybridization
Process in DNA Computing" |
|
|
Masahito Yamamoto, Jin Yamashita,
Toshikazu Shiba, Takuo Hirayama, Shigeharu Takiya, Keiji Suzuki,
Masanobu Munekata, Azuma Ohuchi |
|
4:30 - 5:00 |
"Simulating Biological
Reactions: A Modular Approach" |
|
|
Alexander J. Hartemink, Tarjei
S. Mikkelsen, David K. Gifford |
|
5:00 - 5:30 |
Discussion of simulation and
design |
|
|
Panelists: authors + Hagiya
and Knight |
|
5:30 - 6:15 |
Coffee Break / Poster Session /
Software Demo |
|
6:15 - 7:30 |
Boston Duck Tour (advanced registration required - send email to darling@psrg.lcs.mit.edu) |
|
8:00 - 10:00 |
Dinner - University Hotel - Luscomb Ball Room |
| (advanced registration required - send email to darling@psrg.lcs.mit.edu) |
|
SESSION III: Self-assembly
and Nanomachines - Program Chair: Nadrian Seeman |
|
8:00 - 8:30 |
"Experimental Progress in
Computation by Self-Assembly of DNA Tilings" |
|
|
Thomas H. LaBean, Erik Winfree,
John H. Reif |
|
8:30 - 9:00 |
"2D DNA Self-Assembly for
Satisfiability" |
|
|
Michail G. Lagoudakis, Thomas H.
LaBean |
|
9:00 - 9:30 |
"YAC: Yet Another Computation
Model of Self-Assembly" |
|
|
Takashi Yokomori |
|
9:30 - 10:00 |
Coffee Break / Poster Session |
|
10:00 -10:30 |
"DNA Hybridization Catalysts and Molecular Tweezers" |
|
|
A. J. Turberfield, B. Yurke, A.
P. Mills, Jr. |
|
10:30 - 11:00 |
"Designing and Selecting
Components for Nucleic Acid Computers" |
|
|
Michael P. Robertson, Jay Hesselberth,
J. Colin Cox, Andrew D. Ellington |
|
11:00 - 11:30 |
Discussion of self-assembly and
nanomachines |
|
|
Panelists: authors + Winfree and
Seeman |
|
11:30 - 1:00 |
Lunch |
|
|
|
|
SESSION IV: Theoretical Perspectives - Program Chair: Grzegorz Rozenberg |
|
1:00 - 1:30 |
"Forbidding and Enforcing" |
|
|
Andrzej Ehrenfeucht, Hendrik Jan
Hoogeboom, Grzegorz Rozenberg, Nike van Vugt |
|
1:30 - 2:00 |
"Computational Power of
Gene Rearrangement" |
|
|
Lila Kari, Laura F. Landweber |
|
2:00 - 2:30 |
"Membrane Computing Based
on Splicing" |
|
|
Gheorghe Paun, Takashi Yokomori |
|
2:30 - 3:00 |
Coffee Break / Poster Session |
|
3:00 - 3:30 |
"A Mechanical Turing Machine:
Blueprint for a Biomolecular Computer" |
|
|
Ehud Shapiro |
|
3:30 - 4:00 |
"DNA-based Cryptography" |
|
|
Ashish Gehani, Thomas H. LaBean, John H. Reif |
|
4:00 - 4:10 |
"Genomic Steganography: Amplifiable Microdots" |
|
|
Carter Bancroft, Catherine Taylor Clelland, Viviana Risca |
|
4:10 - 4:40 |
Discussion of theoretical perspectives |
|
|
Panelists: authors + Rozenberg and
Condon |
|
4:40 - 4:50 |
DNA 2000: Leiden -- Grzegorz Rozenberg |
|
4:50 - 5:20 |
Discussion: The Future, The Funding,
The Journals |
|
|
Panelists: Gifford, Kari, Ellington,
Landweber |
|
5:20 |
Farewell |
