|
|
|
|
|
| Preliminary Schedule |
| 17:00 - 22:00 | Registration |
| 7:00 - 8:15 | Registration | |
| 8:15 - 8:30 | Conference Opening |
| 8:30 - 9:30 | Vaughan R. Pratt: Software Geography: Physical and Economic Aspects (Keynote talk) |
| 10:00 - 11:00 | Jan van Leeuwen, Jiri Wiedermann: Beyond the Turing Limit: Evolving Interactive Systems (Invited talk) | |
| 11:20 - 12:20 | Nicola Santoro: Distributed Computations by Autonomous Mobile Robots (Invited talk) |
| 16:00 - 17:00 | Jan van Leeuwen, Jiri Wiedermann: Beyond the Turing Limit: Evolving Interactive Systems (cont.) (Invited talk) | |
| 17:30 - 18:30 | Bernadette Charron-Bost: Agreement Problems in Fault-Tolerant Distributed Systems (Invited talk) | |
| 20:00 | Raut |
| 8:30 - 9:30 | Vaughan R. Pratt: Prospects for concurrency theory: How to use a trillion transistors? (Invited talk) | |
| 10:00 - 11:00 | Nicola Santoro: Distributed Computations by Autonomous Mobile Robots (cont.) (Invited talk) | |
| 11:20 - 12:20 | Christos Kaklamanis: Recent Advances in Wavelength Routing (Invited talk) |
| 16:00 - 17:00 | Bernadette Charron-Bost: Agreement Problems in Fault-Tolerant Distributed Systems (cont.) (Invited talk) | |
| 17:30 - 18:30 | Christos Kaklamanis: Recent Advances in Wavelength Routing (cont.) (Invited talk) |
| 8:30 - 9:30 | Simon Lambert: Knowledge-Based Control Systems (Invited talk) | |
| 10:00 - 11:00 | Domenico Laforenza: From Metacomputing to Grid Computing: Evolution or Revolution? (Invited talk) |
| 11:20 - 12:20 | Jan Skrbek: Current challenges for E-Commerce in central European countries of economical transition (Plenary talk - Workshop on Electronic Commerce Systems) |
| 16:00 - 16:30 | Pablo Argon, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski: Model Checking Communication Protocols | |
| 16:30 - 17:00 | Zdenek Sawa, Petr Jancar: P-hardness of Equivalence Testing on Finite-State Processes | |
| 17:00 - 17:30 | Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmir Kretinsky: Multi-Agent Systems as Concurrent Constraint Processes | |
| 17:30 - 18:00 | Andreas Kocsor, Janos Csirik: Fast Independent Component Analysis in Kernel Feature Spaces |
| 14:00 - 14:10 | Hans-Dieter Zimmermann: Introduction | |
| 14:10 - 14:35 | Hans-Dieter Zimmermann: Design Concepts for Electronic Markets | |
| 14:35 - 15:00 | Pavol Fric: An affordable infrastructure of e-business | |
| 15:00 - 15:25 | Harald Hauschen: Secure and efficient agent-based resale | |
| 15:25 - 15:50 | Ladislav Hudec: Security of Web Applications |
| 16:15 - 16:40 | Martin Schonhoff, Henrik Stormer: ANAISOFT: An Electronic Marketplace for Workflow Trading | |
| 16:40 - 17:05 | Jaroslav Janacek: Security Aspects of Electronic Signatures | |
| 17:05 - 17:30 | Daniel Olejar: Electronic Commerce and Electronic Signatures | |
| 17:30 - 17:55 | Augustin Mrazik, Richard Ostertag: Internet Publishing and Cost Sharing | |
| 17:55 - 18:20 | Richard Ostertag, Augustin Mrazik: Case study of an e-commerce system: www.artgallery.sk | |
| 18:20 - 18:30 | Summary & Closing Remarks |
| 8:30 - 9:30 | Simon Lambert: Knowledge-Based Control Systems (cont.) (Invited talk) | |
| 10:00 - 11:00 | Anna Slobodova: Formal Verification Methods for Industrial Hardware Design (Invited talk) | |
| 11:20 - 12:20 | Domenico Laforenza: From Metacomputing to Grid Computing: Evolution or Revolution? (cont.) (Invited talk) | |
| 13:30 | Conference Trip | |
| 20:00 | Presentation SAP Slovakia Boris Tvaroska: New Trends in Business Oriented IT |
| 8:30 - 9:30 | William I. Grosky, Rong Zhao: Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapes Part I: Generic Representations and Dimensional Reduction (Invited talk) | |
| 10:00 - 11:00 | Anna Slobodova: Formal Verification Methods for Industrial Hardware Design (cont.) (Invited talk) | |
| 11:20 - 12:20 | William I. Grosky, Rong Zhao: Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapes Part II: Cross-Media Searching and the Web (Invited talk) |
| 16:00 - 16:30 | Tomas Plachetka, Olaf Schmidt, Frank Albracht: The HiQoS Rendering System | |
| 16:30 - 17:00 | Leo Galambos: Lemmatizer for Document Information Retrieval Systems in JAVA | |
| 17:00 - 17:30 | Rastislav Kralovic: On Majority Voting Games in Trees | |
| 17:30 - 18:00 | Prasad Jayanti, King Tan, Gregory Friedland, Amir Katz: Bounding Lamport's Bakery Algorithm | |
| 18:00 - 18:30 | Isto Aho: On the Approximability of Interactive Knapsack Problems | |
| 20:00 | Presentation Compaq Computers Slovakia Roland Takacs: eGovernment - an opportunity of progressive information technology for the government and public sector |
| 8:30 - 9:30 | Sandor Jenei: Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited (Invited talk) | |
| 10:00 - 11:00 | Osamu Watanabe: How Can Computer Science Contribute to Knowledge Discovery? (Invited talk) | |
| 11:20 - 12:20 | Sandor Jenei: Incremental Operator Assistance Knowledge System - an intelligent aid for a general class of problems (Invited talk) |
| 16:00 - 16:30 | Lubos Brim, Ivana Cerna, Pavel Krcal, Radek Pelanek: How to Employ Reverse Search in Distributed Single Source Shortest Paths | |
| 16:30 - 17:00 | Adriano Di Pasquale, Enrico Nardelli: ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs | |
| 17:00 - 17:30 | Richard Kralovic: Time and Space Complexity of Reversible Pebbling | |
| 17:30 - 18:00 | Martin Beran: Pipelined Decomposable BSP Computers | |
| 18:00 - 18:30 | Maciej Gebala: The Reconstruction of Polyominoes from Approximately Orthogonal Projections |
| 16:00 - 16:25 | Gabriela Andrejkova, Jozef Jirasek: Neural network topologies and evolutionary design | |
| 16:25 - 16:50 | Glad Deschrijver, Etienne E. Kerre: On the cartesian product of intuitionistic fuzzy sets | |
| 16:50 - 17:15 | Brunella Gerla: Rational Lukasiewicz logic and DMV-algebras | |
| 17:15 - 17:40 | Martin Holena: A fuzzy-logic generalization of a data mining approach | |
| 17:40 - 18:05 | Radim Jirousek, Jirina Vejnarova: Perfect sequences for belief networks representation | |
| 18:05 - 18:30 | Paolo Amato, Corrado Manara: Global Defuzzification Methods | |
| 20:00 | Kick-off meeting of the ERCIM working group on soft-computing | |
| 20:30 | Presentation Oracle Slovakia Marko Konecny: CRM in 90 days |
| 8:30 - 9:30 | Hamideh Afsarmanesh, Ersin Kaletas, L. O. Hertzberger: The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-Sciences (Invited talk) | |
| 10:00 - 11:00 | Osamu Watanabe: How Can Computer Science Contribute to Knowledge Discovery? (cont.) (Invited talk) | |
| 11:20 - 12:20 | Hamideh Afsarmanesh, Ersin Kaletas, L. O. Hertzberger: The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-Sciences (cont.) (Invited talk) |
| 8:30 - 8:55 | Irina Perfilieva: Neural nets and normal forms from fuzzy logic point of view | |
| 8:55 - 9:20 | Anna Slobodova: A New Approach to Decision Making in Transferable Belief Model | |
| 9:20 - 9:45 | Peter Vojtas: Annotated and fuzzy logic programs - relationship and comparison of expressive power | |
| 10:00 - 10:25 | Dan Pokorny: Implication, equivalence and agreement. Kappa coefficient as a measure of degree of equivalence | |
| 10:25 - 10:50 | Jiri Wiedermann: Fuzzy Neuroidal Nets and Recurrent Fuzzy Computations | |
| 10:50 - 11:15 | Petr Cintula: An alternative approach to the LPi logic | |
| 11:15 - 11:40 | Martin Lieskovsky: Reasoning strategies for best answer with tolerance | |
| 11:40 - 12:05 | Sandor Jenei: Rotation-invariant semigroups |
| 16:00 - 16:30 | Richard Bonner, Rusins Freivalds, Maksim Kravtsev: Quantum versus Probabilistic One-Way Finite Automata with Counter | |
| 16:30 - 17:00 | Henning Fernau: Approximative Learning of Regular Languages | |
| 17:00 - 17:30 | Rusins Freivalds, Andreas Winter: Quantum Finite State Transducers | |
| 17:30 - 18:00 | Martin Platek: Two-way Restarting Automata and J-Monotonicity |
| 16:00 - 16:25 | Vilem Novak: Intensional Theory of Granular Computing | |
| 16:25 - 16:50 | Stefano Aguzzoli, Vincenzo Marra, Daniele Mundici: A note on finitely generated subalgebras of free MV-algebras | |
| 16:50 - 17:15 | Daniele Mundici: From Lukasiewicz logic to mistake-bound learning via Ulam-Renyi games | |
| 17:15 - 17:40 | David Coufal: Structure learning of neuro-fuzzy systems | |
| 17:40 - 18:05 | Vladik Kreinovich, Mirko Navara, Zdenek Zabokrtsky: Constrained fuzzy arithmetic |
| 19:00 | Gala Dinner |