users-prolog (date)

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]

Last Modified: Tue Jun 28 2022 04:00:14 -0400
Messages in reverse chronological order

June 28, 2022
- LPNMR 2022: Call for participation (Early reg. By July 20th), cfp, 04:00
June 27, 2022
- Datalog 2.0 2022 - Third Call for Papers, cfp, 04:38
June 20, 2022
- LPNMR 2022: First call for Doctoral Consortium, cfp, 08:48
June 17, 2022
- 14th International Summer School on Verification Technology, Systems & Applications, geoff, 08:44
June 13, 2022
- [Vardi-list] FW: FLOC 2022 -- Call For Participation, Moshe Y Vardi, 12:01
June 09, 2022
- Logtalk 3.56.0 released, Paulo Moura, 03:20
June 03, 2022
- --consult-file options are handled before --consult-file options., Daniel Ajoy, 02:08
- implementation of if_/3, Daniel Ajoy, 01:15
June 01, 2022
- IJCAR-11 - Call for participation, geoff, 18:46

Mail converted by MHonArc