[Aec-friends] Program of our SFB meeting, this Friday at RISC (Hagenberg)

Carsten Schneider cschneid at risc.jku.at
Wed Jan 24 11:53:47 CET 2018

Previous message: [Aec-friends] Next SFB meeting at RISC (Hagenberg), January 26
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear AEC-friends,

below is the program of our next SFB meeting.

Best wishes,
Carsten


12:00-14:00 Gasthaus Hametner

14:00-14:45 Veronika Pillwein (inequalities)

14:50-15:00 Tobias Magnusson (self-introduction)

15:00-15:30 Coffee break

15:30-16:15 Bernhard Gittenberger (lambda-terms and their de Bruijn 
representation)

Previous message: [Aec-friends] Next SFB meeting at RISC (Hagenberg), January 26
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Aec-friends mailing list