Loading…
CP 2016 has ended
Workshop: Bioinformatics [clear filter]
Monday, September 5
 

09:00

Constraint-Based Methods for Bioinformatics Workshop
    See presentations
  • 09h00-09h30: Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli. Logic Programming Applied to Genome Evolution in Cancer

  • 09h30-10h00: Katinka Becker, Martin Gebser, Torsten Schaub and Alexander Bockmayr. Answer Set Programming for Logical Analysis of Data


Moderators
avatar for Simon Degivry

Simon Degivry

INRA MIAT

Speakers
avatar for Alessandro Dal Palù

Alessandro Dal Palù

University of Parma


Monday September 5, 2016 09:00 - 10:00
B201 Bosco building

10:30

Constraint-Based Methods for Bioinformatics Workshop
    See presentations
  • 10h00-10h30: Louis Fippo Fitime, Olivier Roux, Carito Guziolowski and Loïc Paulevé. Identification of Bifurcations in Biological Regulatory Networks using Answer-Set Programming

  • 10h30-11h00: Jean-Marc Alliot, Martín Diéguez and Luis Farinas del Cerro. Metabolic Pathways as Temporal Logic Programs

  • 11h00-11h30: Martin Morterol, Philippe Dague, Sabine Peres and Laurent Simon. Minimality of Metabolic Flux Modes under Boolean Regulation Constraints


Moderators
avatar for Agostino Dovier

Agostino Dovier

University of Udine

Speakers
LF

Louis Fippo Fitime

Ecole Centrale de Nantes, IRCCyN UMR CNRS 6597
MM

Martin Morterol

Université Paris Sud


Monday September 5, 2016 10:30 - 12:00
B201 Bosco building

13:30

Constraint-Based Methods for Bioinformatics Workshop
    See presentations
  • 13h30-14h00: Clément Viricel, David Simoncini, Thomas Schiex and Sophie Barbe. Guaranteed Weighted Counting for Affinity Computation: beyond Determinism and Structure (CP2016 paper)

  • 14h00-14h30: Maryana Wånggren, Martin Billeter, and Graham Kemp. Computational protein modelling based on limited sets of constraints

  • 14h30-15h00: Ludwig Krippahl and Pedro Barahona. Improving protein docking with redundancy constraints (CP2016 paper)


Moderators
avatar for Alessandro Dal Palù

Alessandro Dal Palù

University of Parma

Speakers
avatar for Pedro Barahona

Pedro Barahona

Universidade NOVA de Lisboa
avatar for Clément Viricel

Clément Viricel

PhD Student, INRA
MW

Maryana Wånggren

Chalmers University of Technology
Protein modelling


Monday September 5, 2016 13:30 - 15:00
B201 Bosco building

15:30

Constraint-Based Methods for Bioinformatics Workshop
    See presentations
  • 15h30-16h00: Sebastien François, Rumen Andonov, Hristo Djidjev and Dominique Lavenier. Global Optimization Methods for Genome Scaffolding

  • 16h00-16h30: Eric Bourreau, Annie Chateau, Clément Dallard and Rodolphe Giroudeau. A Graph Constraints Formulation for Contigs Scaffolding

  • 16h30: WCB16 Concluding Remarks

Moderators
Speakers
avatar for Rumen Andonov

Rumen Andonov

INRIA/University of Rennes 1
avatar for Annie Chateau

Annie Chateau

LIRMM - UM


Monday September 5, 2016 15:30 - 17:00
B201 Bosco building