1. 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, korona@ipipan.waw.pl

2. 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, stw@ipipan.waw.pl AREA :INTELLIGENT NAVIGATION, DATA/TEXT MINING

3. 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, sered@ipipan.waw.pl AREA :INTRUSION DETECTION, SECURITY

4. 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, subieta@ipipan.waw.pl AREA : DATA BASES APPLICATIONS

5. 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, Wojciech.Penczek@ipipan.waw.pl AREA : CORRECTNESS OF SAFETY-CRITICAL SYSTEMS

6. 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: www.ipipan.waw.pl AND IN THE FOLLOWING AREAS (for more info please see our booklet):