21-26 June 2017
Vichy, France
Dear colleagues, You are invited to submit abstracts to the following workshop on Logical Correctness at the 6t World Congress on Universal Logic (Vichy, France), June 21-26 (+ 16-21 June for the schools), 2018. http://www.uni-log.org/start6.html Sincerely yours, Fabien SCHANG James TRAFFORD -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam