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 Jul 26 2022 11:43:31 -0400
Messages in reverse chronological order
[
Next Period
]
July 26, 2022
Call for Participation -- Mathematics of Program Construction 2022
,
Daggitt, Matthew
,
11:43
Logtalk 3.57.0 released
,
Paulo Moura
,
11:10
July 18, 2022
[Vardi-list] How to be an ethical computer scientist
,
Moshe Y Vardi
,
13:55
July 05, 2022
[Vardi-list] Digital Humanism Summer School 2022 in September at TU Wien
,
Moshe Y Vardi
,
11:26
RCRA 2022 last call for paper (-5 days to deadline)
,
cfp
,
04:44
July 03, 2022
EuroProofNet WG2 kickoff meeting
,
geoff
,
04:55
[
Prev Period
]
[
Next Period
]
Mail converted by
MHonArc