CfP for PSI'17 from Dines Bjorner - see attachment.

Prof. Jonathan Bowen FBCS FRSA

Emeritus Professor of Computing, London South Bank University
Chairman, Museophile Limited
http://www.jpbowen.com

See The Turing Guide, Oxford University Press, 2017

---------- Forwarded message ----------
From: Dines Bjorner <[log in to unmask]>
Date: 13 January 2017 at 08:50
Subject: Fwd: PSI'17. Call for Papers
To: Jonathan Bowen <[log in to unmask]>
Cc: Dines Bjorner <[log in to unmask]>

Dear Jonathan,

Thanks for previous posting.

Can you also see to it that the

enclosed is also posted ?

Thanks

Dines

++++++++++++++++++++++++++++

Dines Bjørner, PhD, Dr.h.c., Prof. Emeritus,

DTU Compute, Dept. of Mathematics and Computer Science,

Techn.Univ.of Denmark, DK-2800 Kgs.Lyngby, Denmark
MAE, MRANS, ACM Fellow, IEEE Fellow
http://www2.imm.dtu.dk/~dibj/