[TYPES/announce] CFP HLPP 2016

Frédéric Loulergue frederic.loulergue at univ-orleans.fr
Wed Dec 2 16:45:24 EST 2015

Previous message: [TYPES/announce] Alan Turing Institute Fellowships
Next message: [TYPES/announce] Call for Papers for CL&C'16 (sixth International Workshop on Classical Logic and Computation- satellite workshop of FSCD 2016 (former TLCA + RTA))
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20151202/696ba3df/attachment-0001.html>

Previous message: [TYPES/announce] Alan Turing Institute Fellowships
Next message: [TYPES/announce] Call for Papers for CL&C'16 (sixth International Workshop on Classical Logic and Computation- satellite workshop of FSCD 2016 (former TLCA + RTA))
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list