Research Areas

Areas and topics:

• Declarative Programming:
  sequential and parallel logic programming systems, tabling, sequential and parallel inductive logic programming systems, deductive databases, data-mining.
• Information and Communication Networks:
  adhoc and sensor networks, quality of service, secure network communications.
• Innovative applications:
  competitive learning environments, contest management systems, integrated environments for XML development, automatic generation of maths drills, geo-referenced data processing.
• Logic, Language and Computation:
  complexity theory, formal systems, symbolic constraints and type-logic grammars, logics for multi-agents systems, combinatorics and algorithmic graph theory.
• Modelling of Cognitive-Behavioural Systems:
  knowledge representation for intelligent distributed systems, modelling of cognitive and behavioural systems.
• Optimization, Constraints and Heuristics:
  guard location problems, assignment and matching problems, heuristics for practical production planning, meta-heuristics for general MIPs, meta-heuristics for semi-automated timetabling.
• Parallel and Distributed Systems:
  concurrency, distribution and mobility, parallel programming environments, peer-to-peer systems, scheduling and meta-scheduling for the grid.