LINGUIST List 5.1084

Wed 05 Oct 1994

Calls: SOFSEM'94

Editor for this issue: <>


  1. Jana Kohoutkova, SOFSEM'94 Call for participation

Message 1: SOFSEM'94 Call for participation

Date: Wed, 28 Sep 1994 16:52:02 SOFSEM'94 Call for participation
From: Jana Kohoutkova <>
Subject: SOFSEM'94 Call for participation


 | SOFSEM'94 |
 | |
 | XXI-st International Winter School |
 | on theoretical and practical aspects of computer science |

 Milovy, Czech Republic, 27.11. - 9.12. 1994

 Organized by Czech and Slovak Societies for Computer Science and
 Czech ACM Chapter

 1. Subject: SOFSEM is...
 2. Programme of Invited Talks
 3. Schedule
 4. Venue
 5. Advisory Board & Program Committee
 6. Fees
 7. Sofsem secretary

 Appendices available from the conference organizers:
 Appendix A: Abstracts and Biographies
 Appendix B: List of Contributed Talks

1. 'SOFSEM' (SOFtware SEMinar) is a two-week international informatics
 winter school organized annually in Czech/Slovak republics. Its aim
 is to present the state-of-the-art activities across a wide spectrum
 of Computer Science. The programme has two kinds of presentations:

 Invited Talks (tutorials by prominent researchers in the field)
 Contributed Talks (presentations of original research contributions
 by SOFSEM participants)

 SOFSEM'94 is the 21st 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


Bradfield J. (Uni Edinburgh, UK) : Verifying Properties of Concurr. Systems
Eaglestone B. (Uni Bradford, UK) : An Artistic Design System
Gaag L. (Uni Utrecht, NL) : Bayesian Belief Networks: Odds and Ends
Gottlob G. (TU Vienna, AT) : Expressive Power of Logical DB-queries
Hegedus T. (Uni Bratislava, SK) : Computational Learning Theory and
 Neural Networks
Hopgood B. (RAL Oxon, UK) : New GKS and Extensions to PHIGS
Jones N. (Uni Copenhagen, DK) : Partial Evaluation and Automatic Program
Kleindienst J (TU Prague, CZ) : Have you tried to talk to your computer
 recently ?
Lloyd J. (Uni Bristol, UK) : The Goedel Programming Language
Mellor P. (Uni London, UK) : CAD: Computer Aided Disaster
Moessenboeck H. (ETH Zurich) : Oberon - 2: A Modern Successor to Pascal
 and Modula-2
Reinisch F. (Siemens AG, AT) : Software Configuration Management
 in Modern SW Engineering
Schroeder W. (GMD Berlin, DE) : Scalable Operating Systems
Sowizral P, Zikan K. (Boeing, US) : Virtual and Augmented Reality
Strakos Z, Tuma M (AcademySci, CZ) : Current Trends in Numerical
 Linear Algebra
Voda P. (Uni Bratislava, SK) : Logic as Programming and Programming
 as Logic
Zuba G. (Siemens AG, AT) : Software Quality Assurance According to
 ISO 9000

3. | Invited Talks Schedule |

 27.11 Su - registration
 | | 8:30 - 9:45 | 10:15-11:30 || 16:00-17:15 | 17:30-18:45 |
 |28.11 Mo | -OPENING- | Hopgood || Strakos | Eaglestone |
 |29.11 Tu | Eaglestone | Hegedus || Schroeder | Kleindienst |
 |30.11 We | | Moessenboeck|| Hopgood | Strakos |
 |01.12 Th | Jones | Schroeder || Hegedus | Bradfield |
 |02.12 Fr | Bradfield | Jones || Moessenboeck| FLASH-COMM |
 |03.12 Sa | --Contributed Talks-- || xxxxxxxxxxxxxxxxxxxxxxx |
 |04.12 Su | xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx |

 |05.12 Mo | Voda | Mellor || Reinisch | Zuba |
 |06.12 Tu | van Gaag | Lloyd || --Contributed Talks-- |
 |07.12 We | Lloyd | van Gaag || Mellor | Voda |
 |08.12 Th | Sowizral | Lloyd || Gottlob | FLASH-COMM |
 |09.12 Fr | Gottlob | Sowizral || xxxxxxxxxxxxxxxxxxxxxxxx |

4. Venue: The winter school will be held at Conference Center Milovy located
 at Bohemian-Moravian Uplands by the town of 'Zdar nad Sazavou'.
 The location is easily accessible from airports at Prague or Vienna
 (2-3 hours by car, bus or train).
 Swimming pool, sauna, fitness-center, day-club and other services
 are available. Countryside provides a good opportunity for
 cross-country skiing most of the winter season.

5. 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: Chair - J.Staudek (Technical Univ. Brno),
 M.Bartosek (Masaryk Univ., Brno), J.Kral (Masaryk Univ.,Brno),
 J.Pavelka (Charles Univ., Prague), F.Plasil (Czech TU, Prague),
 I.Privara (Inst. of Informatics and Statistics, Slovakia),
 B.Rovan (Comenius Univ., Slovakia), J. Wiedermann (Acad.of Science,
 Prague), J. Zlatuska (Masaryk Univ., Brno).

 Language: The school is conducted in English.

6. | FEES |

 The registration fee covers the organization expenses, accommodation
 and meals for 12-day winter school, as well as a copy of proceedings.
 double(shared) room single room
 Basic rates 400 $ US 450 $ US
 C/S participants 5 600 Kc 7 400 Kc
 (On-site payment in cash for non C/S participants also possible.)

 Banking : Ceska sporitelna Brno - mesto, Brno, Czech Rep.
 Account Name : Ceska informaticka spolecnost, pobocka Brno
 Account Number : 6851659-628/0800
 Detais of Payment: Fill in your name and affiliation.

7. Organization: For more information regarding SOFSEM'94 and Local
 Arrangements (or if you wish to subscribe to Sofsem mailing
 list) please contact:
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue