LOGPROG: Logics and Programming
 Sections
  Homepage
  People
  Research
  Publications
  Prizes & Distinctions
  Projects
  In the media
  Agenda
  Activities
  Visitors
  Former members
  Contact

A SAT instance:

 Quote of the day

Logic is the calculus of computer Science.

The Logical Basis for Computer Programming
Manna, Waldinger


 Projects

Projects funded by the Spanish Ministry of Science and Education:

  • SweetLogics
  • LogicTools - II
  • LogicTools - I

European projects:

  • ICARUS (ESPRIT)
  • COMPASS (ESPRIT WG)
  • CCL (ESPRIT WG)
  • Medicis (Human Capital and Mobility Network)
  • Console (Human Capital and Mobility Network)