TCS and PAM seminar
We have a weekly informal seminar of the TCS group,
jointly with the
PAM-seminar from CWI,
on Fridays 15.30 - 16.30 at the VU.
Please contact
Femke van Raamsdonk
(e: femke at cs.vu.nl) if you wish to give a talk.
Next seminars
-
2012 05 25
room S664
Jeroen
Ketema (Imperial College London, UK)
Reinterpreting Compression in Infinitary Rewriting
Abstract:
Departing from a computational interpretation of compression in infinitary
rewriting, we view compression as a degenerate case of standardisation. The change
in perspective comes about via two observations: (a) no compression property can
be recovered for non-left-linear systems and (b) some standardisation procedures,
as a 'side-effect', yield compressed reductions.
-
2012 06 08
Daniel Gebler (VU)
-
2012 06 22
David
Williams (VU)
Previous seminars.
See
here
for a list of previous seminars.
Last modified: May 21, 2012.