FroCoS/TABLEAUX Workshops


The 25th Workshop on Automated Reasoning (ARW 2019)

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

Please see http://arw.csc.liv.ac.uk for information about the ARW series of workshops.

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)

More information on these workshops will be available soon.