Projects

CALLAS - Calculi and Languages for Sensor Networks
Status: Concluded  Dates: 2008 - 2010 Duration: 2 years  - STAMPA: Sophisticated TAbling Mechanisms for Prolog and their Applications
Status: Concluded  Dates: 2008 - 2010 Duration: 2 years  - Daidalos II - Designing Advanced network Interfaces for the Delivery and Administration of Location independent, Optimised personal Services
Status: Concluded  Dates: 2006 - 2008 Duration: 2 years  -  EduJudge - Integrating Online Judge into effective e-learning
Status: Concluded  Dates: 2008 - 2011 Duration: 3 years  -  JEDI - a Joint Environment for Deduction and Induction - and its application over spatial data
Status: Concluded  Dates: 2008 - 2010 Duration: 2 years  - MYDDAS: MySQL/Yap Deductive Database System
Status: Concluded  Dates: 2005 - 2008 Duration: 3 years  - Palco 3.0
Status: Concluded  Dates: 2008 - 2011 Duration: 3 years  - Site-O-Matic - Web Site Automation
Status: Concluded  Dates: 2005 - 2008 Duration: 3 years  - AGILMAT: Automatic Generation of Interactive Drills for Mathematics Learning
Status: Concluded  Dates: 2003 - 2006 Duration: 3 years  - MIMO: Models and Infra-Structures for Mobile Computations
Status: Concluded  Dates: 2002 - 2005 Duration: 3 years