Activities
 
Recent Projects
  1. •REACT: Robust theories for Emerging Applications in Concurrency Theory.
  2.     Participants:
  3. *Colciencias (Colombian government agency for research)
  4. *Universidad Javeriana-Cali
  5. *IRCAM (Paris)
  6. *Ecole Polytechnique (Paris)
  7. •GEOZ: Integrating Gecode into the Mozart Programming System
  8.     Participants:
  9. *Universidad Javeriana-Cali
  10. *Université de Louvain (Belgium)
  11. •CRISOL: Constraint Research for Innovation in Software Solutions (2002-2005) Participants: Colciencias, Universidad javeriana-Cali, Universidad del Valle, Parque Tecnológico de Software de Cali
  12. •COCOS: COnstraints and COncurrency in Security
  13. Participants: Universidad Javeriana-Cali, LIX,Ecole Polytechnique (Paris)
 
Program committees
  1. •Reviewer of Constraints journal, International Computer Music conference (ICMC)
  2. •Latin American Informatics Conference (CLEI)
  3. •Guess editor, Clei Electronic Journal (2006)
  4.