--------------------------------------------------------------
| |
| SOFSEM'95 |
| |
| XXII. International Winter School |
| on Theoretical and Practical Aspects of Computer Science |
| |
--------------------------------------------------------------
November 25 - December 2, 1995
Hotel 9 skal, Milovy, Czech Republic
Organized by Czech and Slovak Societies for Computer Science
and Czech ACM Chapter
Subject:
SOFSEM (SOFtware SEMinar) is an eight-day international
winter school devoted to the theory and the practice of
software systems. Its program consists of a series of invited
talks given by prominent academic professionals and researchers.
Contributed talks and posters of participants are also included
in the program of SOFSEM. The working language is English.
-------------------------------
Invited talks and contributed talks are published by Springer-Verlag
in the series "Lecture Notes in Computer Science" and distributed
at the seminar.
The one-day tutorial devoted to Information Technology Security
issues is given as an additional program of SOFSEM '95 prior to
the actual seminar. The tutorial is held in Czech, and it is aimed
at the Czech information system managers and computer security
specialists.
------------------------------------------------------------------------
| Sofsem'95 is the 22nd in the series of Sofsem seminars |
| held annually and follows many successful meetings; |
| it is intended to foster cooperation among people working in various |
| areas of computer science. Its scientific program offers a unique |
| opportunity to gain a relatively quick and representative |
| overview about the selected parts of computer science, |
| presented by top researchers. |
| Its social program provides an optimal framework for discussions, |
| meetings, contact establishing, and recreation. Especially suited |
| for PhD students and young computer scientists. |
------------------------------------------------------------------------
Advisory Board:
Dines Bjorner (UN University, IIST, Macau)
Peter van Emde Boas (Uni Amsterdam, Netherlands)
Manfred Broy (TU Munich, Germany)
Michal Chytil (Arthur D.Little Int., Prague, CZ),
Georg Gottlob (TU Vienna, Austria)
Keith Jeffery (RAL, Oxon, UK)
Maria Zemankova (Mitre Corp, McLean, USA)
Program Committee:
Co-Chair - J.Staudek (Masaryk University, Brno),
Co-Chair - J.Wiedermann (Academy of Sciences, Prague),
L.Motyckova (Masaryk Univ., Brno), J.Kral (Masaryk Univ., Brno),
J.Pavelka (Charles Univ., Prague), F.Plasil (Czech TU, Prague),
I.Privara (Institute of Informatics and Statistics, Slovakia),
B.Rovan (Comenius Univ., Slovakia), J. Zlatuska (MU Brno).
Invited Talks:
-------------
Fundamentals
- Jiri Wiedermann, Czech Academy of Sciences, Prague, CZ
THEORY OF PARALLEL MACHINE MODELS: HOW IT IS AND WHERE IT GOES
- Petr Hajek, Czech Academy of Sciences, Prague, Czech Republic
FUZZY LOGIC AS LOGIC
- Hava Siegelman, Technion, Haifa, Israel
ANALOG COMPUTATION VIA NEURAL NETWORKS
- Gerard Tel, Utrecht University, The Netherlands
BENEFIT AND COST OF SENSE OF DIRECTION IN DISTRIBUTED COMPUTATIONS
Databases
- Keith G. Jeffery, Rutherford Appleton Laboratory, UK
DATABASE BASICS
- Jane Grimson, Trinity College Dublin, UK
DISTRIBUTED INFORMATION SYSTEMS
- Norman W. Paton, Heriot-Watt University, Edinburgh, UK
EXTENDING DATABASE TECHNOLOGIES
Software Engineering
- Tony Betts, CCTA Norwich, UK
DOES SSADM MEET THE REQUIREMENTS OF SOFTWARE DEVELOPMENT METHODS
IN THE 1990'S?
- Pippa Newman, Intnl. SSADM User Group, UK
DOES PRINCE MEET THE REQUIREMENTS OF PROJECT
MANAGMENT METHODS IN THE 1990'S?
- Juan Bicarregui, Rutherford Appleton Laboratory, UK
FORMAL METHODS IN PRACTICE
- Hans Rischel, Technical University of Denmark
DEVELOPMENT OF SAFETY-CRITICAL, REAL-TIME SYSTEMS:
THE PROCOS APPROACH
- Egon Boerger, University of Pisa, Italy
THE EVOLVING ALGEBRA METHODOLOGY FOR DESIGN AND ANALYSIS
OF COMPLEX SW/HW SYSTEMS
Parallel Distributed Systems & Scientific Computing
- Christian Bac, Guy Bernard, Denis Conan, Hong Quang Nguyen,
Chantal Taconet, Institut National des Telecommunications,
Evry, France
EXPERIENCE WITH CHORUS
- Santosh Shrivastava, University of Newcastle, UK
LESSONS LEARNED FROM BUILDING AND USING ARJUNA DISTRIBUTED
PROGRAMMING SYSTEM
- Hans P.Zima, University of Vienna, Austria
LANGUAGES AND TOOLS FOR PARALLEL SCIENTIFIC COMPUTING
Multimedia, Hypertext
- Herman Maurer, University of Auckland, New Zealand
NEW ASPECTS OF NETWORKED MULTIMEDIA SYSTEMS
- Ales Limpouch, Karel Charvat, Help Service-Mapping, Prague, CZ
QUO VADIS GIS: FROM GIS TO GIMS AND OPEN GIS
- Victoria A. Marshall, Rutherford Appleton Laboratory, UK
THE WORLD WIDE WEB
Others
- EC speaker, Brussel
EC R&D FUNDING FOR CENTRAL/EASTERN EUROPE
Contributed Talks:
-----------------
4-page abstracts in English are expected. A full camera ready copy
of contributed talks on current topics in Computer Science should be
no longer than 4-pages. Presentation time for contributed talks is
25 minutes. Some authors may be invited by the Program Committee to
re-submit their submissions as a poster. Contributed talks will be
included in the Proceedings of SOFSEM '95, published by Springer-Verlag
in the "Lecture Notes in Computer Science" series.
Each submission should have a title giving the following information:
name, address, e-mail address, and phone number of each author;
specification of one of the authors as the contact person.
Please send five printed copies or a postscript file for each submission.
Deadlines:
---------
Submission of the contributed talk/poster June 1, 1995
Notification of acceptance/rejection July 10, 1995
Camera-ready copy of the contributed talk Sept. 1, 1995
The Organizing Committee will supply the authors of accepted contributed
talks with a leaflet of detailed technical instructions and the LaTeX
style file for the preparation of the camera-ready copy.
Contact Address:
All communications, enquires and submissions should be adressed to
------------------------------------------------------------------
Lenka Motyckova
Faculty of Informatics
Masaryk University
Buresova 20, 602 00 Brno
Czech Republic e-mail: lenka@informatics.muni.cz
------------------------------------------------------------------
FULL-DAY TUTORIAL - NOVEMBER 24, 1995
-------------------------------------
Petr Hanacek, Vaclav Matyas, Jan Pavelka, Jan Staudek: Faculty of EE and
Informatics, VUT Brno; Faculty of Informatics, MU Brno; DCIT Praha, CZ
INFORMATION TECHNOLOGY SECURITY
Security program, security enforcing functions and
mechanisms, cryptography, risk analysis and management,
security architectures, contingency planning,
and legal issues. (The tutorial is in Czech).
FEES:
----
To register, please mail the filled-in registration form
and the notification of your payment to the SOFSEM secretary:
---------------------------------
Z. Walletzka, SOFSEM '95
UVT MU, Buresova 20,
602 00 Brno, Czech Republic
phone: +42-5-4132 1237 ext 273, +42-5-4121 1646
fax: +42-5-4121 2747
e-mail: sofsem@ics.muni.cz
---------------------------------
Total cost covers the organizational expenses, accommodation, and meals
for the whole (eight-day) winter school as well as the Proceedings:
---------------------------------------------------------------------
type single_room double_room
of fee Explanation
---------------------------------------------------------------------
S0 *) 5 780 Kc 4 580 Kc total costs for CZ ACM, CIS, SIS
S1 6 180 Kc 4 980 Kc total costs for CZ/SK participants
S2 280 USD 240 USD total costs for others
S3 *) 6 690 Kc 5 340 Kc S0 + IT Security Tutorial
S4 7 090 Kc 5 740 Kc S1 + IT Security Tutorial
S5 1 410 Kc 1 260 Kc IT Security Tutorial only
---------------------------------------------------------------------
*) only for members of Czech ACM, Czech Informatics Society (CIS) and
Slovak Informatics Society (SIS) ! (Kc stands for Czech Krowns)
Banking : Ceska sporitelna Brno - mesto, Brno, Czech Rep.
Account Name : Ceska informaticka spolecnost, pobocka Brno
Account Number : 6851659-628/0800
Details of Payment: Fill in your name and affiliation.
Important!
The prices specified above are only valid until 15th September.
After September 15, the prices are increased by 1 000 Kc / 50 USD.
==================================================================
Local Arrangements:
------------------
For more information regarding SOFSEM'95 and Local Arrangements
please contact
sofsem@ics.muni.cz
Sofsem www-page: http://www.ics.muni.cz/sofsem/sofsem.html
---------------
------------------------------------------------------------------
Venue:
The winter school will be held at the Hotel 9 skal (Nine Rocks),
Milovy. The hotel is located in the Bohemian-Moravian
Highlands (central part of the Czech Republic) by the town
of Zdar nad Sazavou. The recreation facility offers swimming pool,
sauna, fitness centre, day-club, coffee-rooms, and other services.
The location is easily accessible from airports at Prague or Vienna
(2-3 hours by car, bus or train).
----------------------------------------------------------------------------
REGISTRATION FORM AND PAYMENT NOTICE
Please e-mail or fax to:
Z. Walletzka --- SOFSEM '95
UVT MU
Buresova 20, 602 00 Brno
Czech Republic
fax: +42-5-4121 2747
e-mail: sofsem@ics.muni.cz
Family name (Mr, Ms) : ........................
First name: ........................
Affiliation: ........................
Current position: ........................
Address: ........................
Phone: ........................
E-mail: ........................
Amount of Payment: ........................
Date of Payment: ........................
Details of Payment: ........................
Single or Double room: ........................
Type of fee: S0 S1 S2 S3 S4 S5
Passport: ........................
Date: ........................
---------------------------------------------------------------------------