主题词：Logic, Reasoning, and Knowledge; Formal Methods in Verification; Logic, programming, and type systems; semigroups and automata theory; Rough Sets and Fuzzy Logic; Advanced Algebra and Logic; DNA and Biological Computing; Petri Nets in System Modeling; Semantic Web and Ontologies; Computability, Logic, AI Algorithms; Algorithms and Data Compression; Data Mining Algorithms and Applications; Data Management and Algorithms; Advanced Database Systems and Queries; Cellular Automata and Applications; Natural Language Processing Techniques; Business Process Modeling and Analysis; Constraint Satisfaction and Optimization; Distributed systems and fault tolerance; Multi-Agent Systems and Negotiation; Model-Driven Software Engineering Techniques; Advanced Graph Theory Research; Machine Learning and Algorithms; Modular Robots and Swarm Intelligence; Service-Oriented Architecture and Web Services