| |||||||||||||||
CMS 2009 : Knowledge Engineering and Intelligent Systems at Computer Methods and Systems CMS09 | |||||||||||||||
Link: http://www.cms.agh.edu.pl/ | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
VII Conference
Computer Methods and Systems CMS09 Krakw, Poland, November 26-27 2009 Organizer: AGH University of Science and Technology, Chair of Automatics Program Committee: Chair - Ryszard Tadeusiewicz Vice-chair - Jzef Korbicz Venue: Krakw, Poland, Hotel Novotel Bronowice Program: Workshop on Knowledge Engineering and Intelligent Systems organizers: Antoni Ligeza, Grzegorz J. Nalepa Workshop on Mathematical Modelling, Control and Optimization organizers: Adam Korytowski, Wojciech Mitkowski Workshop on Scientific and Engineering Computing organizers: Maciej Szymkat, Andrzej Turnau Language: English 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 (around 130EUR) per person covers proceedings, lunches, coffee breaks and conference dinner. Important dates: 15.06.2009 Abstracts submission (extended) 30.06.2009 Notification of acceptance of the presentation based on abstracts 01.10.2009 Deadline for submission of full versions of papers Paper/abstract submission: http://www.easychair.org/conferences/?conf=cms2009 Topics: 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) 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 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 |
|