09:00 - 09:30 | Registration |
09:30 - 09:40 | Opening |
09:40 - 10:30 | Tatsuya Akutsu. Algorithms for Analysis and Control of Boolean Networks - Invited lecture |
10:30 - 11:00 | Coffee break |
11:00 - 12:15 |
Ricson Cheng, Matthew Dohlen, Chen Pekker, Gabriel Quiroz, Jincheng Wang, Ran Libeskind-Hadas and Yi-Chieh Wu. Reconciliation Feasibility of Non-binary Gene Trees under a Duplication-Loss-Coalescence Model
Andreas Dwi Maryanto Gunawan. Solving the Tree Containment Problem for Reticulation-visible Networks in Linear Time Leo van Iersel, Remie Janssen, Mark Jones, Yukihiro Murakami and Norbert Zeh. Polynomial-time Algorithms for Phylogenetic Inference Problems |
12:15 - 13:45 | Lunch |
13:45 - 14:35 | Ben Raphael. Algorithms for Cancer Evolution - Invited lecture |
14:35 - 14:50 | Break and Group photo |
14:50 - 16:05 |
Alexsandro Alexandrino, Carla Lintzmayer and Zanoni Dias. Approximation Algorithms for Sorting Permutations by Fragmentation-weighted Operations
Klairton Brito, Andre Rodrigues Oliveira, Ulisses Dias and Zanoni Dias. Heuristics for the Sorting Signed Permutations by Reversals and Transpositions Problem Guilherme Miranda, Carla Negri Lintzmayer and Zanoni Dias. Sorting Permutations by Limited-size Operations |
16:05 - 16:20 | Coffee break |
16:20 - 16:50 |
Poster session
Kun-Tze Chen and Chin Lung Lu. CSAR: A Contig Scaffolding Tool Using Algebraic Rearrangements Zhao Hongya, Zhao Lan and Yan Hong. A Multiscale Co-clustering Analysis for Tensor Data Based on Slice-wise Factorization Cristian Johanny MartÃnez Rey, Jonatan Gomez and Hernando Curtidor. Principal Component Analysis (PAC) to Predict Binding Peptides to Human Red Blood Cells |
17:00 - 19:00 | Touristic visit |
09:00 - 09:50 | Bin Ma. De Novo Protein Sequencing with Mass Spectrometry and Its Medical Applications - Invited lecture |
09:50 - 10:20 | Coffee break |
10:20 - 11:35 |
Michael Sadovsky, Sergey Tsarev and Maria Senashova. Fast Algorithm for Vernier Search of Long Repeats in DNA Sequences with Bounded Error Density
Eugen Czeizler, Alexandru Popa and Victor Popescu. Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem Chenqi Mou. Symbolic Detection of Steady States of Autonomous Differential Biological Systems by Transformation into Block Triangular Form |
11:35 - 11:50 | Break |
11:50 - 12:40 |
Jordi Silvestre-Ryan and Ian Holmes. Consensus Decoding of Recurrent Neural Network Basecallers
Ezra B. Wijaya, Erwandy Lim, David Agustriawan, Chien-Hung Huang, Jeffrey J.P. Tsai and Ka-Lok Ng. Utilizing Imputation and Meta-analysis to Identify DNA-methylation-mediated MicroRNAs in Ovarian Cancer |
12:40 - 12:50 | Closing |
12:50 - | Lunch |