2020-06-29 7:5:13 (GMT)
This thread is to discuss about the talks presented in the first session of PAAR 2020:
2020-06-29 9:48:48 (GMT)
All papers are available on the web page: http://paar2020.gforge.inria.fr/
2020-06-29 11:59:5 (GMT)
Session 1 is about to start!
2020-06-29 14:17:49 (GMT)
Here is the link posted by @Mathias Fleury relative to Stephan's talk: https://link.springer.com/chapter/10.1007/BFb0023907
2020-06-29 14:19:38 (GMT)
@Sophie Tourret wrong Mathias I believe
2020-06-29 14:21:1 (GMT)
That's possible, but I don't know which one then since you're the only one attending yet and I lost the original post. So let's say, posted by "a" Mathias.
2020-06-29 14:22:19 (GMT)
It was Matthias Fuchs
2020-06-29 14:22:32 (GMT)
Thanks!
2020-06-29 14:23:10 (GMT)
Matthias Fuchs with s I guess (The author of the paper)
2020-06-29 14:25:57 (GMT)
Indeed, and I was so happy that I wrote "Matthias" correctly
2020-06-29 14:26:58 (GMT)
In case of doubt, just write Mattthias.
2020-06-29 14:27:41 (GMT)
or マチアス
2020-06-29 14:30:10 (GMT)
I know how to spell Missississississipi. I just don't know where to stop...
2020-06-29 14:37:43 (GMT)
Stephan Schulz said:
I know how to spell Missississississipi. I just don't know where to stop...
Didn't you forget a double-p?
2020-06-29 14:38:36 (GMT)
Mippippippippippisi?
2020-06-29 15:2:48 (GMT)
Mississi(ssi)*ppi
2020-06-29 15:6:20 (GMT)
Seems like it'd be useful to have restricted TPTP syntax subsets for CASC…
2020-06-29 15:6:59 (GMT)
Sure, but in the topic for session 2... :wink:
2020-06-29 15:8:15 (GMT)
:face_palm: my bad.