Archives are refreshed every 15 minutes - for details, please visit
the main index
.
You can also
download the archives in mbox format
.
users-prolog (thread)
[
Date Index
][
Top
][
All Lists
]
Advanced
[
Prev Period
]
Last Modified: Tue Jun 28 2022 04:00:14 -0400
Threads in reverse chronological order
[
Next Period
]
LPNMR 2022: Call for participation (Early reg. By July 20th)
,
cfp
,
2022/06/28
Datalog 2.0 2022 - Third Call for Papers
,
cfp
,
2022/06/27
LPNMR 2022: First call for Doctoral Consortium
,
cfp
,
2022/06/20
14th International Summer School on Verification Technology, Systems & Applications
,
geoff
,
2022/06/17
[Vardi-list] FW: FLOC 2022 -- Call For Participation
,
Moshe Y Vardi
,
2022/06/13
Logtalk 3.56.0 released
,
Paulo Moura
,
2022/06/09
--consult-file options are handled before --consult-file options.
,
Daniel Ajoy
,
2022/06/03
implementation of if_/3
,
Daniel Ajoy
,
2022/06/03
IJCAR-11 - Call for participation
,
geoff
,
2022/06/01
[
Prev Period
]
[
Next Period
]
Mail converted by
MHonArc