Mailing List:
curry@informatik.rwth-aachen.de
Add newDisplay options
0
replies
RTA 2015 - First Call For Papers
started 2014-10-20 16:09:40 UTC
2014-10-20 16:09:40 UTC
Michael Hanus
4
replies
Insertion Sort from Permutation Sort
started 2013-10-16 12:05:24 UTC
2014-09-22 20:24:27 UTC
Julio Mariño
0
replies
PhD position - Computer assisted validation in Erlang
started 2014-09-11 16:19:31 UTC
2014-09-11 16:19:31 UTC
German Vidal
0
replies
WLP/WFLP - Call for Participation - September 15-17
started 2014-08-13 12:45:37 UTC
2014-08-13 12:45:37 UTC
Michael Hanus
2
replies
New KiCS2 release available
started 2014-07-16 17:05:02 UTC
2014-08-12 22:04:24 UTC
Michael Hanus
0
replies
PPDP 2014: Program and 2nd Call for Participation
started 2014-07-27 17:59:54 UTC
2014-07-27 17:59:54 UTC
Jacob Johannsen
0
replies
PPDP 2014 Call for Participation
started 2014-07-12 03:05:26 UTC
2014-07-12 03:05:26 UTC
Jacob Johannsen
0
replies
2nd CfP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Programming
started 2014-06-28 22:47:50 UTC
2014-06-28 22:47:50 UTC
Michael Hanus
0
replies
LOPSTR 2014 - Extended Deadlines
started 2014-06-01 12:53:33 UTC
2014-06-01 12:53:33 UTC
German Vidal
0
replies
CFP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Programming
started 2014-05-14 13:26:38 UTC
2014-05-14 13:26:38 UTC
Michael Hanus
0
replies
PPDP 2014: 2nd Call for Papers
started 2014-05-03 01:20:23 UTC
2014-05-03 01:20:23 UTC
Jacob Johannsen
0
replies
LOPSTR 2014: Second Call for Papers
started 2014-04-17 14:01:45 UTC
2014-04-17 14:01:45 UTC
German Vidal
0
replies
PPDP 2014: Call for Papers
started 2014-04-11 22:11:21 UTC
2014-04-11 22:11:21 UTC
Jacob Johannsen
5
replies
On the textual order of rules
started 2014-03-26 15:33:08 UTC
2014-03-28 00:40:38 UTC
Yi D
0
replies
[LOPSTR 2014] First Call for Papers
started 2014-02-27 16:14:19 UTC
2014-02-27 16:14:19 UTC
German Vidal
0
replies
Final Call for Papers WRLA 2014
started 2013-12-12 17:59:51 UTC
2013-12-12 17:59:51 UTC
Santiago Escobar
1
reply
Possible bug?
started 2013-11-24 02:17:24 UTC
2013-11-25 22:40:13 UTC
Michael Hanus
0
replies
CfP: ICLP 2014
started 2013-11-11 22:32:08 UTC
2013-11-11 22:32:08 UTC
Michael Hanus
0
replies
New survey on Curry and FLP
started 2013-09-05 14:21:39 UTC
2013-09-05 14:21:39 UTC
Michael Hanus
0
replies
Call for Participation: Kiel Declarative Programming Days 2013
started 2013-08-12 16:38:11 UTC
2013-08-12 16:38:11 UTC
Michael Hanus
0
replies
PhD position in Grenoble (French Alps)
started 2013-07-08 17:47:58 UTC
2013-07-08 17:47:58 UTC
Rachid Echahed
0
replies
Call for Papers: Kiel Declarative Programming Days 2013
started 2013-06-27 16:27:45 UTC
2013-06-27 16:27:45 UTC
Michael Hanus
0
replies
Call for Papers: WFLP/WLP 2013
started 2013-06-14 13:44:39 UTC
2013-06-14 13:44:39 UTC
Michael Hanus
12
replies
MIU in Curry
started 2013-04-23 22:48:07 UTC
2013-04-29 13:13:38 UTC
Wolfgang Lux
1
reply
blog article about Curry
started 2013-04-28 00:26:57 UTC
2013-04-29 13:09:11 UTC
Michael Hanus
1
reply
default search strategy of KiCS2
started 2013-04-26 21:05:27 UTC
2013-04-26 21:29:56 UTC
Michael Hanus
4
replies
cannot define operators
started 2013-04-23 21:42:37 UTC
2013-04-24 19:32:40 UTC
Björn Peemöller
0
replies
WRS 2013 - 2nd Call for Papers
started 2013-04-21 01:02:53 UTC
2013-04-21 01:02:53 UTC
Jeroen Ketema
1
reply
function inversion and functional patterns
started 2013-04-20 00:35:08 UTC
2013-04-20 01:22:10 UTC
Michael Hanus
5
replies
findall resulting in strange message
started 2013-04-19 15:34:45 UTC
2013-04-19 21:28:08 UTC
Fabian Reck
Click to Load More...
Loading...