2,399 followers
Congrats to Anupam Das and Marianna Girlando from @uobcompsci for winning the 'Best Paper Award' at IJCAR '22 for their paper "Cyclic proofs, hypersequents, and transitive closure logic": https://t.co/wbzCbyOs6z
Congrats to Anupam Das and Marianna Girlando from @uobcompsci for winning the 'Best Paper Award' at IJCAR '22 for their paper "Cyclic proofs, hypersequents, and transitive closure logic": https://t.co/wbzCbyOs6z