Speaker:
Alessandro Dal Palu

Time and Location:
1:30pm,  9/13/04 (Monday) in Science Hall 124

Title: Protein folding in Constraint Logic Programming over Finite Domains

Abstract:

The protein folding problem can be regarded as the prediction of the three
dimensional structure of a protein, given its sequence (primary
structure). The talk presents a feasible approach to this problem,
involving the techniques offered by constraints and by logic programming.
It is possible to model this NP-c problem on a discrete space and to
search efficiently among the possible conformations.