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:
  PEPM'09: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Savannah, Georgia, USA. January 19 - 20 2009. Collocated with POPL'09.
  BYTECODE09: 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation WLPE08: 18th International Workshop on Logic-based methods in Programming Environments
  PLID08: 4th International Workshop on Programming Language Interference and Dependence
  PPDP08: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
  FLOPS08: Ninth International Symposium on Functional and Logic Programming
  DAMP08: POPL WS on Declarative Aspects of Multicore Programming

• (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: Sun Mar 8 09:53:49 2009