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
11 Aug 12:38 2014lausgans
**New KiCS2 release available
12 Aug 19:04 2014Michael Hanus
***New KiCS2 release available
12 Jul 00:05 2014Jacob Johannsen
*PPDP 2014 Call for Participation
28 Jun 19:47 2014Michael Hanus
*2nd CfP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Pro
1 Jun 09:53 2014German Vidal
*LOPSTR 2014 - Extended Deadlines
14 May 10:26 2014Michael Hanus
*CFP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Program
2 May 22:20 2014Jacob Johannsen
*PPDP 2014: 2nd Call for Papers
11 Apr 19:11 2014Jacob Johannsen
*PPDP 2014: Call for Papers
26 Mar 11:33 2014Yi D
*On the textual order of rules
27 Mar 14:19 2014Sebastian Fischer
**On the textual order of rules
27 Mar 14:41 2014Nikolay Orlyuk
**On the textual order of rules
27 Mar 15:08 2014Michael Hanus
***On the textual order of rules
27 Mar 17:40 2014Michael Hanus
**On the textual order of rules
27 Mar 20:40 2014Yi D
**On the textual order of rules
27 Feb 11:14 2014German Vidal
*[LOPSTR 2014] First Call for Papers
23 Nov 21:17 2013Larry D. Lee jr.
*Possible bug?
25 Nov 17:40 2013Michael Hanus
**Possible bug?
11 Nov 17:32 2013Michael Hanus
*CfP: ICLP 2014
16 Oct 09:05 2013Sebastian Fischer
*Insertion Sort from Permutation Sort
16 Oct 11:32 2013Julio Mariño
**Insertion Sort from Permutation Sort
16 Oct 12:36 2013Sebastian Fischer
***Insertion Sort from Permutation Sort
16 Oct 13:00 2013Michael Hanus
****Insertion Sort from Permutation Sort
22 Sep 17:24 2014Julio Mariño
*****Insertion Sort from Permutation Sort
5 Sep 11:21 2013Michael Hanus
*New survey on Curry and FLP
12 Aug 13:38 2013Michael Hanus
*Call for Participation: Kiel Declarative Programming Days 2013
8 Jul 14:47 2013Rachid Echahed
*PhD position in Grenoble (French Alps)
27 Jun 13:27 2013Michael Hanus
*Call for Papers: Kiel Declarative Programming Days 2013
14 Jun 10:44 2013Michael Hanus
*Call for Papers: WFLP/WLP 2013
28 Apr 17:51 2013Wolfgang Jeltsch
*MIU in Curry
29 Apr 10:07 2013Michael Hanus
**MIU in Curry
29 Apr 10:13 2013Wolfgang Lux
***MIU in Curry
27 Apr 21:26 2013Wolfgang Jeltsch
*blog article about Curry
29 Apr 10:09 2013Michael Hanus
**blog article about Curry
26 Apr 18:05 2013Wolfgang Jeltsch
*default search strategy of KiCS2
26 Apr 18:29 2013Michael Hanus
**default search strategy of KiCS2
24 Apr 12:04 2013Wolfgang Jeltsch
*cannot define operators
24 Apr 14:33 2013Wolfgang Lux
**cannot define operators
24 Apr 15:45 2013Michael Hanus
***cannot define operators
24 Apr 16:32 2013Björn Peemöller
**cannot define operators
23 Apr 19:48 2013Wolfgang Jeltsch
*MIU in Curry
23 Apr 22:29 2013Sergio Antoy
**MIU in Curry
24 Apr 12:27 2013Wolfgang Jeltsch
***MIU in Curry
24 Apr 20:50 2013Sergio Antoy
****MIU in Curry
26 Apr 04:28 2013Sebastian Fischer
****MIU in Curry
26 Apr 13:46 2013Wolfgang Jeltsch
*****MIU in Curry
26 Apr 18:38 2013Michael Hanus
******MIU in Curry
26 Apr 18:57 2013Wolfgang Jeltsch
*******MIU in Curry
24 Apr 10:17 2013Sebastian Fischer
**MIU in Curry
24 Apr 12:23 2013Wolfgang Jeltsch
***MIU in Curry
23 Apr 18:42 2013Wolfgang Jeltsch
*cannot define operators
20 Apr 22:02 2013Jeroen Ketema
*WRS 2013 - 2nd Call for Papers
19 Apr 21:35 2013Wolfgang Jeltsch
*function inversion and functional patterns
19 Apr 22:22 2013Michael Hanus
**function inversion and functional patterns
19 Apr 18:04 2013Michael Hanus
*findall resulting in strange message
19 Apr 12:34 2013Wolfgang Jeltsch
*findall resulting in strange message
19 Apr 14:19 2013Fabian Reck
**findall resulting in strange message
19 Apr 14:21 2013Michael Hanus
**findall resulting in strange message
19 Apr 17:17 2013Wolfgang Jeltsch
***findall resulting in strange message
19 Apr 18:28 2013Fabian Reck
****findall resulting in strange message
8 Apr 13:05 2013Jeroen Ketema
*WRS 2013 - Call for Papers
25 Mar 15:12 2013Michael Hanus
*Call for Papers: WFLP/WLP 2013
20 Jan 20:54 2013Sebastian Fischer
*Curry Crash Course
21 Jan 14:59 2013Michael Hanus
**Curry Crash Course
21 Jan 19:37 2013Sebastian Fischer
***Curry Crash Course
22 Jan 00:40 2013Sergio Antoy
****Curry Crash Course