🚀 go-pugleaf

			NIK'92 - TROMS\, 17.-18. november
________________________________________________________________________________

Vi har den glede } invitere deg til Norsk informatikkonferanse 1992 (NIK'92) som
i }r har satt sammen et bredt og interessant program (vedlagt).

INVITASJON:
NIK'92 er et viktig faglig m|tested for IT-fagfolk i Norge. Denne }rlige 
konferansen skal gi et representativt bilde av hva som foreg}r av FoU-arbeid i 
hele det norske fagmilj|et. Videre vil en kunne etablere nyttige personlige 
kontakter og nytte andres resultater og kompetanse. ]rets konferanse er lagt 
til SAS Royal Hotel i Troms|.

AVGIFT:
Konferanseavgiften er kr. 1430.- pr. deltaker. Avgiften inkluderer lunsj og 
middag fom. middag 16.11 tom. lunsj 18.11. For studenter er prisen kr. 300.- 
(uten bespisning). Studentavgift inkludert bespisning er kr. 830.-. Alle 
deltagere vil f} ett eksemplar av konferansedokumentasjonen (bok). Det er 
anledning } bestille  ekstra eksemplarer av konferansedokumentasjonen 
a kr. 300.-.


Konferanseavgiften - samt oppgj|r for ekstra eksemplarer av dokumentasjon - 
sendes senest 19. oktober til:

	Norsk Informatikkr}d v/ Torbj|rn Skramstad
	Institutt for Informatikk, AVH
	7055 Dragvoll
	Bankgironr : 7400.63.01189 (merk betalingen "NIK'92")

P}melding etter denne dato aksepteres, men hotellplass kan da ikke garanteres. 
Kvittering for betalt konferanseavgift m} om n|dvendig kunne forevises ved 
registrering. 


P]MELDING OG HOTELLBESTILLING
Hver deltaker sender sin egen p}melding (ta kopi av denne og distribuer til 
andre interesserte). P}melding gjelder samtidig som hotellbestilling for 
NIK'92 konferansen. Prisen pr. person pr. d|gn er kr 730.- i enkeltrom. Prisen 
for en person p} et dobbeltrom er kr. 480.-. Deltakerne gj|r selv opp med 
hotellet. Bekreftelse av p}melding vil bli utsendt 30. oktober. P}melding 
skjer skriftlig innen 19. oktober 1992 ved } sende denne slippen i utfyllt 
stand til:

	NIK'92, Universitetet i Troms|, 
	Seksjon for Datafag, 9037 Troms|.
	Fax.: 083 44580


________________________________________________________________________________


Hotellbestilling: Enkeltrom <__>   	Dobbeltrom <__>

Deler rom med ..................................................................

Trenger rom for }rsm|te i NIR (15. - 16.) <__>

Ankomstdato:........ Ankomsttid:........ Avreisedato:........Avreisetid:........

Behov for spesialdiett:.........................................................

Navn:.................................	Stilling:...............................

Institusjon:....................................................................

Adresse:........................................................................

Telefon:...............	Telefax:...............	El-post:........................

Dato:............................Underskrift:................................... 



KONFERANSEAVGIFT:

Standard avgift <__> kr 1430   		Studentavgift   <__> kr 300 	  
Studentavgift m/bespisning <__> kr 830 

er betalt til Norsk Informatikkr}d.







                             Program for NIK'92 ,

                            17-18 november i Troms|


Mandag 16. november 1992


19.00     ]pning av konferansen, etterfulgt av middag



Tirsdag 17. november 1992

08.30     Anshus, Otto J., Larsen, Tore (Datafag, UiT|): "MacroScope: The
          Abstractions of a Distributed Operating System" 

08.50     Moldeklev, Kjersti (TF, Kjeller): "Directions of High-Speed Protocol
          Implementation in End Systems" 

09.10     Aagesen, Finn Arve (Idt, NTH): "A Cooperative Flow Management
          Architecture for High Capacity Networks Synopsis" 

09.30     Diskusjon 

09.45     Kaffe 

10.15     Bjorvand, Siri (Agder dh): "En algoritme for automatisk typetildeling
          til uttypede  <lambda>-utrykk" 

10.35     Nordhagen, Else (Ifi, UiO): " <pi>-Calculus semantics of a Smalltalk
          like language" 

10.55     Haveraaen, M., Madsen, V., Munthe-Kaas, H. (Ifi, UiB):  "Algebraisk
          programmeringsteknologi for partielle differensiallikninger" 

11.15     Diskusjon 

11.30     Gulla, Bj|rn (Idt, NTH): "Improved Maintenance Support by
          Multi-Version Visualizations" 

11.50     Opdahl, Andreas L., Vetland, Vidar, Brataas, Gunnar, S|lvberg, Arne
          (Idt, NTH): "CASE-tool Support for Efficient Utilisation of Computing
          Resources"  

12.10     Henne, Arne (inf.vit., UiB): "Systems maintenance - problems or
          possibilities ??" 

12.30     Diskusjon 

12.45     Lunch 

14.00     Malm, P}l S. (TF, Troms|): "Klassifisering av samarbeidssystemer ved
          hjelp av et teknologisk perspektiv" 

14.20     Ludvigsen, B|rre (\stfold dh): "Content and Context in the
          Architecture of Cyberspace" 

14.40     Efremis, S. G. (Cornell University), Mughal, K. A. (IfI, UiB), Reppy,
          J. H. (AT & T Bell Labs), "The AML Project: A System Overview"

15.00     Diskusjon 

15.15     Kaffe 

15.45     St}lhane, Tor (Dlab, SINTEF): "Software Metrics, Current Trends and
          Future Development" 

16.05     Olsson, Roland og Olsen, Kai A. (M|re og Romsdal dh): "C-as a
          functional programming language"  

16.25     Jervell, Herman Ruge (UiO, UiT|): "A Husserlian framework for
          describing large systems"  
       

16.45     Diskusjon 


19.00     Middag



Onsdag 18. november 1992

08.30     Landsverk, Olav, Greipsland, Jarle, Solheim, Jon Gunnar, Mathisen,
          Jan Anders, Dahle, H}kon, Utne, Lisbet (Idt, NTH):  "RENNS - a
          REconfigurable Neural Network Server" 

08.50     Mathisen, Jan Anders, Greipsland, Jarle, Smedseng, St}le (Idt, NTH):
          "Dynamic reconfigurability - a new approach to computer systems" 

09.10     Gjessing, Stein, Stone, Glen, Wiggers, Hans (Ifi, UiO):  "RamLink: A
          New Memory Architecture" 

09.30     Diskusjon 

09.45     Kaffe 

10.15     Stor|y, S. og S|revik, T. (Ifi, UiB):"A Parallel Implementation of
          The Hungarian Algorithm"

10.35     Manne, Fredrik, S|revik, Tor (Ifi, UiB): "Partitioning of Sequences" 

10.55     Amble, Tore, Mollestad, Torulf (Idt, NTH): "Mechanising Temporal
          Reasoning in a Montague Framework"  

11.15     Diskusjon 

11. 30    Nytr|, \ystein (Idt, NTH): "A structure measure for Horn clauses:
          Yardstick for program and rule-base development" 

11.50     Lysne, Olav (Ifi, UiO):  "Towards Mechanizing Proofs by Structural
          Induction" 

12.10     Nossum, Rolf (Agder dh & Kongsb. ing.h.sk): "Halvautomatisk semantisk
          fortolkning av en modal slutningsregel"  

12.30     Diskusjon 

12.45     Lunch 

14.00     Maus, Arne (Ifi, UiO & SIFF): "Solutions to a trivial problem - a
          study in programming paradigms"  

14.20     Wasson, Barbara (TF, Troms|): "Automating the Development 
          of Intelligent Learning Environments: A Perspective on Implementation
      	  Issues" 

14.40     Grimstad, Terje, Maartmann-Moe, Erling, Aas, Gisle (NR): "Real time
          multimedia conference with voice and global window" 

15.00     Diskusjon 

15.15     Slutt