[Flirts] Slides of FLIRST 2005 talks

[Till Mossakowski]

Dear FLIRTers

the FLIRTS 2005 meeting was really of high quality and made a lot
a fun. You can find the slides of the talks at

http://www.informatik.uni-bremen.de/flirts/flirts2005.html

Also, for one talk (about institutional Curry-Howard), you can
find a paper there.

Greetings,
Till
-- 
Till Mossakowski               Phone +49-421-218-4683
Dept. of Computer Science      Fax +49-421-218-3054
University of Bremen           till at tzi.de
P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till