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
22 Jan 09:42 2013Sebastian Fischer
*****Curry Crash Course
23 Jan 01:31 2013Sergio Antoy
******Curry Crash Course
23 Jan 14:02 2013Sebastian Fischer
*******Curry Crash Course
24 Jan 17:13 2013Michael Hanus
********Curry Crash Course
25 Jan 03:47 2013Sergio Antoy
*********Curry Crash Course
26 Jan 17:04 2013Michael Hanus
**********Curry Crash Course
13 Dec 15:50 2012Michael Hanus
*RTA 2013: 2nd CfP
12 Nov 17:53 2012Sergio Antoy
*courses on FLP
15 Oct 01:34 2012Sebastian Fischer
*"combinatorics ahoy!"
15 Oct 08:58 2012Sebastian Fischer
**"combinatorics ahoy!"
15 Oct 10:26 2012Jan Christiansen
**"combinatorics ahoy!"
11 Sep 17:50 2012Michael Hanus
*Curry report updated to version 0.8.3
23 Aug 12:53 2012Michael Hanus
*Update of the Curry report
12 Jul 15:36 2012Michael Hanus
*PhD position in declarative programming
12 Jul 15:33 2012Michael Hanus
*PhD position in declarative programming
17 Jun 20:23 2012Sebastian Fischer
*equality of partial applications
18 Jun 09:30 2012Wolfgang Lux
**equality of partial applications
18 Jun 09:53 2012Sebastian Fischer
***equality of partial applications
18 Jun 12:19 2012Wolfgang Lux
****equality of partial applications
18 Jun 12:37 2012Sebastian Fischer
*****equality of partial applications
18 Jun 13:31 2012Wolfgang Lux
******equality of partial applications
18 Jun 22:12 2012Sebastian Fischer
*******equality of partial applications
19 Jun 10:27 2012Wolfgang Lux
********equality of partial applications
19 Jun 15:30 2012Wolfgang Lux
*********equality of partial applications
19 Jun 19:27 2012Sebastian Fischer
*********equality of partial applications
20 Jun 21:01 2012Sebastian Fischer
**********equality of partial applications
20 Jun 18:09 2012Michael Hanus
****equality of partial applications
18 Jun 09:54 2012Wolfgang Lux
***equality of partial applications
11 Jun 12:50 2012Michael Hanus
*CfP: 26th Workshop on Logic Programming
11 Jun 08:22 2012Karn Kallio
*PAKCS mccparser build with GHC 7.4.1
11 Jun 12:28 2012Michael Hanus
**PAKCS mccparser build with GHC 7.4.1