9. SYNASC 2007: Timisoara, Romania

Invited Talks

Automated Reasoning and Formal Verification

Parallel and Distributed Computing

Formal Verification and Software Quality

Symbolic and Numeric Algorithms

Data Mining

Formal Verification and Security

Image and Text Processing

ACSys: Workshop on Agents for Complex Systems

GridCAD: Workshop on Grid Computing Applications Development

IMNE: Workshop on Iterative Methods for Nonlinear Equations

NCA: Workshop on Natural Computing and Applications

RTES: Workshop on Real Time and Embedded Systems

RuleApps: Workshop on Rule-Based Applications

WfPM: Workshop on Workflows and Process Management