Archives are refreshed every 15 minutes - for details, please visit
the main index
.
You can also
download the archives in mbox format
.
users-prolog (date)
[
Thread Index
][
Top
][
All Lists
][
users-prolog info page
]
Advanced
[
Prev Period
]
Last Modified: Tue Aug 27 2019 11:22:33 -0400
Messages in reverse chronological order
[
Next Period
]
August 27, 2019
TPTP v7.3.0 released
,
geoff
,
11:22
August 26, 2019
GCAI 2020, Hangzhou, China - Call for Papers
,
geoff
,
10:27
August 19, 2019
FroCoS-12 and TABLEAUX-28, London, September 2-6. Second call for participation (early registration closes on August 21)
,
geoff
,
13:10
[
Prev Period
]
[
Next Period
]
Mail converted by
MHonArc