3 Sep 2019
London, England
CALL FOR PARTICIPATION Journeys in Computational Logic: Tributes to Roy Dyckhoff at TABLEAUX 2019, the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Middlesex University, London https://tableaux2019.org/ Main conference: 3 September to 5 September 2019 Journeys in Computational Logic: 3 September 2019 Roy Dyckhoff (1948 - 2018) worked in logic and proof theory, having begun his career as a topologist and category theorist (for which one of his thesis advisors was Dana Scott). Much of his work concerned various aspects of intuitionistic logic, but he also contributed to work in programming languages, type theory, natural language processing, and model checking. The event will commemorate and celebrate Roy's work, by speakers who have crossed paths with Roy, and/or whose work or scientific views have been influenced by him. The workshop will follow the Tableaux invited talks by Sara Negri and Stéphane Graham-Lengrand, also dedicated to Roy's work and contribution to the field. The list of contributors is as follows: * Marta Bilkova * Alessio Guglielmi * Jacob Howe * Jael Kriener * James McKinna * Mehrnoosh Sadrzadeh * Peter Schroeder-Heister * Christian Urban SOCIAL EVENT The workshop will be followed by the Tableaux welcome reception. ORGANISERS If you have any questions, or wish to contribute a talk, please contact the organisers: * Ekaterina Komendantskaya: http://www.macs.hw.ac.uk/~ek19/ * Stephane Graham-Lengrand: http://www.csl.sri.com/users/sgl/ * Mehrnoosh Sadrzadeh: https://msadrzadeh.com/ -- Dr Paulo Oliva Reader in Mathematical Logic School of Electronic Engineering and Computer Science Queen Mary University of London +44 (0) 207 882 5255 http://www.eecs.qmul.ac.uk/~pbo -- [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