[Club2] Nominal2?

Christian Urban urbanc at in.tum.de
Wed May 12 09:02:59 CEST 2010


Hi All,

Would people terribly mind if I give a talk on 
Friday the 28th about what Cezary and I are up 
to with the new Nominal Package? 10 o'clock
might be a good time. If this clasehes or is
too much talks in one week, please let me know.

Best wishes,
Christian


Jasmin Blanchette writes:
 > Hi all,
 > 
 > Because of the Aschewolke I had to change my vacation plans and 
 > reschedule my talks. Here is the new schedule:


More information about the Club2 mailing list