Welcome to the CLIP Lab DIA and DLSIIS, at FIM-UPM CS and EECE, at UNM

The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP site search

• Members
• Job openings (Lab and Ph.D. scholarships, postdocs, etc.)
  
• Publications by Research Topic and by Year
  (see also our older FTP Reports Archive)
• Software and docs
  Ciao Beta Version 1.13.0 available!. The latest development version of Ciao.
  Ciao Latest Automatically Released Version 1.13.0 available!. Each day, if changes has been introduced, a set of CiaoDE installers is automatically generated. Use at your own risk.
  Ciao Version 1.10p8 available.
• Projects
• Location and resources
• The CLIP ftp server
• Some conferences currently or recently (co-)organized by the CLIP group:
  • 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL'10. Madrid, Spain, Jan 20-22, 2010.
  • 11th International Conference on Verification, Model Checking, and Abstract Interpretation. Jan 17-19, Madrid, Spain. Co-located with POPL'10.
  • 12th International Symposium on Practical Aspects of Declarative Languages PADL'10. Jan 18-19, Madrid, Spain. Co-located with POPL'10.
  • PEPM'09: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Savannah, Georgia, USA. January 19 - 20 2009. co-located with POPL'09.
  • BYTECODE09: 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation

• Local cache of CORE conference and journal ratings
• (Constraint) Logic Programming repositories
• Internet and WWW programming using LP and CLP

• WWW server statistics from Oct. 1998 on (and 1994 to Oct. 1998).

The West Lab		The East Lab

Note for Spanish-speaking visitors. <webmaster@clip.dia.fi.upm.es> Last modified: Fri Dec 4 18:01:11 2009