🚀 go-pugleaf

CALL FOR REGISTRATION
=====================

COMPUTING SCIENCE IN THE NETHERLANDS 1992,(CSN'92)
4-5 november 1992, Utrecht


CSN is de jaarlijkse Nederlandse conferentie op het gebied van het 
informatica-onderzoek en wordt georganiseerd door de Stichting 
Informatica Onderzoek in Nederland (SION). De CSN conferenties hebben 
als doel de Nederlandse informatica-onderzoekers een forum te bieden 
voor de presentatie van recent eigen wetenschappelijk onderzoek op het 
gebied van de informatica, en voor het kennis nemen van de resultaten 
van het werk van andere Nederlandse informatica-onderzoekers. De CSN 
conferenties omvatten in principe alle terreinen van het 
wetenschappelijk onderzoek in de informatica. De voertaal is (in eerste 
aanleg) Nederlands. CSN '92 zal gehouden worden op 4 en 5 november 1992 
te Utrecht, in het zalencomplex van de Koninklijke Jaarbeurs aldaar.

PROGRAMMA
Het programma van CSN'92 bestaat uit 4 plenaire lezingen op uitnodiging 
over recente ontwikkelingen in het informatica-onderzoek, 4 plenaire 
bijdragen vanuit het Nederlands informatica-onderzoek en 24 presenta-
ties in de vorm van korte voordrachten (van een half uur elk) in 
parallelle sessies.


Woensdag 4 november
===================

09.00 - 09.40     Registratie
09.40 - 09.45     Opening door J.L.G. Dietz, voorzitter 
                  CSN'92
09.45 - 10.30     Informatica in de Electronische Industrie
                  R.H. Bourgonjon, Philips Research
10.30 - 11.00     Pauze
11.00 - 11.45     A Taxonomy of Knowledge in Distributed 
                  Systems
                  M. van Hulst, J.-J. Meyer, Katholieke 
                  Universiteit Nijmegen
11.45 - 12.30     Specification and Generation of a lambda-
                  calculus Environment
                  A. van Deursen, CWI
12.30 - 14.00     Lunch
14.00 - 15.00     Parallelle Sessies (zie verder)
15.00 - 15.15     Pauze
15.15 - 16.15     Parallelle Sessies (zie verder)
16.15 - 16.30     Pauze
16.30 - 17.15     High Performance Computing
                  L.O. Hertzberger, Universiteit van Amsterdam
17.15             Borrel

Donderdag 5 november
====================

09.45 - 10.30     De Universele Structuur van Informatiesystemen
                  G.M. Nijssen, Rijksuniversiteit Limburg/
                  Nijssen Adviesbureau voor Informatica bv
10.30 - 11.00     Pauze
11.00 - 11.45     Analysis of a Dynamic Query Optimization 
                  Technique for Multi-Join Queries
                  C.A. van den Berg & M.L. Kersten, CWI
11.45 - 12.30     Matching of Images by Using Automatically 
                  Selected Regions of Interest
                  M.D. in den Haak, H.J.W. Spoelder & F.C.A. 
                  Groen, Vrije Universiteit
12.30 - 14.00     Lunch
14.00 - 15.00     Parallelle Sessies (zie verder)
15.00 - 15.15     Pauze
15.15 - 16.15     Parallelle Sessies (zie verder)
16.15 - 16.30     Pauze
16.30 - 17.15     Wat heeft de Computerservice Industrie aan 
                  Academisch(e) Onderzoek(ers) ?
                  Th.J. Mulder, Venture Management
17.15             Sluiting

Parallelle sessies
==================

Woensdag 4 november
===================

A. Theoretische Informatica
14.00 - 14.30     Term Graph Rewriting and Strong Sequentiality
                  S. Smetsers
14.30 - 15.00     Some Topics Related to PAC-Learning
                  M. Polman, S.H. Nienhuys-Cheng
15.15 - 15.45     Graph Rewriting Using a Single Pushout: A Comparison
                  P.M. van den Broek, J. Kuper
15.45 - 16.15     On the Use of Relation Algebra in the Theory of 
                  Reduction Systems
                  H. Baumer


B. Programmatuur en Architectuur
14.00 - 14.30     GSE: A Generic Text and Structure Editor
                  J.W.C. Koorn
14.30 - 15.00     Derivation Management in the CAMERA Object Management 
                  System
                  E. Lippe, G. Florijn
15.15 - 15.45     Searching Informed Game Trees
                  W. Pijls, A. de Bruin
15.45 - 16.15     Tests for Static Random Access Memories
                  A.J. van de Goor


C. Informatiesystemen
14.00 - 14.30     Modelling Object Views
                  W.J.J. Stut jr., M.R. van Steen, L.P.J. Groenewegen, 
                  A.R. Bakker
14.30 - 15.00     An Architecture for Information Systems and CASE-Tools 
                  based on an Object-Oriented Framework
                  R.L.W. van de Weg, R. Engmann
15.15 - 15.45     The Expressive Power of an Integrated Model for 
                  Complex Objects
                  G.-J. Houben, P. Verkoulen
15.45 - 16.15     A Comparison of Object-Oriented Analysis and Design 
                  Methodologies
                  S. Hong, G. van den Goor, S. Brinkkemper


Donderdag 5 november
====================

A. Theoretische Informatica
14.00 - 14.30     Recursive Ascent Parsing: from Earley to LR
                  R. Leermakers
14.30 - 15.00     Head-Corner Chart Parsing
                  K. Sikkel, R. op den Akker
15.15 - 15.45     Comparing Tableaux with Resolution
                  W.J.M. Ophelders, H.C.M. de Swart
15.45 - 16.15     Linking Kripke Semantics and Game Theory;A Logical 
                  Approach to Aumann's Theorem
                  H.C.M. de Swart


B. Theoretische Informatica & Informaticamethodieken
14.00 - 14.30     Sparse Arrangements and the Number of Views of 
                  Polyhedral Scenes
                  M. de Berg, D. Halperin, M. Overmars, M. van Kreveld
14.30 - 15.00     Hybrid Rendering of Scientific Data Using an H-Buffer
                  Th. van Walsum, A.J.S. Hin
15.15 - 15.45     Edge Coloring Bipartite Graphs Efficiently
                  J.F. Sibeyn
15.45 - 16.15     Modelling Interaction Tools in the Views Architecture
                  E. Boeve


C. Programmatuur en Architectuur
14.00 - 14.30     A Framework for a Tool for Physical Database Design
                  S. Choenni, H.M. Blanken, T. Chang
14.30 - 15.00     Design and Implementation of the Amoeba Complex Object 
                  Server ACOS
                  F. Sauer, W.B. Teeuw, H.M. Blanken
15.15 - 15.45     Towards the Formal Design of Self-Stabilizing 
                  Distributed Algorithms
                  P.J.A. Lentfert, S.D. Swierstra
15.45 - 16.15     Logically Synchronous Multicasts
                  D.C. Hoogvorst, W.H. Hesselink

ALGEMEEN
========

PLAATS
            Jaarbeurs Congres- en vergadercentrum, Jaarbeursplein, 
            Utrecht

DATA
            Woensdag 4 en Donderdag 5 november 1992

KOSTEN
            175,--, inclusief lunches, pauzedrankjes, borrel en 
            proceedings.
            OIO's
            Reis- en deelnamekosten van door SION gesteunde OIO's kunnen     
            volledig door SION worden vergoed.
            Studenten
            Voor een (door de zaalruimte) beperkt aantal studenten 
            bestaat de mogelijkheid vrij van kosten deel te nemen aan de 
            conferentie, inclusief proceedings, terwijl aan de lunch kan 
            worden deelgenomen voor D 10.-- per dag. 
            Inschrijfformulieren van studenten worden in volgorde van 
            binnenkomst behandeld.

INSCHRIJVING
            Door insturen van bijgaand inschrijfformulier aan:

            Secretariaat CSN'92
            T.a.v. F. Snijders
            Postbus 4079
            1009 AB Amsterdam

            en gelijktijdige overmaking van het inschrijfgeld naar:

            SION,
            Amsterdam
            Bankrek.nr. 39.38.48.329 bij de RABO-bank (gironr. van de 
            bank: 187744)
            o.v.v. CSN-92

PROCEEDINGS
            De proceedings zullen tijdens de conferentie beschikbaar
            zijn voor de deelnemers

INLICHTINGEN
            Nadere inlichtingen worden graag verstrekt door Frans 
            Snijders, 
            tel. 020-5924171; fax 020-5924199; email franss@cwi.nl



INSCHRIJFFORMULIER
==================

Naam                    :_________________________________________

Organisatie/Instituut   :_________________________________________

Afdeling/Faculteit      :_________________________________________

Adres                   :_________________________________________

Postcode en woonplaats  :_________________________________________

Email                   :_________________________________________

Telefoon                :_________________________________________

Projectnummer           :_________________________________________
(alleen voor SION OIO's)
Nummer Collegekaart     :_________________________________________
(alleen voor studenten)

meldt zich hierbij aan voor de conferentie CSN-92 en zal het 
inschrijfgeld ad D 175,-- overmaken op bankrekening nr. 39.38.48.329 
(RABO; gironummer van de bank is 187744) van SION te Amsterdam o.v.v. 
CSN-92.








__________________, ________________________1992._____________________
(plaats)                    (datum)                (handtekening)


Het ingevulde formulier versturen aan:

Secretariaat CSN'92
T.a.v. F. Snijders
Postbus 4079
1009 AB Amsterdam