Journeys in Computational Logic: Tributes to Roy Dyckhoff

Middlesex University, London, 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.

Venue: The event will be co-allocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Middlesex University, London.

Programme

3 September 2019

14:00 - 15:00
Tableaux invited talk
Stéphane Graham-Lengrand and Sara Negri
Remembering Roy Dyckhoff
15:00 - 15:30
Coffee break
15:30 - 17:00
Contributed talks (tentative schedule)
Peter Schroeder-Heister Roy Dyckhoff and proof-theoretic semantics
Jacob Howe Incremental Closure for Systems of Two Variables Per Inequality
Jael Kriener
17:00 - 17:30
Coffee break
17:30 - 19:00
Contributed talks (tentative schedule)
Mehrnoosh Sadrzadeh Journeys in cut elimination for logics of actions, propositions, and modalities
Christian Urban Nominal Unification and Roy
James McKinna
Alessio Guglielmi Roy Dyckhoff Was a Rare Nonconformist
19:00 - 20:00
Social event
The workshop will be followed by the Tableaux welcome reception.

Organising Committee

Workshop Organisers
Ekaterina Komendantskaya, Heriot-Watt University, UK
Stephane Graham-Lengrand, SRI International Computer Science Laboratory, USA
Mehrnoosh Sadrzadeh, University College London, UK