Logic List Mailing Archive

NVTI Theoriedag (Utrecht, March 2005)

We invite you to attend the Dutch Computer Science Theory
   Day organized by NVTI on March 4, 2005 in Utrecht
   (Vergadercentrum Hoog Brabant, near the central station).
   The invited speakers will be
     Prof. Dr. F. van Harmelen (Free University, Amsterdam)
     Prof. Dr. A.K. Lenstra (Bell Labs and TU/e)
     Prof. Dr. R. Cramer (CWI and University Leiden)
     Dr. E. Meijer (Microsoft Research)
   The lectures will be given in English.
   See below for the detailed programme.

AANKONDIGING
************

Theoriedag 2005 van de NVTI (Nederlandse Vereniging voor Theoretische
Informatica)

Vrijdag 4 maart 2005 Vergadercentrum Hoog Brabant, Utrecht

Het is ons een genoegen u uit te nodigen tot het bijwonen van de
Theoriedag 2005 van de NVTI, de Nederlandse Vereniging voor Theoretische
Informatica, die zich ten doel stelt de theoretische informatica te
bevorderen en haar beoefening en toepassingen aan te moedigen. De
Theoriedag 2005 zal gehouden worden op vrijdag 4 maart 2005, in
Vergadercentrum Hoog Brabant te Utrecht, gelegen in winkelcenrum Hoog
Catherijne, op enkele minuten loopafstand van CS Utrecht, en is een
voortzetting van de reeks jaarlijkse bijeenkomsten van de NVTI die tien
jaar geleden met de oprichtingsbijeenkomst begon.

Evenals vorige jaren hebben wij een aantal prominente sprekers bereid
gevonden deze dag gestalte te geven met voordrachten over recente en
belangrijke stromingen in de theoretische informatica. Naast een
wetenschappelijke inhoud heeft de dag ook een informatief gedeelte, in de
vorm van een algemene vergadering waarin de meest relevante informatie
over de NVTI gegeven zal worden.


Programme

9.30-10.00: Ontvangst met koffie

10.00-10.10: Opening

10.10-11.00: Lezing Prof. Dr. F. van Harmelen (VU)
              Titel: Anytime logical inference:
                     Better half an answer in time
                     than a perfect answer too late

11.00-11.30: Koffie

11.30-12.20: Lezing Prof. Dr. A.K. Lenstra (Bell Labs en TU/e)
              Titel: Information security, cryptology and factorizing

12.20-12.50: Korte Presentaties

12.50-14.10: Lunch (Zie beneden voor registratie)

14.10-15.00: Lezing Prof. Dr. R. Cramer (CWI en Universiteit Leiden)
              Titel: Compressed pseudo-random secret sharing and
                     its applications to practical secure
                     multi-party computation

15.00-15.20: Thee

15.20-16.10: Lezing Dr. E. Meijer (Microsoft Research)
              Titel: Type-system support for native data integration
                     in object-oriented languages

16.10-16.40: Algemene ledenvergadering NVTI


Lunchdeelname
-------------

Het is mogelijk aan een georganiseerde lunch deel te nemen; hiervoor is
aanmelding verplicht. Dit kan per email of telefonisch bij Susanne van Dam
(susanne@cwi.nl, 020-592 4189), tot een week voor de bijeenkomst (25
februari). De kosten kunnen ter plaatse voldaan worden; deze bedragen
ongeveer Euro 15. Wij wijzen erop dat in de onmiddellijke nabijheid van de
vergaderzaal ook uitstekende lunchfaciliteiten gevonden kunnen worden,
voor wie niet aan de georganiseerde lunch wenst deel te nemen.