|
|
Nieuws NIII
[CSI]Colloquia in october and november, 10 Oktober 2003
[Short schedule at the end of this message]
On Mon Oct 13 2003 at 16:00:00 sharp,
Dr. Jaap-Henk Hoepman
of the SOS group of the NIII will give a talk in CZN4. There will becoffee and cookies in the hall 15 minutes before the talk starts.
The provisional title, "On the semantics of totally undocumented andunspecified code written by PhD. students", refers to a discussion we hadduring the "Dagje Uit". Should quickly hacked-together programs of, say,300 lines, be documented? Have a formal specification?
Jaap-Henk's actual talk will probably be about something different, likesecurity. The abstract will be sent 'round on monday.
Jaap-Henk is the only entry in october. November is much more crowded,with Mark vd. Zwaag on UML semantics, Malcolm Dowse, a special guest fromIreland, Erik Proper's inaugural speech, Adriaan de Groot on PVS, and TijnBorghuis of the IPA with a logic of information flow and domesticannouncements.
[quick schedule]
13 oct Jap-Henk Hoepman20 oct vrij Herfstvakantie27 oct vrij 3 nov Mark vd. Zwaag 5 nov Malcolm Dowse10 nov rede Inagurele rede Prof. Erik Proper17 nov Adriaan de Groot24 nov Tijn Borghuis 1 dec Martijn Warnier 8 dec Arjen v. Weelden15 dec Susan Even
We're pleased that the colloquium schedule for the remainder of 2003 isnow pretty much full (unless you really really want to speak on oct 27th).
-- Adriaan de Groot adridg@cs.kun.nl Kamer A6020 024-3652272GPG Key Fingerprint 934E 31AA 80A7 723F 54F9 50ED 76AC EE01 FEA2 A3FE http://www.cs.kun.nl/~adridg/research/
Huidig |
|
|
