1 INSTYTUT PODSTAW INFORMATYKI PAN OR INSTITUTE OF COMPUTER SCIENCE, POLISH ACAD. SCI. (56 scientists, including 49 Ph.D.’s) IN THE FOLLOWING AREAS: OFFER OF PARTNERSHIP FROM Presenting: J. Koronacki,
2 IMPORTANT FOR: Recommender systems, automated knowledge generation from large databases for health, service and industrial sectors, e-commerce, e-banking, CRM, knowledge engineering, fraud detection, credit risk assessment. NOVEL SOLUTIONS: New technologies for large Bayesian networks, artificial immune systems and statistical data analysis, with proprietary softwares implemented. Contact person: Slawomir Wierzchon, IPI PAN, AREA :INTELLIGENT NAVIGATION, DATA/TEXT MINING
3 IMPORTANT FOR: Security and performance issues in mobile and computer network environment, private and public key cryptography and safety of banking operations via Internet, fraud detection in mobile communication. NOVEL SOLUTIONS: New implementations of evolutionary algorithms and neural networks, cellular automata and artificial immune systems. Contact person: Franciszek Seredynski, IPI PAN, AREA :INTRUSION DETECTION, SECURITY
4 IMPORTANT FOR: Distributed databases and their communication protocols via user friendly interfaces to existing databases facilitating their integration, data transfer and uniform querying. NOVEL SOLUTIONS: Stack-based approach to query language and programming language integration within object-oriented environment. Contact person: Kazimierz Subieta, IPI PAN, AREA : DATA BASES APPLICATIONS
5 IMPORTANT FOR: E-commerce and e-banking, WEB secure applications, safe data trasfer and communication protocols, remote systems user identification, safe access to distributed databases. NOVEL SOLUTIONS: Efficient model checking of specifications. In particular, given in: TCTL, CTL, CTL+K via translation to SAT-solvers. Contact person: Wojciech Penczek, IPI PAN, AREA : CORRECTNESS OF SAFETY-CRITICAL SYSTEMS
6 WEB SERVICES, RECONFIGURABLE MULTIAGENT SYSTEMS z SOFTWARE DEVELOPMENT z COMMUNICATION, COMPUTING AND SOFTWARE TECHNOLOGIES z SOFTWARE SPECIFICATION AND VALIDATION z LANGUAGE TECHNOLOGY z DECISION PROCESSES, MATHEMATICAL AND GAME- THEORETIC TECHNIQUES INSTITUTE’S WEBSITE: AND IN THE FOLLOWING AREAS (for more info please see our booklet):