Email Gateway (Aug 22 2022 at 20:19): Email Gateway (Aug 22 2022 at 20:19):From: Ekaterina Komendantskaya <komendantskaya@gmail.com>
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
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/
Last updated: Nov 21 2024 at 12:39 UTC