Meetings
In the group Software Technology we have a two-weekly meeting on Wednesday
in C007 (in the CGN building on the same floor as the where the ST group
has its rooms)
at which one or more of the members of the group will give a talk
about a certain subject. The talks can be used a practice for
conferences, repeats of talks at conferences, or simply because you found
something interesting or useful for others in the group to know.
Since the course year 2001/2002, we alternate the ST meeting talk with
the meeting of the Generic Haskell group. Talks of both types generally
start at 12:00 and can last until 14:00. However, when an ST-meeting talk takes
more than one hour, then the talk starts at 11:00.
The meetings for the course year 2001/2002 are listed below. In some cases the
information is subject to change. Every meeting shall also be announced
on the Softtech mailing list.
Before the meetings, which is to say every week, there can be an ST meeting
of the faculty starting at 11:00. It takes place by default: that is unless
you get information over the Softtech mailing list that it will not take place.
It will not take place, if the ST meeting talk takes more than one hour.
Occasionally I will also mention talks in our group, other than those of
the ST meetings. In those cases I will list the time, day and room.
If you want to be ranked among the elite to have given a talk at these
meetings, please e-mail Jurriaan Hage.
Rooms
All talks until the end of June of 2002 take place in C007 in CGN.
Hardware
Please note that if you need special hardware of some kind like a beamer
or a laptop, then you must reserve these yourself by e-mailing
balie. A overhead projector is
provided for.
Meetings still to come
- 2nd of October: Tobias Wrigstad from Stockholm University: External Uniqueness.
Abstract: Challenging conventional wisdom, this talk contends that
the current approach to uniqueness in object-oriented
programming languages is incompatible with the goals of
object-oriented programming: the extant model of uniqueness
breaks abstraction.
To counter this an alternative is proposed: external uniqueness.
The idea is that an externally unique reference is the only
reference into an aggregate object from outside the aggregate.
Our definition relies essentially on the (deep) ownership types
of Clarke, Potter, and Noble.
This talk presents an informal account of external uniqueness,
arguing that it is better suited to object-oriented programming
than ordinary uniqueness.
This work is joint with Dave Clarke.
A list of earlier talks
- 1st of August (at 12:00 in C007):
Gordon Cichon: Efficient Software Development for high-performance, low-power DSPs
- 12th of June: Bastiaan Heeren: Correctness Of Bottom-Up Type Inference Rules
With Constraints On Types
- 1st of May: Arthur Baars about permutation parsers (2nd practice talk
for the Onderzoeksdag).
- 17th of April: Arthur Baars about permutation parsers (practice talk
for the Onderzoeksdag).
- 23rd of January 2002: Frank Atanassow Intensional Type Semantics.
- 12th of December: Dave ClarkPrivacy or piracy: enforcing object encapsulation with ownership types
- 14th of November: Adé Azurat: xMECH
- 31st of October: Atze Dijkstra: WebObjects.
Demonstration and informal explanation.
- 17th of October: Daan Leijen: The Lazy Virtual Machine
followed by Mark Shields: First-class Modules for Haskell.
- 3rd of October: Arjan IJzendoorn/Rijk-Jan van Haaften
Title: Introducing HaskellLight
- 19th of September: two talks, one by Ralf Hinze
The second talk is by Jurriaan Hage.
- ST meeting 7th of June. Martijn Schrage
Title: Xpres, a declarative presentation language for XML
- ST meeting 10th of May. Daan Leijen.
Title: Parsec, a monadic parser library for Haskell.
- ST meeting 29th of March. Dr. Ir. W.J. Toetenel.
Title: Fairness in parametric real-time model-checking, a first experiment
- ST meeting 15th of March. Ralf Hinze.
Title: A Simple Implementation Technique for Priority Search Queues
- ST meeting 1st of March. Wishnu Prasetya - Embedding.
- Extra meeting 26th of February. Robert Glück
Title: Inverse Computation in a Functional Language
If you want to give a talk, email Jurriaan Hage.