Scott / TCS 2003 (fwd)

[Primoz PETERLIN]

-----BEGIN PGP SIGNED MESSAGE-----

Če koga zanima, glede na to, da turingovci v Ljubljani ne predavajo ravno
vsak dan...

Dana Scott je slavno ime teorijskega računalništva, ki je veliko
pripomogel k razumevanju delovanja programskih jezikov v okvirih
matematične logike. Ukvarja se s teorijo domen, lambda računom, avtomati,
izračunljivostjo in podobnimi stvarmi. Zadnja leta se posveča tudi
raziskavam osnov logike, filozofiji matematike in semantične analize
naravnih jezikov. Dana Scott si je z Michaelom Rabinom razdelil najvišjo
nagrado na področju računalništva, Turingovo nagrado, leta 1976, prejela
pa sta jo za članek o nedeterminističnih končnih avtomatih.

Lep pozdrav, Primož

- --
Primož Peterlin,   Inštitut za biofiziko, Med. fakulteta, Univerza v Ljubljani
Lipičeva 2, SI-1000 Ljubljana, Slovenija.  primoz.peterlin at biofiz.mf.uni-lj.si
Tel +386-1-5437632, fax +386-1-4315127,  http://biofiz.mf.uni-lj.si/~peterlin/
F8021D69 OpenPGP fingerprint: CB 6F F1 EE D9 67 E0 2F  0B 59 AF 0D 79 56 19 0F

- ---------- Forwarded message ----------
Date: Mon, 24 Feb 2003 10:07:07 +0100
From: vladimir.batagelj at Uni-Lj.si
To: sreda at fmf.uni-lj.si, sreda at fmf.uni-lj.si, vladimir.batagelj at Uni-Lj.si
Cc: bostjan.vilfan at fri.uni-lj.si
Subject: Scott / TCS 2003

Danes, 24. februarja 2003,  popoldne ob 18h bo v M3
na FMF, Jadranska 21/II prof.dr. Dana S. Scott s
CMU, Pittsburgh, ZDA imel predavanje na temo

     Infinite words

Vabljeni!

- ----------------------------------------------------------------------------
Prof. Vilfan mi je poslal obvestilo, da bo sredi oktobra letos
v Cankarjevem Domu v okviru IS 2003 tudi podkonferenca
o teoreti"cnem ra"cunalni"stvu. Podrobnosti so na

http://vlado.fmf.uni-lj.si/sreda/novice/TCS2003.htm

Vlado


-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (HP-UX)
Comment: For info see http://www.gnupg.org

iQB1AwUBPln8dT3bcxr4Ah1pAQHuwwL9EhshLsH2jwHELAzzLGGBy4r1shHlAwY6
Y7toFH6ISxDmm4HzQvIMnWbAPsNCSOsfpW/9X443ApuV6jY/wExhFAE997YzlHbV
YTiS4fRwcolIJN6oXnUU1UI4hY5nyMij
=8U8p
-----END PGP SIGNATURE-----