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.

Last modified: May 21, 2012.