See CfP below. Happy New Year to all!

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: 6 January 2017 at 08:43
Subject: Fwd: Happy New Year and PSI'17. CALL FOR PAPERS
To: Jonathan Bowen <[log in to unmask]>
Cc: Dines Bjorner <[log in to unmask]>

Dear Jonathan,

It seems you know how to spread the news of PSI'17:

http://psi.ispras.ru/en/

[...]

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/