FroCoS/TABLEAUX Workshops


The 25th Workshop on Automated Reasoning (ARW 2019)

Organizers: Florian Kammueller (Middlesex University) and Alexander Bolotov (University of Westminster)

The ARW 2019 website is located here and information on the long-standing series of ARW workshops can be found here.

Journeys in Computational Logic: Tributes to Roy Dyckhoff

Organizers: Stéphane Graham-Lengrand (SRI International), Ekaterina Komendantskaya (Heriot-Watt University) and Mehrnoosh Sadrzadeh (Queen Mary University of London)

Please see the workshop's website for the program.