Skip to Content.
Sympa Menu

coq-club - [Coq-Club]Ph.D. in Symbolic Computation at RISC-Linz

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]Ph.D. in Symbolic Computation at RISC-Linz


chronological Thread 
  • 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




Archive powered by MhonArc 2.6.16.

Top of Page