Archives are refreshed every 30 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: Sat Apr 27 2019 09:29:33 -0400
Messages in reverse chronological order
[
Next Period
]
April 27, 2019
CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE
,
Martin Leucker
,
09:29
April 26, 2019
Verification Mentoring Workshop 2019: Scholarships
,
geoff
,
09:45
April 18, 2019
ARCADE 2019 CFP
,
geoff
,
12:07
April 02, 2019
6th Workshop on Proof eXchange for Theorem Proving (PxTP) - CFP
,
geoff
,
12:06
Logtalk 3.25.0 released
,
Paulo Moura
,
07:17
[
Prev Period
]
[
Next Period
]
Mail converted by
MHonArc