July, 4.  2001 Top

"Project Management"

Because of the limited number (25) of participants for each workshop a separate registration for the workshops is necessary based on the principle First come first served. Please try to register not later than June 20, 2001.  "Project Management"-Registration

"Leadership Skills"

Because of the limited number (25) of participants for each workshop a separate registration for the workshops is necessary based on the principle First come first served. Please try to register not later than June 20, 2001.  "Leadership Skills" - Registration

T1 - New Media in Education   13,30 – 15,30, 16,30 - 18,00

July, 5.  2001 Top

Tutorial T2  8,00 – 10,00 ; 10,30-12,30 Top

"3G Wireless Standards, Algorithms and Future Solutions: Burst-by-burst Adaptive Multimedia Transceivers"
AbstractT1.pdf  AbstractT1.ps

For participants of this tutorial it is recommended to download the following book
L. Hanzo, P. Cherriman, J,Streit, "Wireless Video Communications: Second to Third Generation Systems and Beyond "
URL: http://www-mobile.ecs.soton.ac.uk/books/index.html

INTRODUCTION TO SOFTWARE DEFINED RADIO

Abstract.doc

The concept of software defined radio and the advent of reconfigurable processing system will be described in the tutorial. In particular we will concentrate on enabling technology for practical realization of the system physical layer. Here we summarize, three major areas of research and development required to provide the dynamic processing capabilities essential to the reconfigurable system as:-

1. Component technology include: DSP, FPGA, FPAA, Communication Fabric Processor
2. Design tools and method include: Data flow simulation, FPGA Partial Reconfiguration
3. System maintenance include: object oriented method

In addition some examples of the design tools including HW 2001 board will be given together with MATLAB simulation tools for reconfigurability. We will show that by this MATLAB simulation, newly developed algorithm can be designed and their results analyzed.

"Communications in Space and Time"

Video - conference between   4 sites:    10,30-12,30  Title: VIDEO AND IMAGE PROCESSING FOR PERSONALIZED APPLICATIONS  Top

1. University of Carlos III,
   Madrid, Spain
   Abstract

2. University of Ljubljana
   Slovenia
   Abstract

3. Philips, Eindhoven,
   The Netherlands
   Abstract

4. Bratislava EUROCON table

Banquet  19.00 -

Tutorial T4  13,30-15,30 ; 16,00-18,00  Top

• Performance improvement of a generalized coherence multiplexing system
  A. Meijerink, University of Twente, AE Enschede, Netherlands
• The design, construction and testing of a dexterous robotic end effector
  C. M. Seguna, University of Malta, Msida, Malta.
• A CDMA/PRMA protocol for LEO constellations
  N. Batsios, F-N. Pavlidou, Aristotle University of Thessaloniki, Thessaloniki, Greece
• Area-efficient VLSI implementation of arithmetic operations in binary finite fields GF(2 m )
  J. Großschädl¨, Graz University of Technology, Graz, Austria
• Smartly analyzing the simplicity and power of simple power analysis on smartcards
  R. Mayer-Sommer, Swiss Federal Institute of Technology, Zurich, Switzerland
• VIDERO – virtual delivery room
  M. Divjak, A. Holobar, I. Prelog, University of Maribor, Maribor, SLOVENIA

• Combined Trellis Coded Modulation and Blind Turbo Equalization
  L. Hanzo, V. Vlahoyiannatos, University of Southampton, Southampton, Great Britain
• Second-order Channel Parameter Estimation Assisted Cancellation of Channel Variation-Induced Inter-Subcarrier Interference in OFDM systems
  M. Munster, L. Hanzo, University of Southampton, Southampton, Great Britain
• Near-Instantaneously Adaptive DFE Coded Modulation for Wireless Video Telephony
  P. Cherriman, S. X. Ng, L. Hanzo, University of Southampton, Southampton, Great Britain
• Switched Viterbi Equalization of Dynamic Channels and a Degenerative Error
  M. R. Boyle, A. D.Fagan, University College, Dublin, Ireland
• Performance of an Equalizer for Trans-European Trunked Radio
  M. Koonert, S. Nordholm, H. J. Zepernick, ATC Research Center, Perth, Australia

• Space-Time Processing with Channel Knowledge at the Transmitter
  J. R. Barry, J. H. Sung, Georgia Institute of Technology, Atlanta, USA
• A New Frame Error Estimation Criterion for Digital Communication Links
  K. D. R. Jagath-Kumara, Massey University, Palmerston North, New Zealand
• A New Bi-directional Algorithm for Decoding Trellis Codes
  V. Senk, P. Radivojac, University of Novi Sad, Novi Sad, Yugoslavia
• Computational Complexities and the Relative Performance of Turbo Codes
  L. Hebbes, R. R. Malyan, P. Ball, Kingston University, Kingston, Great Britain
• Error-and-Erasures Decoding in RS coded DS-CDMA Using Noncoherent M-ary Orthogonal Modulation
  L. L. Yang, L. Hanzo, University of Southampton, Southampton, Great Britain
• Advanced Cell Recovery Techniques for ATM networks
  Y. Zlotnikov, M. Kopeetsky, Bar-Ilan University, Ramat-Gan, Israel
• Adaptive Coding and Modulation Using RS Codes for Rayleigh Fading Channels
  K. M. S. Soyjaudah, B. Rajkumarsingh, University of Mauritius, Reduit, Mauritius

• An Oriented Diffusion Algorithm for Routing Paths in MPLS Network
  A. Abouaissa, P. Lorenz, L. Amanton, Universite de Haute Alsace, Colmar, France
• New Approaches to Service Restoration in MPLS-based Networks
  R.Bartos, M. Raman, A. Gandhi, University of New Hampshire, Durham, USA
• QoS Routing with Static Priority State Advertisement
  S. L. Vieira, Catholic University of Goias, Goiania, Brazil
• A Multicast Routing Algorithm Based on Parallel Branching Method for Faulty Hypercubes
  S. Gunes, N. Yilmaz, A. Ozturk, Selcuk University, Konya, Turkey
• Performance Analysis of Burst Level Bandwidth Allocation Using Multipath Routing Reservation
  M. Ashibani, B. Nleya, University of Cape Town, Cape Town, South Africa
• Find-Reassemble-Path Algorithm for Finding Node Disjoint Paths in Telecommunications Networks with Two Technologies
  Li Kwang-Fu, H. Tsai, Li Chia-Ching, National Taichung Institute of Technology, Taichung, Y. Taiwan
• Possible problems and their Solutions with IPv6 Router Announcement
  K. Segaric, P. Knezevic, S. Dembitz, Coting, Zagreb, Croatia

• An Adaptive Speckle Suppression Filter based on Nakagami Distribution
  S. Ghofrani, M. R. Jahed-Motlagh, A. Ayatollahi, Iran University of Science and Technology, Iran
• A New Version of Region Based BTC
  J. Polec, J. Pavlovicova, Slovak University of Technology, Bratislava, Slovakia
• A New Enhanced Morphological Filter and Signal Recovery
  H. Amindavar, M. Nezafat, Amir Kabir University of Technology, Tehran, Iran
• 3D image presentation: new technique for hidden-surface removal in SIRDS algorithm
  S. M. Tran, K. Fazekas , A. Gcshwindt, BUTE, Budapest, Hungary
• Occlusion Detection in Stereopairs
  G. A. Triantafyllidis, D. Tzovaras, M. G. Strintzis
  Aristotle University of Thessaloniki, Thessaloniki, Greece
• Design and FPGA Implementation of Biorthogonal Discrete Wavelet Transforms
  M. Nibouche, A. Bouridane, O. Nibouche, Queen's University, Belfast, Great Britain
• IDFT based Edge Detection algorithm implemented in FPGA Devices
  M. Verderber, A. Trost, A. Zemva University of Ljubljana, Ljubljana, Slovenia

• Capacity Estimation for Spectrally-Overlaid WCDMA & GSM Systems
  D. W. Matolak, Ohio University, Athens, USA
• A New Handoff Scheme for Decreasing both Dropping Calls and Blocking Calls in CDMA System
  X. Ma, K. S. Trivedi, Y. Ma, J. J. Han, Duke University, Durham, USA
• A Strategy for Voice Browsing in 3G Wireless Networks
  Mohan, A. Mohan, Nortel Networks, New Delhi, India
• Cell Planning in Mobile Communication Systems using SGA Optimization
  I. Laki, L. Farkas, L. Nagy, BUTE, Budapest, Hungary
• ANN Microcell Electric Field Level Prediction Model
  A. Neskovic, N. Neskovic, D. Paunovic, University of Belgrade , Belgrade, Yugoslavia

• Recoverable and Untraceable E-cash
  J. J. K. Liu, V. K. Wei, S. H. Wong, Chinese University of Hong Kong, Hong Kong, China
• Building the Enterprise-wide Storage Area Network
  S. Milanovic, Serco Group plc, Italy, Z. Petrovic, University of Belgrade, Yugoslavia
• Constraint Agents Can Negotiate
  J. Dospisil, Monash University, Monash, Australia
• How to built an E-City
  M. Ojstersek, U. Novak, Z. Cajic, B. Gorenjak, University of Maribor, Maribor, Slovenia
• E-commerce : Technical and Market Approach
  M. Tabibian, H. Amindavar, Amir Kabir University of Technology, Tehran, Iran

• Decimation stages with Lattice Wave Digital Filters for Use in a Flexible Digital Receiver Architecture
  D. Brueckmann, University of Wuppertal, Wuppertal, Germany
• Adaptive Polynomial Pre-Distortion for Linearization of Power Amplifiers in wireless communication and WLAN
  G. Baudoin, P. Jardin, ESIEE, Noisy le Grand Cedex, France
• Noise Performance of Semiconductor Optical Amplifiers
  E. Udvary, BUTE, Budapest, Hungary
• Active Resonator
  K. Hoffmann, Z. Škvor, Czech Technical University, Praha, Czech Rep.
• Pattern Sidelobe Level Suppression of Antenna Array with Arbitrary Geometry by the IRLS Algorithm
  I. Dotlic, A. Zejak, Institute IMTEL, Belgrad, Yugoslavia
• Thick Film Technology for Wireless Applications
  K. J. Williams, A. Curley, M. Tunnicliffe, P. Barret, P. J. Scott, J. Ferguson, Kingston University, Kingston, Great Britain

• Very Efficient Frequency Usage System using Convolut. Spread Time Signals Based on Multipath Estimation in Correlation Domain…
  N. Suehiro, N. Kuroyanagi, P. Fan, T. Imoto, University of Tsukuba, Tsukuba, Japan
• M-ary System using Complete Complementary Sequences Composed of   4-Phase Orthogonal Sequences
  J. Kawamoto, N. Suehiro, H. Torii, N. Kuroyanagi, University of Tsakuba, Tsukuba, Japan
• A Novel Design for DCSK Communication System
  Hu Liu, J. B. Liu, S. J. Zhang, Tong Ji University at Huxi, Shanghai, China
• Chaotic Turbo Codes in Secure Communications
  X. L. Zhou, J. B. Liu, W. T. Song, H. W. Luo, Shanghai Jiaotong University, Shanghai, China

• Improvements Achieved by SACK Employing TCP Veno Equilibrium-Oriented Mechanism over Lossy Networks
  L. Chi Chung, Fu Chengpeng, S. Ch. Liew, Chinese University of Hong Kong, Hong Kong, China
• Packed Based Telephony
  B. Vlaovic, Z. Brezocnik, University of Maribor, Maribor, Slovenia
• Performance of VoIP Applications in a Simple Differentiated Services Network Architecture
  B. Klepec, A. Kos, Triglav Insurance Company, Ljubljana, Slovenia

• A System for Basic-Level Network Fault Management Based on the GSM SMS
  S. Vougioukas, M. Roumeliotis, University of Macedonia, Thessaloniki, Greece
• A Methodological Approach to Definition of Functional Profiles for Information Infrastructure
  F. Kasumagic, V. Glavinic, Ministry of Transport and Communications, Sarajevo, B. and H.
• IS Audit Checklist for Router Management Performed by Third-party
  V. Mahnic, B. Klepec, N. Zabkar,Triglav Insurance Company, Ljubljana, Slovenia
• Network Element Manager of SI2000 V5Product Line and the Interoperability with the Network, Service and Business Level
  A.Robnik, D. Pristov, IskraTEL, Kranj, Slovenia

• A Telecommunication Model for Developing European Countries
  Dragan Bogojevic, VF Holding, a.d.,Belgrade, Yugoslavia
• Technology and Democracy : A Panacea for Government?
  G. Alsop, Ch. Wills, Kingston University, Kingston, Great Britain
• Personal Knowledge, Team Knowledge, Real Knowledge
  Ch. S. Hutchison, Kingston University, Kingston, Great Britain
• The evolution and use of communication theories
  R. Stewart, R. Malyan, R. Robert, Kingston University, Kingston, Great Britain

• DTEx-SyS - A Web Oriented Intelligent Tutoring System
  V. Glavinic, M. Rosic, S. Stankov, University of Zagreb, Zagreb , Zagreb
• Distance Learning Approach in Multimedia Tutoring
  J. Stergar, B. Horvat, University of Maribor, Maribor, Slovenia
• Evaluation Board for Education of Engineers in Wireless Communications
  Ch. Ripoll, D. Miller, S. Vachet, ESIEE, Noisy le Grand Cedex, France
• Collaborative Courseware Authoring and Publishing Based on WebDAV, XML, XSL
  Ch. Qu, J. Gamper, W. Nejdl, University of Hannover, Hannover, Germany
• A DVD Presentation for the Support of Teaching Telecom. Protocols
  A. Kruscic, R. Slatinek, T. Kapus, University of Maribor, Maribor, Slovenia
• Using the Web in Supplementary Teacher Education
  A. Veglis, E. Avraam, Aristotle University of Thessaloniki, Thessaloniki, Greece
• Using Interactivity in Computer-facilitated Learning for Efficient Comprehension of Mathematical Abstractions
  I. Skuliber, S. Srbljic, I. Crkvenac, Ericsson Nikola Tesla, Zagreb, Croatia

• Performance Improvement for Very High-Speed DWDM Optical MAN Using a Passive Star Topology
  N. A. El-Fishawi, F. Z. El-Halafawy, Hossam El-Edin M.,A. A. Aboul-Enein, Menoufia University, Menouf, Egypt
• An Exact Throughput Analysis of Optimum Adaptive Go-Back-N Scheme
  P. Košút, Jaroslav Polec, Slovak Universoty of Technology, Slovakia
• Formal Definition of SIP Proxy Behavior
  G. Stojsic, R. Radovic, S. Srbljic,Ericsson Nikola Tesla, Zagreb, Croatia
• Formal Definition of SIP End Systems Behavior
  R. Radovic, I. Crkvenac,S. Srbljic Ericsson Nikola Tesla, Zagreb, Croatia
• Hybrid Self-Adaptive WWW Cache Coherence Protocol (hSATTL): Improving the Coherence of WWW Objects
  M. Stefanec, I. Benc,S. Srbljic, Ericsson Nikola Tesla, Zagreb, Croatia
• Decision Function in Hybrid Self-Adaptive WWW Cache Coherence Protocol (hSATTL)
  I. Benc, M. Stefanec,S. Srbljic, Ericsson Nikola Tesla, Zagreb, Croatia
• Analysis of Throughput Performance of a Modified Hybrid ARQ Scheme for Reliable Transport Services
  I. Grellneth, M. Orávik, Slovak University of Technology, Slovakia

• 2 GHz Single-Floor Indoor Propagation Results
  D. Courivaud, C. Humbert, M. Sylvain, ESIEE, Noisy le Grand Cedex, France
• Improvements of ITU-R Field Strength Prediction Methods for Land Mobile Services
  A. Neskovic, N. Neskovic, D. Paunovic, University of Belgrade , Belgrade, Yugoslavia
• Stability of FDTD in Curvilinear Coordinates
  L. Pauk,Z. Skvor Czech Technical University, Praha, Czech Rep.
• Millimetre Wave Utilization and Propagation Research in the CR
  V. Kvicera, TESTCOM, Praha, Czech Rep.

• An Asymptotic Blind Time Delay Estimation
  H. Amindavar, M. Tabibian, Amir Kabir University of Technology, Tehran, Iran
• Chirp Radar Ambiguity Function Shaping
  A. J..Zejak, I.S. Simic, B.M. Zrnic, Institute IMTEL, Belgrad, Yugoslavia
• The Eclipsing Zone Problem in the Chirp Radar
  B. M. Zrnic, A.J. Zejak, I.S. Simic , Institute IMTEL, Belgrad, Yugoslavia
• Matched and Mismatched Pulse Compression in Medical Ultrasound Imaging
  B..Zejak,I.S. Simic, A.J. Zejak, Institute IMTEL, Belgrad, Yugoslavia
  

• The Design of Mobile Multimodal Communication Device-Personal Navigator
  B. Kotnik, T. Rotovnik, , Z. Kacic, B .Horvat, B. Horvat, I. Kramberger, University of Maribor, Maribor, Slovenia
• Position Aware Group Information Services
  A. Lenaghan, A. Schiefer, R. Malyan, M. Colbert, Kingston University, Kingston, Great Britain
• The Efficient Algorithm for Optimal Capacity Expansion of Satellite Links in Mobile Networks
  S. Krile, Polytechnic of Dubrovnik, Dubrovnik, Croatia

• Differential Filtration of Noise-Like Signals for Synchronization Tasks
  W. Pogribny, I. Rozhankivsky, V. Lozynsky, Institute of Telecommunications of UTA, Bydgoszcz, Poland
• Short STM-1 Framing Structures
  D. Bajic, V. Senk, M. Despotovic, D. Drajic, University of Novi Sad, Novi Sad, Yugoslavia
• Effect of Imperfect Signal Recovery on Performance of QPSK Communication System
  M. C. Stefanovic, G. T. Djordjevic, I. B. Djordjevic, University of Nis, Nis, Yugoslavia
• Influence of Noisy Carrier Reference Signal and Interference on Error Probability of MSK Correlative receiver
  D. Draca, M. Stefanovic, A. Vidovic, University of Nis, Nis, Yugoslavia

• Video Coding for IP Transmission by Using Polyphase Downsampling Multiple Description
  M. Caramma, R. Lancini, M. Fumagalli, CEFRIEL - Politecnico di Milano, Milano, Italy
• Data Hiding in MPEG2 Bit Stream Domain
  G. Caccia, R. Lancini, CEFRIEL - Politecnico di Milano, Milano, Italy
• Texture-Based Image Retrieval in MPEG-7 Multimedia System
  M. Grgic, M. Ghanbari, S. Grgic, University of Zagreb, Zagreb , Croatia
• Multiresolution Images Based on Human Visual System Characteristic
  S. Ma, G. Liu, Z. Shang, Xian Jiaotong University, Xian, China
• The Use of Threshold LUM Smoothers in Noised Color Sequences
  R. Lukac, S. Marchevsky, University of Technology, Kosice, Slovakia
• Influence of Channel Transfer Function on LMS Algorithm Based Nonrecursive Deghosting in Analog TV
  M. Dadic, University of Zagreb, Zagreb, Croatia

• Multi-Application Smart Card with Elliptic Curve Cryptosystem Certificate
  J. K. Liu, V. K. Wei, C. Siu, R. L. Chan, T. Choi, Chinese University of Hong Kong, Hong Kong, China
• A Taxonomy for Attacks on Mobile Agent
  M. Ch. Man, V. K. Wei, Chinese University of Hong Kong, Hong Kong, China
• Using Genetic Algorithm to Improve the Performance of Multi-Host Vulnerability Checkers
  A. B. Mohamed, Arab Academy for Science & Technology, Alexandria, Egypt
• Computer Security in Distributed Systems
  M. Hurton, Slovak University of Technology, Bratislava, Slovakia
• Extending Role-based Access Control Model with States
  B. Steinmueller, Slovak University of Technology, Bratislava, Slovakia
• An Approach to Build Stabile Spanning Tree Topology
  K. Segaric, P. Knezevic, B. Blaskovic, Coting, Zagreb, Croatia

• Flexibility of JavaScript Controled Simulations
  S. Divjak, M. Marolt, University of Ljubljana, Ljubljana, Slovenia
• ISDN Call Analysis by Using Petri Net Model
  K. Klaric, K. Pudar,J. Puksec Ericsson Nikola Tesla, Zagreb, Croatia
• All Injection Level Transmission Line Model of Minority-Carrier Transport
  T. Pesic, J. Karamarkovic, N. Jankovic, University of Nis, Nis, Yugoslavia
• Numerical Simulation of Nonlinear Propagation in Dispersion Managed Fibers
  S. Zentner, L. Sumichrast,, Z. Sipus, Slovak University of Techynology, Bratislava, Slovakia
• Cellular Neural Network to Model and Solve Direct Non-Linear Problems of Steady-State Heat Transfer
  B. Reljin, I. Krstic, P. Kostic, University of Belgrade , Belgrade, Yugoslavia
• Petri Net Based Modeling of Application Layer Traffic Characteristics
  J. Gvozdanovic, D. Simic, U. Vizek, M. Matijasevic, K. P. Valavanis, D. Huljenic, Ericsson  Nikola Tesla, Zagreb, Croatia
• A Comparative Study of Context Free Models of Arithmetic Coding
  K. M. S. Soyjaudah, S. Ramsany, University of Mauritius, Reduit,

• Communication Services using Low Voltage Power Distribution Network
  J. Newbury, Open University of the Northwest, Manchester, Great Britain
• New Services Over CATV Network
  T. Kos, B. Zovko-Cihlar,S. Grgic, University of Zagreb, Zagreb , Croatia
• The Evolution of the Access Network's Infrastructure for the Expansion of New Broadband Services and Applications
  J. Cuchran, R. Róka, Slovak University of Technology, Slovakia
• The Utilization of the VMSK Modulation at the Signal Transport by Means of XDSL Technologies
  R. Róka, Slovak University of Technology, Slovakia

• On Improving the Performance of a Two-digit Encoding Scheme Using a Modified predictor
  M. Abdelwahab, K. El-Shennawy, M. E. M. Nasr, Arab Academy for Science & Technology, Alexandria, Egypt
• New Cepstral Zero-Pole Vocal Tract Models for TTS Synthesis
  Z. Smekal, R. Vich, J. Pribil, University of Technology, Brno, Czech Rep.
• Diphone-like units without phonemes - option for Very Low Bit RS Coding
  P. Motlicek, G. Baudoin, J. Cernocky, University of Technology, Brno, Czech Rep.
• A Real-Time DSP Blind Signal Separation Experimental System Based on a New Simplified Mixing Model
  H. Peiyu, P. C. W. Sommen, Yin Bin, Eindhoven University of Technology, Eindhoven, Netherlands
• Wiener Filtering with Spectrum Estimation by Wavelet Transformation
  P. Sysel, University of Technology, Brno, Czech Rep.
• Digital Processing of Touch Signal-Error Probability
  Z. N. Milivojevic, M. Mirkovic, M. Stefanovic, Ei Televizija, Nis, Yugoslavia

• Analysis of End-to-End Delay Based on Enhanced-EFCI Congestion Control Algorithm for ABR Service
  Agarwal, Z. B. Kang, Concordia University, Montreal, Canada
• QoS Specification and Adaptive Bandwith Monitoring for Multimedia Delivery
  A. Basu, I. Cheng, Y. Zhang, S. Tripathi, University of Alberta, Edmonton, Canada
• Multi level Real Time Bandwidth Allocation Scheme in ATM Networks
  M. Ashibani, B. Nleya, University of Cape Town, Cape Town, South Africa
• A Novel Architecture of Providing Guaranteed Services for Differentiated Services Network
  Providing End-to-End QoS in Differentiated Services Network
  Y. Jia, M. Chen, ICE, Nanjing, China
• Enabling Quality of Service in Input-Queued Packed Switches
  P. Homan, J. Bester, University of Ljubljana, Ljubljana, Slovenia
• Congestion Control Mechanism of ATM Traffic using Leaky Bucket VP Shaping
  J. P. Dubois, University of Balamand, Tripoli, Lebanon

• Influence of parameter initialization on the performance of nonlinear blind equalizers for satellite communications
  J. B. Destro-Filho, J. M. Travassos-Romano, State University of Campinas, Campinas, Brazil
• An Perturbational Blind Channel and Signal Estimation
  H. Amindavar, M. Tabibian, Amir Kabir University of Technology, Tehran, Iran
• New WCDMA Detectors Based on CA/OS CFAR
  H. Amindavar, A. Delgir, Amir Kabir University of Technology, Tehran, Iran
• Self Intersymbol Interference Reduction in Chirp Spread Spectrum Communication Systems
  A. Zejak, Institute IMTEL, Belgrad, Yugoslavia
• A New Method of Joint Filterbank Precoders and Decision Feedback Equalizers optimization over dispersive channels
  Y. Liu, UESTC, Chengdu, China
• New Approach to Time-domain Equalization and Frequency-domain Transient Compensation for a DMT-based ADSL System
  D. Straeussnigg, A. Kozarev, H. Schenk, J. Bodner, Infineon Technologies, Villach, Austria

• Model Checking Approach for Communication Procedures Validation
  B. Blaskovic, P. Knezevic, M. Randic, University of Zagreb, Zagreb, Croatia
• SDL-based Feasible Test Generation for Communication Protocols
  N. Maloku, M. Frey-Pucko, IskraTEL, Kranj, Slovenia
• CTL and ACTL patterns
  R. Meolic, T. Kapus, Z. Brezocnik, University of Maribor, Maribor, Slovenia
• Modeling a Fault-Tolerant Distributed System
  J. Hlavicka, S. Racek, P. Herout, Czech Technical University, Praha, Czech Rep.
• A Method for Testing and Debugging Distributed Applications
  M. Otta, S. Racek, University of West Bohemia, Plzen, Czech Rep.

• Welcome drink will take place in SUZA restaurant on July 4 at 18:30.

• Short greetings from Rolf Remshardt, Baldomir Zajc, Ludovit Molnar and Peter Farkas will be given during the
  Opening ceremony.

• In the evening on July 5, after the evening meal three buses will depart at 19:00 from SUZA to transport the participants to the City Hall, where a concert of "Capella Istropolitana" will take place. Please do adhere to the departure time. After the concert only one bus will be used for return transport. It will depart hour and a half after the end of the concert to give the participants an opportunity to enjoy old city pedestrian zone at night.

•  On July 6 banquet will start at 19:00 with awarding the winners of the Student Paper Contents. It will be accompanied with music from Slovak University of Technology student’s ensemble "Technik". Then the world famous mime Prof. Milan Sladek will show his art and mastership of communication.

•  The accompanying persons program (ladies program) will start on July 5, with guided walk in old city center from 15:00 to 17:00. The meeting point is in the Bratislava Information Service (BIS) center close to City Hall. The bus from SUZA to BIS will depart at 14:30. On July 6 the boat/bus trip to ancient castle Devin will start from boat terminal on the riverside. Meeting time is 9:30 (Bus from SUZA to boat terminal will depart at 9:00). The departure of the boat is at 10:00 if more than minimum required number of passengers would be interested in the trip. Otherwise the bus will be used as a transport to Devin. Return by bus at 14:00.

•  On July 7 one group will visit the shopping center Polus City Center. (bus will depart at 9:00 from SUZA) The other group (recommended for families with kids) will visit the other bank of Danube river by bus, where are some attractions for children, ship museum and some nice restaurants with plenty of excellent bear as well as a popular city park Janko Kral.