The research directions pursued by CRACS encompass a broad number of issues related to scalable computing as listed next:

1. Computational Models and Languages for Scalable Computing
   •     Implementation of Logic Programming Systems
     •     Yap Prolog system
     •     Logtalk system
     •     Extensions for tabling and constraints
     •      Support for multi-platform OS (Linux, MacOS, Windows)
   •    Programming Languages for Mobile Computing and Sensor Networks
     •     process calculi based languages
     •     virtual machine specification and implementation,
     •     formal methods for robust programming
   •    Parallel Logic Programming and Inductive Logic Programming systems
     •     Parallel and distributed systems
     •     Run-time systems for multicore architectures
     •     Scheduling
   •    Grid Computing
     •     Application Descritpion Languages and environments
     •     (Meta-)Scheduling
     •     High performance applications
   •    Middleware Infrastructures
     •     Peer-to-peer frameworks
     •     Hard real-time control software for autonoumous vehicles
   •    Performance Evaluation
2. Information Mining and Web-Based Systems
   •     Machine Learning and Discovery
     •     Inductive Logic Programming
     •     Statistical Relational Learning
     •     Ubiquitous Data Streams
     •     Biologically Inspired Computing
   •     Applications
     •     Pattern Discovery in Genomics and Proteomics
     •     Analysis of Gene Expression Data
     •     Understanding Cellular Pathways
     •     Clinical Analysis
     •     Intrusion Detection Systems
     •     SPAM Classification
   •     Semantic Digital Libraries
     •     Automatic classification and categorization of files
     •     Repository of educational contents based on ontologies
     •     Federation of repositories
     •     Folksonomy
   •     e-Learning Environments and Tools
     •     Repository of shareable content objects
     •     Automatic evaluation of programming problems
     •     online interaction visualization methods (iGraphs)
     •     Tools for assessing online cooperative work
     •     Creation of automatic personalized instruction
   •     Service Oriented Architectures and Open Data
     •     Service oriented computing in web adaptability and e-learning environments
     •     XML/Ajax based Web development
     •     XML dialets and tools