coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Guenter Landsmann <phd-coordinator AT risc.uni-linz.ac.at>
- To: coq-club AT pauillac.inria.fr
- Subject: [Coq-Club]Ph.D. in Symbolic Computation at RISC-Linz
- Date: Tue, 14 Nov 2006 11:46:51 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Dear colleague,
RISC-Linz offers a PhD program in symbolic computation.
Would you be so kind to print out the attached pdf file and post it to your
billboard.
Thank you in advance.
Sincerely yours
Guenter Landsmann
PhD-coordinator, RISC-Linz
Attachment:
flyer.pdf
Description: Adobe PDF document
- [Coq-Club]Ph.D. in Symbolic Computation at RISC-Linz, Guenter Landsmann
Archive powered by MhonArc 2.6.16.