SOFSEM '97 1st CFP

Jan Staudek (
Tue, 18 Mar 1997 08:43:47 +0100


| SOFSEM'97 |
| |
| XXIV-th Seminar on Current Trends |
| in Theory and Practice of Informatics |

November 22 - November 29, 1997
Devet-skal hotel, Milovy
Czech Republic

Organized by

Czech Society for Computer Science
Slovak Society for Computer Science
Czech ACM Chapter
Czech Research Consortium for Informatics and Mathematics

In Cooperation with:

CLRC Rutherford Appleton Laboratory, Chilton, Didcot, UK
Department of Computer Science, Comenius University, Bratislava
Department of Software Engineering, Charles University, Prague
Institute of Computer Science, Academy of Sciences, Prague
Institute of Computer Science, Masaryk University, Brno
Faculty of Informatics, Masaryk University, Brno

SOFSEM (SOFtware SEMinar) is an eight-day international seminar 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 "Lecture Notes in Computer Science" series and distributed at the

| Sofsem'97 is the 24th in the series of Sofsem seminars held annually.|
| 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 socializing. Especially suited |
| for young computer scientists. |

Program of Invited Talks
Contributed Talks
Contact Addresses, Sofsem www-page
Financial support
Local Arrangements, Venue, History

A. Fundamentals,
B. Distributed and parallel systems,
C. Software engineering and methodology,
D. Databases and Information Systems.


Preliminary Program Committee
Frantisek Plasil, Charles University, Prague, CZ,
Keith G. Jeffery, CLRC RAL, Chilton, Didcot, Oxon, UK

Patrizia Asirelli, I.E.-E.N.R., Pisa, IT
Robert. G. Babb. II University of Denver, US
Michel Banatre, Irisa/Inria, Rennes, FR
Viliam Geffert UPJS Kosice, SK
Jane Grimson, Trinity College, Dublin, IR
Eduard Groeller Vienna University of Technology, AT
Bernard Guy, INT, Evry, FR
Petr Jancar, Ostrava Univ, CZ
Martin Kersten, CWI, Amsterdam, NL
Petr Kroha TU Chemnitz, DE
Antonin Kucera, Charles Univ, Prague, CZ
Hanspeter Moessenboeck, Univ Linz, AT
Borivoj Melichar, Czech Tech Univ, Prague, CZ
Lenka Motyckova, Masaryk University Brno, CZ
Mogens Nielsen, Aaurhus Univ, DK
Vaclav Rajlich, Wayne State Univ, Detroit, US
Peter Ruzicka, Comenius Univ, Bratislava, SK
Anton Scheber, SOFTEC Bratislava, SK
Arne Solvberg, The Norwegian Univ of Science and Technology, NO
Jiri Sima, Czech Academy of Sci, Prague, CZ
Santosh Shrivastava, Univ of Newcastle, UK
Hava Siegelmann, Technion Haifa, IL
Gerard Tel, Utrecht Univ, NL
Volker Tschammer, GMD Fokus, Berlin, DE
Krzysztof Zielinski, Univ of M&M, Krakow, PL

Jiri Sochor, Masaryk University, Brno, CZ

Advisory Board
D. Bjorner, (UN University, IIST, Macau),
P. van Emde Boas, (CWI Amsterdam, NL),
M. Broy, (TU Munich, DE),
M. Chytil, (ANIMA Praha, Prague, CZ),
G. Gottlob, (TU Vienna, A),
K. G. Jeffery, (CLRC RAL, Chilton, Didcot, Oxon, UK),
M. Zemankova, (NSF, Washington DC, USA)

Endowment Board
J. Wiedermann, Chair (Academy of Sciences, Prague, Czech Republic)
B. Rovan, Vice-Chair (Comenius University, Bratislava, Slovakia)
K. G. Jeffery (CLRC RAL, Chilton, Didcot, Oxon, UK)
J. Pavelka (DCIT, Prague, Czech Republic)
F. Plasil (Charles University, Prague, Czech Republic)
I. Privara (Institute of Informatics and Statistics, Bratislava, Slovakia)
J. Staudek (Masaryk University, Brno, Czech Republic)

Program of Invited Talks includes

A. Fundamentals

Reiner Feldmann, University of Paderborn, DE
Computer Chess: The Importance of a Deep Look into the Future
Marc van Kreveld, Utrecht University, NL
Algorithms for Trangulated Terrains
Klaus-Joern Lange, University of Tuebingen, DE
On the Distributed Realisation of Parallel Algorithms
Johann Makowsky, Technion, Haifa, IL
The Fundamental Problem of Data Modeling
Jaroslav Nesetril, Daniel Turzik, VSCHT, Prague, CZ
Travelling Salesman and MAX-CUT - key problems of Combinatorial
Pekka Orponen, University of Jyvaskyla, FI
A Survey of Continuous-Time Computation Theory
Klaus Weihrauch, Fernuniversitaet, Hagen, DE
A Foundation for Computable Analysis
Jiri Wiedermann, Institute of Computer Science, Academy of
Sciences, Prague, CZ
Towards Machines That Can Think
Henryk Wozniakowski, University of Warsaw/Columbia University, PL/USA
Complexity of Multivariate Problems
Shmuel Zaks, Technion, Haifa, IL
Path layout in ATM Networks

B. Distributed and Parallel Systems

Barret Bryant, Prakash Kumar Muthukrishnan, University of Alabama at
Birmingham, USA
Automatic Generation of Parallelizing Compilers for Object-Oriented
Programming Languages from Denotational Semantics Specifications
David Duce, CLRC Rutherford Appleton Laboratory, Chilton, Didcot, UK
Theory and practice in interactionally rich distributed systems
Valerie Issarny, INRIA/IRISA Rennes, F
Configuration-Based programming Systems

C. Software Engineering and Methodology

Dines Bjorner, International Institute for Software Technology,
United Nations, University, Macau
Signatures of Large-scale Infrastructure Systems
Annie Kuntzmann-Combelles, Objectif Technologie, F
Software Process Improvement
Helmut Krcmar, University Hohenheim, Stuttgart, DE
Telecooperation and Workflow Architecture
Wolfgang Pree, JKU Linz, A
Design Patterns for Object-Oriented Software Development

D. Databases and Information Systems

Klaus Dittrich, University of Zurich, CH
Object-oriented database systems and beyond
Maria Orlowska, University of Queensland, Brisbane, AUS
Distributed Databases - From Theory to Practice
Howard Williams, Herriot-Watt University, Edinburgh, UK
From OO through deduction to active DB - ROCK, ROLL and RAP
Jiri Zara, Czech Technical University, Prague, CR
An Introduction to Virtual Reality Modeling Language
Jiri Zlatuska, Masaryk University, Brno, CR
The information Society

For Abstracts of invited talks and CVs of invited speakers
see Sofsem www-page.

The categories for submissions include Contributed Talks and Posters.
Each submission should have a title giving the following information:

- name, address, e-mail address, and phone/fax number of each author;
- specification of one of the authors as the contact person.

To submit, please send via e-amil a postscript file or via s-mail five
printed copies of your contribution. With each submission, please
e-mail also an abstract in plain ASCII. Any other form of electronic
submission should be consulted in advance with the PC sectretary.

Contributed Talks
8-page drafts in English are expected. A full camera-ready copy of
contributed talks on current topics in Computer Science should be no
longer than 8-pages. Presentation time for contributed talks is 25
minutes. Contributed talks will be included in the Proceedings of
SOFSEM '97, published in the Lecture Notes in Computer Science series
by Springer-Verlag.

The Organizing Committee will supply the authors of accepted
contributed talks with detailed technical instructions and the LaTeX
style file for the preparation of the camera-ready copy.

We actively encourage posters describing work in progress.
Final versions of two A4 page poster are expected.

Submission of the contributed talk/poster May 15, 1997
Notification of acceptance/rejection July 10, 1997
Camera-ready copy of the contributed talk Aug. 31, 1997

Contact Addresses
Sofsem www-page

Communications and enquires should be adressed to:

Submissions should be adressed to:


Jiri Sochor
Faculty of Informatics
Masaryk University
Botanicka 68a,
602 00 Brno
Czech Republic

Kc stands for Czech Crowns. USD for US dollars.

Total cost covers the registration fees, accommodation, and
meals for the whole (eight-day) seminar as well as the Proceedings:

Full fees:

type single_room double_room Explanation
of fee
S1 8 660 Kc 7 300 Kc total costs for CZ/SK participants
S3 395 USD 340 USD total costs for others


If payment is made by 1st September 1997
the following reductions apply:

type single_room double_room Explanation
of fee
S0 *) 6 860 Kc 5 500 Kc total costs for CZ ACM, CSCS, SSCS
S1 7 360 Kc 6 000 Kc total costs for CZ/SK participants
S2 **) 325 USD 270 USD total costs for others ACM members
S3 345 USD 290 USD total costs for others
*) only for members of CZ ACM,
Czech Society for Computer Science (CSCS)
Slovak Society for Computer Science (SSCS),
**) only for other ACM members,


SOFSEM '96 was booked fully to capacity by the end of Aug. 1996 so

Note for CZ/SK participants:

Accommodation - daily rates single room - 410,- Kc
one prsn in dble room - 240,- Kc
meals - 110,- Kc

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, organization and the purpose of
payment: Sofsem'97 conference fee'.
(Czech/Slovak participants: variabilni symbol,
if allocated)

Before 1-st November, 80% of the total cost will be refunded;
after 1-st November, 50% of the total cost will be refunded.
No refund will be made once the seminar has started.

Financial support
You may apply for financial support to partially cover your
accommodation expenses. A strong preference will be given to
undergraduate and graduate students whose submissions for contributed
talks and/or posters have been accepted. Your application for financial
support must reach the Organizing Committee by 1-st August. We will let
you know by 15-th August whether requested support will be granted for

ApS Brno, s.r.o., Digital Equipmnet, s.r.o., Help Service Mapping, s.r.o,
Hewlett-Packard, s.r.o., IBM CR, s.r.o., ORACLE Czech, s.r.o,

1) presenting non profit results

Organizations and individuals are invited to participate with
demonstrations of non-profit research results and literature

2) presenting non profit results

Organizations are invited to submit exhibitions of commercial software
systems, organisation profiles, literature exhibitions, etc.

Please submit a description of the demonstration and
exhibitions to the address at the end of this page. It is the
responsibility of the demonstrator to provide suitable equipment.
Exhibitors should contact the following address for further details:

J. Staudek - SOFSEM '97
FI MU Brno
Botanicka 68a
602 00 Brno
Czech Republic
phone: +420-5-4151 2354
FAX: +420-5-4121 2747

Local Arrangements, Venue, History
For more information regarding SOFSEM'97 and Local Arrangements,
Venue and SOFSEM History see Sofsem www-page

To register, please mail the filled-in registration form and the
notification of your payment to the OC secretary:

Z. Walletzka, SOFSEM '97
UVT MU, Botanicka 68a,
602 00 Brno, Czech Republic
phone: +420-5-4121 1646
fax: +420-5-4121 2747

============================= cut here ================================


Please e-mail or fax to:

Z. Walletzka --- SOFSEM '97
Botanicka 68, 602 00 Brno
Czech Republic
fax: +420-5-4121 2747

Family name (Mr, Ms) : ........................

First name: ........................

Organization: ........................

Current position: ........................

Address: ........................

Phone: ........................

E-mail: ........................

Amount of Payment: ........................

Date of Payment: ........................

Details of Payment: ........................

Vegetarian Meals: YES NO

Type of Fee: S0 S1 S2 S3

ACM member number: ........................

Member of CIS/SIS YES NO

Passport: ........................
(CZ/SK participants
"rodne cislo / COP" ........................)

Comments: ........................


Date: ........................