VII Conference
Computer Methods and Systems CMS’09

Kraków, Poland, November 26-27 2009

Organizer: 	                  AGH University of Science and Technology, Chair of Automatics

Program Committee:   Chair - Ryszard Tadeusiewicz
                                    Vice-chair - Józef Korbicz 

Venue:                        Kraków, Poland, Hotel Novotel Bronowice 

Program:                     Workshop on Mathematical Modelling, Control and Optimization
                                            organizers: Adam Korytowski i Wojciech Mitkowski
                                    Workshop on Knowledge Engineering and Intelligent Systems
                                            organizers: Antoni Ligeza i Grzegorz J. Nalepa
                                    Workshop on Scientific and Engineering Computing
                                            organizers: Maciej Szymkat i Andrzej Turnau

Language:                    English, (Polish presentation acceptable)

Publication:                  Conference proceedings - all accepted papers
                                     Recommended papers  - International Journal of Applied Mathematics and Computer Science 
Contact:                        e-mail: cms@agh.edu.pl, conference web-site: http://www.cms.agh.edu.pl/

Conference fee:            550 PLN³ per person covers proceedings, lunches, coffee breaks and conference dinner.

Important dates:	
                                    15.05.2009                  Abstracts submission 
                                    30.06.2009                  Notification of acceptance of the presentation	
                                    01.10.2009                  Deadline for submission of final versions of papers

Topics:

Mathematical Modelling, Control and Optimization
* modelling of discrete and continuous systems
* dynamic optimization
* mathematical methods in optimal control
* distributed parameter systems 
* stability and sensitivity analysis
* optimization of switched systems
* algorithms of nonlinear optimization
* discrete optimization 
* stochastic optimization

Knowledge Engineering and Intelligent Systems
* artificial intelligence
* intelligent systems
* knowledge engineering
* rule-based systems and business rules: design, tools, implementation, applications, verification
* knowledge representation, reasoning and management
* semantic web technologies
* semantic wikis and social networks 
* ontologies in practical knowledge engineering 
* database and knowledge base management in AI systems 
* design, evaluation and verification of intelligent systems 
* practical tools for intelligent systems 
* declarative, logic-based approaches, tools and applications
* Prolog, logic programming, practical applications 
* constraint programming, constraint problem solving, constraint logic programming
* inductive logic programming
* knowledge discovery and data mining
* knowledge visualization
* logic for artificial intelligence
* attributive logics, description logics
* web intelligence, web mining, web services
* ontologies in practical knowledge engineering 
* intelligent agent technology
* intelligent information systems, decision support systems
* spatial and temporal knowledge representation and inference
* Geographical Information Systems (GIS)

Scientific and engineering computing
* numerical methods and algorithm development
* analytical approaches and computer algebra systems
* MATLAB problem solving environment
* visualization and computer graphics
* neural networks and fuzzy logic systems
* multi-domain simulation
* applications in genetics, biology and medicine
* rapid prototyping and hardware-in-the-loop simulation 
* automatic code generation and cosimulation 
* physical modelling for electronics, mechanics and power systems 
* DSP algorithms and applications 
* image processing and recognition