back to root

back to PAAR 2020

Session 5: June 30, 18:00 - 19:30 (CET)

• Sophie Tourret

  2020-06-29 7:25:11 (GMT)

  This thread is to discuss about the talks presented in the 5th session of PAAR 2020:

  • Benjamin Oliver and Jens Otten, Equality Preprocessing in Connection Calculi
  • Robert Lewis and Paul-Nicolas Madelaine, Simplifying Casts and Coercions
  • Thomas Prokosch and François Bry, Give Reasoning a Trie

• Pascal Fontaine

  2020-06-29 9:49:26 (GMT)

  All papers are available on the web page: http://paar2020.gforge.inria.fr/

• Jasmin Blanchette

  2020-06-30 17:40:50 (GMT)

  Dammit, I was following from YouTube and missed the group picture. ;)