30 Apr 18:23 2016Manuel Hermenegildo
*LOPSTR 2016 Call for Papers
30 Apr 16:59 2016Manuel Hermenegildo
*LOPSTR 2016 Call for Papers
22 Apr 19:58 2016Michael Hanus
*Call for Papers - 30th Workshop on Logic Programming (WLP 2016)
21 Apr 14:26 2016Yliès Falcone
*[RV 2016] RV 2016, Sept 23-30 2016, Madrid, Spain - 3rd CFP
7 Apr 09:19 2016German Vidal
*18th International Symposium on Principles and Practice of Declarative
26 Feb 09:30 2016Michael Hanus
*CFP ICLP 2016: 32nd International Conference on Logic Programming, New
25 Feb 11:47 2016German Vidal
*PPDP 2016: First Call for Papers
22 Feb 07:21 2016Sebastian Hanowski
*minor update on infinite data + free variables
2 Feb 23:23 2016Salvador Tamarit
*PROHA 2016 (@ CGO'16): Early Registration Deadline (Feb 3)
16 Jan 21:24 2016Salvador Tamarit
*CfP: Workshop on Program Transformation for Programmability in Heterog
15 Jan 18:49 2016Yliès Falcone
*RV 2016, Sept 23-30 2016, Madrid, Spain - 1st Call for Papers and Tuto
11 Jan 11:39 2016⁣ ⁣
*OpenGL bindings for Curry?
12 Jan 09:26 2016Michael Hanus
**OpenGL bindings for Curry?
9 Jan 13:00 2016Salvador Tamarit
*CfP: Workshop on Program Transformation for Programmability in Heterog
23 Dec 13:01 2015Salvador Tamarit
*CfP: Workshop on Program Transformation for Programmability in Heterog
17 Dec 16:00 2015Andy Jost
*Pull tabbing with variables
21 Dec 17:46 2015Michael Hanus
**Pull tabbing with variables
24 Dec 19:32 2015Andy Jost
***Pull tabbing with variables
30 Dec 12:21 2015Michael Hanus
****Pull tabbing with variables
12 Dec 21:53 2015John Patrick Gallagher
*Call for Papers: 3rd Workshop on Horn Clauses for Verification and Syn
4 Dec 09:04 2015Sebastian Hanowski
*Curry-on to infinity
7 Dec 16:48 2015Michael Hanus
**Curry-on to infinity
9 Dec 07:41 2015Sebastian Hanowski
***Curry-on to infinity
10 Dec 22:53 2015Michael Hanus
****Curry-on to infinity
14 Dec 07:49 2015Sebastian Hanowski
*****Curry-on to infinity
15 Dec 15:44 2015Michael Hanus
******Curry-on to infinity
21 Dec 09:15 2015Sebastian Hanowski
*******Curry-on to infinity
21 Dec 18:36 2015h7sa
********Curry-on to infinity
21 Dec 19:40 2015Sebastian Hanowski
*********Curry-on to infinity
15 Dec 19:15 2015h7sa
******Curry-on to infinity
21 Dec 09:15 2015Sebastian Hanowski
*******Curry-on to infinity
2 Dec 18:07 2015h7sa
*CFP: TPLP special issue on New Trends of Constraint Logic Programming
22 Nov 13:31 2015Manuel Hermenegildo
*CFP: 25th Int'l Conf. on Compiler Construction (CC) - Final Call
16 Nov 17:31 2015Michael Hanus
*Curry report updated to version 0.9.0
9 Nov 17:13 2015Manuel Hermenegildo
*CFP: 25th Int'l Conf. on Compiler Construction (CC) - *new deadline*
3 Nov 20:20 2015Manuel Hermenegildo
*CFP: 25th Int'l Conf. on Compiler Construction (CC) - *new deadline*
3 Nov 15:54 2015lausgans
*Random labeling options for CLPFD
4 Nov 16:48 2015Michael Hanus
**Random labeling options for CLPFD
5 Nov 07:11 2015lausgans
***Random labeling options for CLPFD
5 Nov 14:04 2015Michael Hanus
****Random labeling options for CLPFD
5 Nov 18:10 2015lausgans
*****Random labeling options for CLPFD
8 Nov 05:54 2015lausgans
******Random labeling options for CLPFD
10 Nov 11:23 2015Michael Hanus
******Random labeling options for CLPFD
1 Oct 13:45 2015Michael Hanus
*Proposal: Simplifying Curry
6 Oct 11:32 2015Wolfgang Lux
**Proposal: Simplifying Curry
7 Oct 20:14 2015Michael Hanus
***Proposal: Simplifying Curry
9 Oct 14:43 2015Wolfgang Lux
****Proposal: Simplifying Curry
11 Oct 17:43 2015Michael Hanus
*****Proposal: Simplifying Curry
11 Oct 19:05 2015h7sa
****Proposal: Simplifying Curry
11 Oct 18:59 2015h7sa
***Proposal: Simplifying Curry
9 Oct 15:02 2015Julio Mariño
**Proposal: Simplifying Curry
11 Oct 17:55 2015Michael Hanus
***Proposal: Simplifying Curry
16 Sep 22:42 2015John Patrick Gallagher
*Ph.D. Position on Analysis of Energy Consumption of High-Level Program
2 Sep 10:44 2015⁣ ⁣
*PAKCS no longer builds with current SWI release
2 Sep 10:47 2015⁣ ⁣
**PAKCS no longer builds with current SWI release
2 Sep 11:11 2015Michael Hanus
**PAKCS no longer builds with current SWI release
1 Sep 09:54 2015Michael Hanus
*Final CFP: FLOPS 2016, International Symposium on Functional and Logic
24 Aug 16:17 2015Manuel Hermenegildo
*CFP: 25th International Conference on Compiler Construction (CC)
22 Jul 13:01 2015Michael Hanus
*FLOPS 2016, Second CFP
14 May 19:48 2015Andy Jost
*PAKCS Internal Functions
14 May 23:58 2015h7sa
**PAKCS Internal Functions
16 May 17:40 2015Michael Hanus
***PAKCS Internal Functions
7 May 11:36 2015Enrico Pontelli
*PADL 2015 - Call for Participation
4 May 10:39 2015Michael Hanus
*CfP: FLOPS 2016
8 Apr 11:30 2015Moreno Falaschi
*LOPSTR 2015. DEADLINE EXTENSION: May 2, 2015
31 Mar 08:35 2015Moreno Falaschi
*LOPSTR 2015, Siena (Italy): Last call for papers
16 Mar 18:45 2015Moreno Falaschi
*PPDP 2015. EXTENDED DEADLINE: April 6th.
12 Mar 15:28 2015Michael Hanus
*New PAKCS/KiCS2 releases available
9 Mar 04:01 2015Enrico Pontelli
*Extended Deadline - PADL 2015
22 Feb 13:16 2015Moreno Falaschi
*PPDP 2015: 2nd call for papers
22 Feb 13:13 2015Moreno Falaschi
*LOPSTR 2015: 2nd Call for Papers
15 Feb 05:54 2015Enrico Pontelli
*CFP: Practical Aspects of Declarative Languages (PADL 2015)
25 Jan 20:12 2015Andy Jost
*Found bugs in PAKCS show
26 Jan 09:42 2015Björn Peemöller
**Found bugs in PAKCS show
26 Jan 22:17 2015Andy Jost
***Found bugs in PAKCS show
26 Jan 23:48 2015Michael Hanus
***Found bugs in PAKCS show
15 Jan 03:52 2015Enrico Pontelli
*CFP: Practical Aspects of Declarative Languages (PADL 2015)
5 Jan 18:26 2015Andy Jost
*Multiple instances of PAKCS interfere with each other
6 Jan 09:04 2015Karn Kallio
**Multiple instances of PAKCS interfere with each other
6 Jan 12:59 2015Michael Hanus
***Multiple instances of PAKCS interfere with each other
6 Jan 20:01 2015Andy Jost
****Multiple instances of PAKCS interfere with each other
6 Dec 14:39 2014Moreno Falaschi
*First call for papers LOPSTR 2015 -- 25th International Symposium on L
27 Nov 19:23 2014Moreno Falaschi
*PPDP 2015: first call for papers
28 Oct 17:36 2014Michael Hanus
*Smap: Collecting small programs
29 Oct 00:10 2014David Powers
**Smap: Collecting small programs
29 Oct 13:24 2014Michael Hanus
***Smap: Collecting small programs
30 Oct 00:22 2014David Powers
****Smap: Collecting small programs
30 Oct 17:58 2014Michael Hanus
*****Smap: Collecting small programs
31 Oct 03:35 2014David Powers
******Smap: Collecting small programs
31 Oct 06:42 2014lausgans
******Eliminate Haskell obfuscisms (was Smap: Collecting small programs)
31 Oct 16:20 2014Michael Hanus
*******Eliminate Haskell obfuscisms (was Smap: Collecting small programs)
27 Oct 05:36 2014lausgans
*Some syntax sugar for logic programming
28 Oct 17:17 2014Michael Hanus
**Some syntax sugar for logic programming
31 Oct 06:16 2014lausgans
***Some syntax sugar for logic programming
31 Oct 15:48 2014Michael Hanus
****Some syntax sugar for logic programming
20 Oct 13:09 2014Michael Hanus
*RTA 2015 - First Call For Papers
11 Sep 13:19 2014German Vidal
*PhD position - Computer assisted validation in Erlang
13 Aug 09:45 2014Michael Hanus
*WLP/WFLP - Call for Participation - September 15-17
27 Jul 14:59 2014Jacob Johannsen
*PPDP 2014: Program and 2nd Call for Participation
16 Jul 14:05 2014Michael Hanus
*New KiCS2 release available