Cool Logic

Robert White (ILLC)

Automated Reasoning in the Wild

October 14th at 18:30, in F1.15

Only in this talk, we will catch réasoners! These days, réasoners are everywhere around us: in trains, air-planes, biology labs and even in your phones! Enriching Réasondex and using réasoners for hard mathematical and logical problems is getting more and more popular for us logicians! Only in this talk, we will catch réasoners of different types! Get your réasonballs ready and let's go!