PROGRAM

Fourth International Meeting on DNA-Based Computing

• June 15, Monday, the first day of the meeting.
  AFTERNOON: Tutorial session. Chaired by David Harlan Wood.
  • 1:00 "Tutorial on formal language theory"
    Grzegorz Rozenberg, Hendrik Jan Hoogeboom
  • 2:45 Coffee break
  • 3:15 "Tutorial on basic DNA lab technology for DNA computers"
    Junghuei Chen
  
  
• June 16, Tuesday, the second day of the meeting.
  MORNING: Bio-algorithms (experimental). Chaired by Leonard Adleman and Lila Kari.
  • 9:00 "The evolution of cellular computing: Nature's solution to a computational problem"
    Laura Landweber, Lila Kari
  • 9:40 "A biomolecular implementation of logically reversible computation with minimal energy dissipation"
    Harvey Rubin, Joshua Klein, Thomas Leete
  • 10:20 Coffee break
  • 11:00 "Progress towards demonstration of a surface based DNA computation: A one word approach to solve a model satisfiability problem"
    Qinghua Liu, Anthony Frutos, Liman Wang, Andrew Thiel, Susan Gillmor, Todd Strother, Anne Condon, Robert Corn, Max Lagally, Lloyd Smith
  • 11:40 "Chess games: A model for RNA-based computation"
    Anthony Cukras, Dirk Faulhammer, Richard Lipton, Laura Landweber
  
  
• June 16, Tuesday, the second day of the meeting.
  AFTERNOON: Models of DNA computation. Chaired by Masami Hagiya.
  • 2:00 "New computing paradigms suggested by DNA computing by carving"
    Vincenzo Manca, Carlos Martin-Vide, Gheorghe Paun
  • 2:40 "Algebraic properties of DNA operations"
    Zhuo Li
  • 3:20 Coffee break
  • 4:00 "The bounded complexity of DNA computing"
    Max Garzon, Natasa Jonoska
  • 4:40 "A universal time-varying distributed H system of degree 2"
    Maurice Margenstern, Yurii Rogozhin
  
  EVENING: 5:30 pm to 7:00 pm RECEPTION
  
  
• June 17, Wednesday, the third day of the meeting.
  MORNING: Biochemical techniques for DNA computing. Chaired by Laura Landweber.
  • 9:00 "State transitions by molecules"
    Kensaku Sakamoto, Daisuke Kiga, Ken Komiya, Hidetaka Gouzu, Shigeyuki Yokoyama, Shuji Ikeda, Hiroshi Sugiyama, Masami Hagiya
  • 9:40 "Design and implementation of computational systems based on programmed mutagenesis"
    Julia Khodor, David Gifford
  • 10:20 Coffee break
  • 11:00 "Applying error correcting codes to DNA computing"
    David Harlan Wood
  • 11:40 "Towards a DNA solution to the shortest common superstring problem"
    Greg Gloor, Lila Kari, Michelle Gaasenbeek, Sheng Yu
  
  
• June 17, Wednesday, the third day of the meeting.
  AFTERNOON: Perspectives. Chaired by David Harlan Wood.
  • 2:00 "Molecular and evolutionary computation: The tug of war between context freedom and context sensitivity"
    Michael Conrad
  • 2:40 "After the Turing machine: A metamodel for molecular computing"
    Toni Kazic
  • 3:20 Coffee break
  • 4:00 "The cell as a DNA-based molecular computer"
    Sungchul Ji
  • 4:40 "On solving a 3CNF-Satisfiability with an in vivo algorithm"
    Tony Eng
  
  
• June 18, Thursday, the fourth day of the meeting.
  MORNING: Proposed techniques. Chaired by Grzegorz Rozenberg.
  • 9:00 "Whiplash PCR for O(1) computing"
    Erik Winfree
  • 9:40 "Three dimensional DNA structures in computing"
    Natasa Jonoska, Stephen Karl, Masahico Saito
  • 10:20 Coffee break
  • 11:00 "Length bounded molecular computing"
    Bin Fu, Richard Beigel
  • 11:40 "Simulations of computing by self-assembly"
    Erik Winfree
  • 12:20 "DNA nanotechnology: Control of 1-D and 2-D arrays and the construction of a nanomechanical device"
    Nadrian Seeman, Furong Liu, Chengde Mao, Xiaoping Yang, Lisa Wenzler, Erik Winfree
  
  
• June 18, Thursday, the fourth day of the meeting.
  AFTERNOON: 2:30 - 3:30 Brief impromptu presentations and discussions.
  Chaired by Harvey Rubin.
  (Reserve through dna4-sub@csd.uwo.ca)
  • "Error-tolerant massive DNA neural-network computation"
    Allen Mills, Bernard Yurke, Philip Platzman
  
  
  AFTERNOON: 3:30 - 5:30 Poster session.
  • "Ligation errors in DNA computing"
    Tatsuo Yoshinobu, Yohei Aoi, Katsuyuki Tanizawa, Hiroshi Iwasaki
  • "Surface-based DNA computing operations: DESTROY and READOUT"
    Liman Wang, Qinghua Liu, Anthony Frutos, Susan Gillmor, Andrew Thiel, Todd Strother, Anne Condon, Robert Corn, Max Lagally, Lloyd Smith
  • "Counting DNA: Estimating the complexity of a test tube of DNA"
    Dirk Faulhammer, Richard Lipton, Laura Landweber
  
  EVENING: 6:30 pm to 7:15 pm RECEPTION, and 7:15 pm to 9:30 pm BANQUET
  
  
• June 19, Friday, the fifth day of the meeting.
  MORNING: Proposed applications. Chaired by Erik Winfree.
  • 9:00 "Micro flow bio-molecular computation"
    Ashish Gehani, John Reif
  • 9:40 "A memory based attack on cryptosystems with application to DNA computing"
    Richard Lipton
  • 10:20 Coffee break
  • 11:00 "An O(2 n) volume molecular algorithm for Hamiltonian Path"
    Bin Fu, Richard Beigel, Fang-Xiao Zhou
  • 11:40 "Automated constraint-based nucleotide sequence selection for DNA computation"
    Alexander Hartemink, David Gifford, Julia Khodor
  • 12:20 Meeting closing

  ---

  Return to the homepage of the Fourth International Meeting on DNA-Based Computing
  

  ---

  Program of the Fourth International Meeting on DNA-Based Computing
  Compiled by Lila Kari / lila@csd.uwo.ca / Last revised June 14, 1998