HDTenEightyP/NetNews huggingface dataset:
From: meulenbr@cst.prl.philips.nl (Frans Meulenbroeks)
Newsgroups: nlnet.misc
Subject: Re: ned. talige woordenlijst
Date: 9 Apr 92 11:33:16 GMT
Distribution: nlnet

Iedereen bedankt die antwoord op mijn vraag heeft gegeven. 
Ik heb minstens een dozijn pointers gehad, en heb inmiddels
een geschikte lijst gevonden.
Mocht er nog iemand zijn die ook op zoek is naar een lijst dan ben ik
natuurlijk graag bereid om verder te helpen. Posten van de info hier
lijkt me een beetje "overdone" omdat er niemand gevraagd had naar de
antwoorden.

Nogmaals bedankt,
--
Frans Meulenbroeks        (meulenbr@prl.philips.nl)
	Philips Research Laboratories
From: e12bb06@titan.hts.hsa.nl (Gustav Rossner)
Newsgroups: nlnet.misc
Subject: Re: Waarom zegt niemand wat over de treinstakingen?
Date: 9 Apr 92 11:32:02 GMT
Distribution: nlnet
Organization: Hogeschool Alkmaar, The Netherlands.

Ik ben van mening dat de NS als taak heeft dat de treinen te laten rijden, Want dan is er werkgelegenheid voor ongeveer 30.000 man. Dat er ook mensen in de treinen zitten is bijzaak. 


-------------------------------------------------------------------------------
Gustav Rossner                       |----\  /----|  |---------\
Hogeschool Alkmaar (hts)             |     \/     |  |---------/
E-Mail: e12bb06@titan.hts.hsa.nl     |            |  |\_________
From: buurt1@rulfsw.leidenuniv.nl (Jasper Kips)
Newsgroups: nlnet.misc
Subject: Re: Waarom zegt niemand wat over de treinstakingen?
Date: 8 Apr 92 15:11:23 GMT
Distribution: nlnet
Organization: Leiden University Faculty of Social Sciences

In article <1992Apr6.113531.18866@fwi.uva.nl>, koopal@fwi.uva.nl (Andre
Koopal) writes: 
> 
> Een leuk alternatief is misschien dat de conducteuren hun werk niet meer naar
> behoren doen. Wel de trein door om de veiligheid van de passagiers te garan-
> deren, maar geen kaartjescontrole. Dan kan iedereen die dagen dus gratis
> de trein pakken. Alleen ik heb er niets aan, want ik heb een OV-studenten-
> kaart. (:-) + :-( ).
> 
Grapje zeker, ik word in mider dan 1/5 van de keren dat ik in de trein 
zit gecontroleerd. Nee dat doen de conduteurs allang.
From: rdb@ktibv.uucp (Rob den Braasem)
Newsgroups: nlnet.misc
Subject: Re: Waarom zegt niemand wat over de treinstakingen?
Date: 7 Apr 92 15:41:54 GMT
Distribution: nlnet
Organization: KTI BV

ouwendyk@prso.pttnwb.nl (A.P.J. Ouwendijk) writes:

>|> Om het aantal vragen/flames te beperken: Ik heb vandaag gefietst
>|> (26 km) en ik ben van plan dat de komende dag(en?) ook te doen.
>|> Tijdvergelijking Nijkerk-Bilthoven:
>|> lopen +trein+bus+lopen 1 uur
>|> fietsen 1 uur 3 kwartier
>|> 
>|> Steven van Uitert

>Tijdvergelijking Rotterdam-Den Haag 
>lopen + trein + lopen	40 min  
>fietsen			55 min  (22 km)
>auto            	20 min	(28 km)
>			Bij de auto-tijden zijn vertragingen t.g.v.
>			files niet meegerekend, want dat telt een
>			echte automobilist nu eenmaal niet.
Nog een leuk voorbeeld
Krimpen a/d IJssel -> Zoetermeer

Lopen + trein + lopen 2.5 Hr 
Lopen + bus + bus + lopen 2 Hr
Fiets                     1.5 Hr ( 30 Km)
Auto	                  30 min ( geen file)
                          50 min ( Met file)

En ik zou met het openbaar vervoer moeten gaan of gaan fietsen !!!!?????

Hier klopt toch iets niet .


Happy Hacking "PABRAS"
(aka The Graphical Gnome)

-----------------------------------------------------------------------------
| Rob den Braasem    | "Before I sink into the big   | Voice :-31-79-531825 |
|                    |  sleep, I want to hear the    | Fax   :-31-79-513561 |
|                    |  scream of the butterfly."    | Mail  :              |
| "PABRAS"           |  J. Morrison                  | rdb!ktibv@sun4nl     |
| KTI bv             |-------------------------------| ---------------------|
| P.O. Box 86        | "I die when it's time for me to die. So let me live  | 
| 2700 AB Zoetermeer |   my life the way I want to."                        |
| The Netherlands    |   Jimi Hendrix                                       |
-----------------------------------------------------------------------------
From: e12bb06@titan.hts.hsa.nl (Gustav Rossner)
Newsgroups: nlnet.misc
Subject: Re: Autonummer
Date: 9 Apr 92 12:15:42 GMT
Distribution: nlnet
Organization: Hogeschool Alkmaar, The Netherlands.

In <EPHRAIM.92Mar29134918@fysas.fys.ruu.nl> ephraim@fysas.fys.ruu.nl (Michiel Ephraim) writes:

>>>>>> On 26 Mar 92 15:24:55 GMT, dolf@echo.philips.nl (Dolf Grunbauer) said:


>Dolf> Even een korte vraag: is het toegestaan (dat wil zeggen: dus niet expliciet
>Dolf> verboden) om het nummerbord van een auto ondersteboven op te hangen ?
>Dolf> Volgens mij staat er in de wet wel dat je verplicht een goed leesbaar
>Dolf> nummerbord te hebben met (tegenwoordig dan) zwarte letters op een gele
>Dolf> ondergrond enz, maar staat er ook echt dat je het niet mag omdraaien ?
>Dolf> Het blijft zo dan wel goed leesbaar nietwaar ?

>Deze vraag is voor de deskundigen. Echter het heeft volgens mij geen zin.
>Bij een snelheidscontrole draait de opsporingsambtenaar de foto om en kan
>zo alsnog het nummer lezen.

>Overigens zijn goede en betrouwbare methoden om snelheidsboetes te
>voorkomen altijd welkom.

>-- Michiel --

-------------------------------------------------------------------------------
Een betrouwbare methode is reflectoren rond het nummerbord monteren, zodat
het IR-flitslicht gereflecteerd wordt.

Groetjes,

GUSTAV


-------------------------------------------------------------------------------
Gustav Rossner                       |----\  /----|  |---------\
Hogeschool Alkmaar (hts)             |     \/     |  |---------/
E-Mail: e12bb06@titan.hts.hsa.nl     |            |  |\_________
From: frankt@cwi.nl (Frank Teusink)
Newsgroups: nlnet.misc
Subject: Re: Waarom zegt niemand wat over de prijsverhogingen?
Date: 13 Apr 92 11:31:33 GMT
Distribution: nlnet

kremer@cs.utwente.nl (Harro Kremer) writes:


>In article <MARC.92Apr12101157@mamba.es.ele.tue.nl>, marc@es.ele.tue.nl (Marc
[Stuff deleted]

>|> Zie hier weer de grote voordelen van het privatiseren van overheidsbedrijven
>|> die een monopolie bezitten. 

>Onzin. Het 'economisch marktprincipe' is hier van toepassing: Je bent niet
>verplicht met de trein te gaan en kunt dus voor andere vervoersmiddelen kiezen:
>Fiets, auto etc.

Ten opzichte van mensen zonder auto heeft de NS wel degelijk een 
monopolie, omdat voor hen een praktisch alternatief voor de trein
ontbreekt voor grotere afstanden.

>Door het voorstel van de NS gaat de prijs van de auto lijken op de prijs van de
>trein: Eenzelfde basisprijs per kilometer, gecombineerd met een toeslag voor
>drukke tijden: De spitstoeslag van Mai Weggen en de spitstoeslag van de NS.

Volgens mij is echter de spitstoeslag niet bedoeld als een 'economische'
maatregel. De bedoeling van de spitstoeslag is om meer mensen
in het OV te krijgen of hen te dwingen gebruik te maken van car-pooling.
Als je reizen met het OV duurder maakt, zullen minder mensen voor het
OV kiezen, en wordt de doelstelling voor het instellen van de
spitstoeslag niet bereikt.

Vriendelijke groeten, 

Frank Teusink
frankt@cwi.nl
From: acbversp@cs.ruu.nl (Aart Verspuij)
Newsgroups: nlnet.misc
Subject: Huisje en/of caravan te huur in Hongarije
Date: 9 Apr 92 09:15:21 GMT
Distribution: nlnet
Organization: Utrecht University, Dept. of Computer Science



Hongarije - Balatonmeer.

Te huur: caravan in vrije tuin.
300 meter afstand van het Balatonmeer.
Geschikt voor 3 personen.
Voor- en naseizoen: DM 10 per persoon per dag.
Hoogseizoen:        DM 12.50 per persoon per dag.



Hongarije - Sopron.

Te huur: huisje in vrije tuin aan de rand van de stad Sopron.
Openbaar vervoer: 3 min lopen.
Geschikt voor 3 personen.
Voor- en naseizoen: DM 10 per persoon per dag.
Hoogseizoen:        DM 12.50 per persoon per dag.


Informatie: tel. 03417-57080
of email acbversp@cs.ruu.nl
From: peterb@cs.utwente.nl (Peter Bosch)
Newsgroups: nlnet.misc
Subject: Re: Waarom zegt niemand wat over de treinstakingen?
Date: 6 Apr 92 15:36:55 GMT
Distribution: nlnet
Organization: University of Twente, Dept. of Computer Science

albertm@es.ele.tue.nl (Albert Mietus) writes:

>In article <RAYMOND.92Apr6093340@cobra.es.ele.tue.nl> raymond@es.ele.tue.nl (Raymond Nijssen) writes:

>Bovendien: "de bond" vindt dat er gestaakt moet worden, dus wordt er gestaakt.
>Of dat nu zinvol is of niet, of dat de mensen, *opnieuw* uit het openbaar
>vervoer jaagt of niet, etc etc. dat maakt niet uit.

Dan wordt het tenminste weer lekker rustig in de trein, goede zaak 
dat staken ;-).

Peter Bosch.
From: RKooijman@dnpap.et.tudelft.nl (Richard Kooijman DNPAP)
Newsgroups: nlnet.misc
Subject: Re: Waarom zegt niemand wat over de prijsverhogingen?
Date: 13 Apr 92 18:12:40 GMT
Distribution: nlnet
Organization: Delft University of Technology, Dept. of Electrical Engineering

RKooijman@dnpap.et.tudelft.nl (Richard Kooijman DNPAP) writes:

>Als ze duurder worden dan zijn ze op een gegeven moment zo duur, dat je
>het beste een enkeltje kunt kopen en met je nieuwe auto naar huis kunt
>gaan.                                                        ^^^^
                                                              ||||

Ik was huis vergeten, sorry.

Richard.
--
-- ir. Richard Kooijman ------------------- Email: RKooijman@ET.TUDelft.NL --
-- Intelligent Network Management Project (INEMA) ---------------------------
-- CARDIT, Delft University of Technology ------------ Tel: (31)-15-786209 --
-- P.O.Box 5031, 2600 GA Delft, The Netherlands ------ Fax: (31)-15-784898 --
From: marc@es.ele.tue.nl (Marc Heijligers)
Newsgroups: nlnet.misc
Subject: Re: Waarom zegt niemand wat over de treinstakingen?
Date: 6 Apr 92 10:49:55 GMT
Distribution: nlnet
Organization: Eindhoven University of Technology, Eindhoven, The Netherlands.
In-reply-to: kloe@fys.ruu.nl's message of 6 Apr 92 08:55:13 GMT


Zouden ze niet gewoon solidair financieel kunnen staken?

Wij kopen geen kaartjes, en zij kontroleren ze niet. De directie gedupeerd
vanwege het verlies, en een hele hoop mensen ineens heel wat meer begrip voor
de situatie. 

Ik ben benieuwd wat er zou gebeuren als de PTT zou staken en het telefoonnet
plat zou leggen. Of wat als newsnet ineens plat zou kome
From: joost@paramount.nikhefk.nikhef.nl (Joost Wesseling)
Newsgroups: nlnet.misc
Subject: Leuke banen ..........
Summary: Banen voor fysici
Keywords: Baan, Gepromoveerd, Leuk, Uitdagend, ....
Date: 16 Apr 92 10:47:11 GMT
Distribution: nlnet
Organization: NIKHEFK

Zijn er nog leuke banen in de (evt toegepaste) wetenschap voor gepromoveerde
fysici in dit land ? Iets met research of computers, het maakt niet bijzonder
uit wat de exacte richting is, zolang het maar uitdagend is!

Indien ze er zijn zou ik een email-tje bijzonder waarderen!

Joost Wesseling

/* ==================================================================== */
/* *******        mail: joost@paramount.nikhefk.nikhef.nl        ****** */
/* ******    or: {..!uunet.uu.net}!mcvax!hp4nl!paramount!joost	 ****** */
/*  The National Institute for Nuclear Physics and High-Energy Physics  */
/* P.O.Box 4395, 1009 AJ Amsterdam, The Netherlands, phone:+31205922142	*/
/* ================= Things can *ALWAYS* get worse ==================== */
From: arnoldn@cs.ruu.nl (Arnold Niessen)
Newsgroups: nlnet.misc
Subject: Re: AARDBEVING
Date: 14 Apr 92 11:08:35 GMT
Distribution: nlnet
Organization: Utrecht University, Dept. of Computer Science

In <1556@titan.hts.hsa.nl> e12bb06@titan.hts.hsa.nl (Gustav Rossner) writes:

>Beste mensen,
>Ik vind het schandalig dat er geen rampen fonds of zoiets dergelijks wordt
>gecreeerd, want als er een aardbeving in het buitenland plaatsvindt, dan 
>vliegen er allerlij gironummers over de TV. Is er een aardbeving in Nederland,
>dan laten wij onze eigen mensen in de kou staan. DIT VIND IK NOU SCHANDALIG!!

Dat verzekeringsmaatschappijen hun failliet proberen te voorkomen
door natuurgeweld, kernreacties etc. in de polis uit te sluiten is
nog tot daar aan toe. Maar dat ze een schade die hen de kop niet
zal kosten niet uitkeren, zich beroepend op zo'n uitsluiting,
is ronduit <hier iets negatiefs invullen>.

Arnold.
From: edwin@cs.ruu.nl (Edwin Kremer)
Newsgroups: nlnet.misc
Subject: Re: looking for new xv
Summary: XV Image Viewer is available via anonymous ftp from archive.cs.ruu.nl
Keywords: image-display source X
Date: 11 Apr 92 22:19:58 GMT
Distribution: nlnet
Organization: Utrecht University, Dept. of Computer Science
X-Comp-Archives-Magic-Cookie: archive.cs.ruu.nl:/pub/X11/xv-2.11.tar.Z

J.P.M. van der Jagt schrijft:

   | Michiel Betel schrijft:
   | 
   | >Ik ben op zoek naar de source van een meer recentere
   | >versie van xv dan Rev 11/26/90. Met name de versie dir
   | >jpeg files kan uitpakken.

   | Wel eens gehoord van "archie" ? (of xarchie, for that matter)

Ja, daar heeft Michiel vast wel eens van gehoord en ook vast wel eens met een
beetje weemoed in z'n hart over na lopen denken, maar aangezien niets in de
domain name servers erop wijst dat "ahk.nl" een Internet aansluiting heeft,
is Michiel met dit goedbedoelde advies waarschijnlijk weer een
teleurstelling rijker...

Mogelijk kan dit Michiel weer iets gelukkiger maken; onze mail-server stuurt
je de nieuwste XV (versie 2.11) met alle plezier. Details volgen.

________________________________________________________________________
  We, Computer Science department, Utrecht University,  are  running  an
anonymous  FTP  server  on  one  of  our systems. In addition to the FTP
service we're also running a mail  server,  for  those  of  you  without
direct Internet access.


--> How to get 'XV Image Viewer' via anonymous FTP:

	Site:		archive.cs.ruu.nl  [131.211.80.5]
	Login:		"anonymous" or "ftp"
	Password:	your own email address (you@your_domain)
	File:		X11/xv-2.11.tar.Z


--> How to get 'XV Image Viewer' via e-mail from our mail-server:

    NOTE: In the following I have assumed that your mail address is
	  "fred_flintstone@stone.age.edu"; of course you must substitute
	  your own address for this.
	  ** PLEASE USE VALID DOMAIN ADDRESSES. DO NOT USE ADDRESSES **
	  ** WITH ! and @ MIXED !!!! BITNETTERS USE USER@HOST.BITNET **


    Send the following message to
		mail-server@cs.ruu.nl
    or the old-fashioned path alternative
		uunet!mcsun!sun4nl!ruuinf!mail-server


      begin
      path fred_flintstone@stone.age.edu (SUBSTITUTE *YOUR* ADDRESS)
      send X11/xv-2.11.tar.Z
      end


The path command can be deleted if we receive a valid from address in your
message. If this is the first time you use our mail server, we suggest you
first issue the request:

      send HELP


  A complete "ls-lR" listing of the archive is  kept  in  the  top-level
directory, it will be updated every night. To get it, issue the command:

     send ls-lR.Z



  That's all for now. If you encounter problems using  the  FTP  service
and/or the mail-server, feel free to drop me a line (by e-mail, please).


						--[ Edwin ]--
-- 
Edwin Kremer, systems and network administrator.  [NIC-Whois handle: EHK3]
     Department of Computer Science,  Utrecht University,  The Netherlands
     Email: edwin@cs.ruu.nl                NeXT-mail: edwin@edge.cs.ruu.nl
From: e12bb06@titan.hts.hsa.nl (Gustav Rossner)
Newsgroups: nlnet.misc
Subject: Re: Waarom zegt niemand wat over de treinstakingen?
Date: 9 Apr 92 09:18:22 GMT
Distribution: nlnet
Organization: Hogeschool Alkmaar, The Netherlands.

Ik ben van mening dat de NS als taak heeft dat de treinen te laten rijden, Want dan is er werkgelegenheid voor ongeveer 30.000 man. Dat er ook mensen in de treinen zitten is bijzaak.
From: Rob.vanGerwen@phil.ruu.nl (Rob van Gerwen)
Newsgroups: nlnet.misc
Subject: Re: Waarom zegt niemand wat over de treinstakingen?
Date: 8 Apr 92 13:39:47 GMT
Followup-To: nlnet.misc
Distribution: nlnet
Organization: Dept. of Philosophy, Univ.of Utrecht

In article <1992Apr8.095027.11308@rivm.nl>, mtvfb@rivm.nl (Fokke de Boer) wrote:
> 
> Ja, ik weet dat ik nu wel wat vlammen over me heen zal krijgen, maar toch:
> 
> Ik vind, dat men op fiets- dan wel OV-afstand cq tijd van zijn werk zou moeten 
> wonen. Deze tijd dan wel afstand moet "redelijk" zijn. Wat redelijk is, maakt
> ieder maar voor zichzelf uit. Mijn conlusies (ik woon gewoon in de plaats
> waar ik werk) over de genoemde afstanden/tijden:
> 
> tgcpwd@rw9.urc.tue.nl (Wim van Dorst) writes:
> : Steven van Uitert schrijft:
> : > Tijdvergelijking Nijkerk-Bilthoven:
> 
> 	Kan nog NET denk ik.
> 
> : A.P.J. Ouwendijk schrijft
> : >Tijdvergelijking Rotterdam-Den Haag 
> 
> 	Kan prima, lijkt me.
> 
> : Rob den Braasem schrijft:
> : >Krimpen a/d IJssel -> Zoetermeer
>    
>    Dit is duidelijk iemand, die zou moeten verhuizen  (vlam verwacht :-)
> 
> : Ik kan niet achter blijven:
> : Tijdvergelijking Huizen (nh) -> Hengelo (ov)
> :   Auto (!) - trein - fiets: 2h15min
> :   Bus - trein - fiets: onmenselijk
> :   Auto: 67min
> : Prijsvergelijking: 
> :   Auto: ~ f 800 per maand (oud dieseltje)
> :   auto-trein-fiets: ~ f 950 per maand (op basis van een maandnetkaart)
> 
> 	En dit is wel helemaal te gek! Het hele land door!!!
> 	Verhuizen dus!!
> 
> Voor degenen, die het nog niet door hadden: voorzie dit van de nodige :-),
> maar wel met een serieus bedoelde achtergrond!
> 
> Fokke de Boer (woon-werk afstand: 2.4 km, ongeveer 7 minuten!!)
> 


OUGHT IMPLIES CAN

Ofwel in Nederlands: je moet natuurlijk wel eerst de gelegenheid hebben
om zo lekker dicht bij je werk te wonen. De banen liggen (zeker in sommige
sectoren) niet voor het oprapen. Een beetje academicus weet dat toch. Als
dan je partner ook iets interssant van zijn/haar leven wil maken, zit je
soms met de gebakken peren. :-)

Het leven is wel eens complexer als het lijkt.

Rob.vanGerwen@phil.ruu.nl (Rob van Gerwen)
Dept. of Philosophy
Utrecht University
The Netherlands

"Christianity is Platonism for the people."
From: pe@dasc.nl (Peter J. Ebbelink)
Newsgroups: nlnet.misc
Subject: Re: Waarom zegt niemand wat over de prijsverhogingen?
Date: 13 Apr 92 20:00:43 GMT
Distribution: nlnet
Organization: Data Sciences B.V.

>>>De prijsverhogingen die de NS aankondigt voor vervoer in drukke tijden is te
>>>gek voor woorden, en zorgt voor steeds meer argumenten voor het auto gebruik.
>>>Zo zie je maar weer dat de NS geen enkele verantwoording meer dan hun eigen
>>>portemenee op zich neemt, met het excuus dat ze nu commercieel zijn.

Hier is een veel diepere motivatie voor: In de spits is het meeste
materieel nodig om te zorgen dat de trein niet NOG meer op vee vervoer
gaat lijken tijdens de spits. Ik ken de cijfers niet, maar ik denk dat
de NS in de spits zo'n 4 tot 7 keer zoveel mensen vervoert als in de
rest van de dag.  Dus doen ze wat het meest voor de hand ligt:
ONTMOEDINGS BELEID VOOR DE SPITSUREN: Alleen spitsrijders betalen
woeker bedragen, omdat deze de maximum hoeveelheid materieel bepalen.
(Bovendien zijn dit de kapitaalkrachtigen: Mensen met een baan, terwijl
de rest van de dag A.O.W.ers, huisvrouwen, W.W.ers etc reizen :-)
Op deze manier hoeven ze geen extra materieel aan te schaffen, geen
extra personeel in te zetten, de capaciteit van energie voorzieningen
niet aan te passen, etc, etc.  Dit komt geheel overeen met de al
uitgezette strategie met als troefkaart de daluren kaart. Nu ik er over
nadenk is ook dit een soort van DISCRIMINATIE (n.l. discriminatie van
de dagdienst lopende loonwerker) Ik vind dat wij als protest allemaal
de trein moeten mijden. Als we solidair 1 week lang ALLEMAAL de auto
pakken i.p.v. de trein komt Nederland ZO vast te zitten dat een
uitbreiding van het wegennet noodzakelijk is. Overleg tussen NS en
regering zal dan als uitkost hebben dat ze beter het treinverkeer
spot goedkoop kunnen maken om zodoende het wegennet te ontlasten om
zodoende uitbreidingen van het wegennet tegen te gaan! Ja toch??

-- 
-------------------------------------------------------------------------------
                      pe@dasc.nl (Peter J. Ebbelink)
   Data Sciences BV, P.O.Box 22669, 1100 DD Amsterdam, Voice: 31 20-6520652
         System Manager IVS & ACS2, Network manager IVS & ACS2,
            Infrastructure manager IVS/ACS2, UNIX consultant.
-------------------------------------------------------------------------------
#include <stddisclaimer.h>       This might not be the view of my employer.
From: emiel@kub.nl (Emiel Krahmer)
Newsgroups: nlnet.misc
Subject: Hans Kamp in ITK-colloquium
Date: 9 Apr 92 14:38:03 GMT
Distribution: nlnet
Organization: Tilburg University, Tilburg, The Netherlands


				   
			    ITK-COLLOQUIUM
				   
			      HANS KAMP
			     (Stuttgart)


	Generalized Quantifiers and other plural Noun Phrases



	Date:		Thursday April, 16th 1992
	Time:		16.00h - 17.00h
	Place:		Tilburg University, Room CZ 104 
 

After the seminar, refreshments will be offered.

		
	INSTITUTE FOR LANGUAGE TECHNOLOGY AND ARTIFICIAL INTELLIGENCE
	Warandelaan 2, 5037 GC TILBURG
	P.O.BOX 90153
	5000 LE TILBURG
	Phone: 013-663113
	Fax:   013-663110
	Email: peggyb@kub.nl
From: muts@fysap.fys.ruu.nl (Peter Mutsaers)
Newsgroups: nlnet.misc
Subject: internet aansluiting
Date: 15 Apr 92 20:50:44 GMT
Distribution: nlnet
Organization: Rijks Universiteit Utrecht

Wie kan mij wat informatie geven over mogelijkheden voor een (niet
particuliere) internet aansluiting en prijzen? Ik hoorde over een
mogelijkheid voor X.25+nlnet; is Surfnet ook mogelijk?

bvb dank,
--
_________________________________________________________________________
Peter Mutsaers.         |================================================ 
muts@fysap.fys.ruu.nl   |              Memento Mori
From: emiel@kub.nl (Emiel Krahmer)
Newsgroups: nlnet.misc
Subject: ITK-colloquium Heinrich Wansing
Date: 14 Apr 92 12:04:51 GMT
Distribution: nlnet
Organization: Tilburg University, Tilburg, The Netherlands


				   
		    I T K    C O L L O Q U I U M 


	    CATEGORIAL GRAMMAR AND FUNCTIONAL COMPLETENESS

				   
			   Heinrich Wansing
       (Freie Universitaet Berlin, Universiteit van Amsterdam)

				   
			       ABSTRACT

One of the main topics in recent investigations of Categorial Grammar
is the introduction of new type-forming operations into the Lambek
Calculus. In this talk positive sequential propositional logic PSPL
(also known as `positive non-commutative intuitionistic linear logic
without exponentials') is motivated as an extended parsing calculus. A
proof to the effect that PSPL's set of connectives is functionally
complete wrt a certain proof-theoretic semantics will be sketched and
evaluated.

Heinrich Wansing studied Philosophy and Linguistics in Dusseldorf and
Berlin. 1988/89 he was a guest at the Institute of Language, Logic and
Information at the University of Amsterdam. He has submitted a PhD
thesis on substructural and constructive propositional logics at the
Free University of Berlin where he is working in a research project on
information processing. This year he is working at the University of
Amsterdam. Heinrich Wansing's main fields of interest and competence
are substructural logics, Categorial Grammar and epistemic logic.


	Date:		Thursday April, 23th 1992
	Time:		15.30
	Place:		Tilburg University, Room RZ 25
 

After the seminar, refreshments will be offered.

		
	INSTITUTE FOR LANGUAGE TECHNOLOGY AND ARTIFICIAL INTELLIGENCE
	Warandelaan 2, 5037 GC TILBURG
	P.O.BOX 90153
	5000 LE TILBURG
	Phone: 013-663113
	Fax:   013-663110
	Email: peggyb@kub.nl