Mailing List:
clean-list@cs.kun.nl
Add newDisplay options
0
replies
CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015)
started 2014-10-21 00:19:14 UTC
2014-10-21 00:19:14 UTC
Michael Winter
0
replies
Last CFP: ICCICS2014 : Cyber-Crime Investigation and Cyber Security
started 2014-10-20 14:54:21 UTC
2014-10-20 14:54:21 UTC
Hazel Ann
0
replies
TLCA: 1st CALL for PAPERS
started 2014-10-16 11:06:11 UTC
2014-10-16 11:06:11 UTC
Luca
0
replies
RTA 2015 - First Call For Papers
started 2014-10-13 11:17:30 UTC
2014-10-13 11:17:30 UTC
Sophie Tison
0
replies
Mathematics of Program Construction (MPC 2015): first call for papers
started 2014-10-10 17:58:46 UTC
2014-10-10 17:58:46 UTC
José Pedro Magalhães
0
replies
LATA 2015: extended submission deadline 16 October
started 2014-10-04 20:21:53 UTC
2014-10-04 20:21:53 UTC
GRLMC
0
replies
Call for Contributions - Haskell Communities and Activities Report, November 2014 edition
started 2014-10-04 18:32:25 UTC
2014-10-04 18:32:25 UTC
Mihai Maruseac
1
reply
Firtst steps
started 2014-10-02 19:08:02 UTC
2014-10-03 16:03:40 UTC
John van Groningen
0
replies
ETAPS 2015 final call for papers
started 2014-09-30 04:53:39 UTC
2014-09-30 04:53:39 UTC
Tarmo Uustalu
0
replies
LATA 2015: 3rd call for papers
started 2014-09-14 12:40:07 UTC
2014-09-14 12:40:07 UTC
GRLMC
0
replies
PEPM 2015: Final call for papers
started 2014-09-03 04:42:02 UTC
2014-09-03 04:42:02 UTC
Kenichi Asai
0
replies
Third call for papers, IFL 2014
started 2014-09-02 12:23:22 UTC
2014-09-02 12:23:22 UTC
p***@gmail.com
0
replies
CFP: The International Conference on Cyber-Crime Investigation and Cyber Security (ICCICS2014)
started 2014-08-26 13:11:10 UTC
2014-08-26 13:11:10 UTC
Hazel Ann
0
replies
CFP: The International Conference on Electrical, Electronics, Computer Engineering and their Applications (EECEA2014)
started 2014-08-26 13:10:57 UTC
2014-08-26 13:10:57 UTC
Hazel Ann
0
replies
LATA 2015: 2nd call for papers
started 2014-08-23 00:32:05 UTC
2014-08-23 00:32:05 UTC
GRLMC - URV
0
replies
CFP - JSS, Elsevier - Special issue on adaptive and reconfigurable software systems and architectures
started 2014-08-22 02:44:41 UTC
2014-08-22 02:44:41 UTC
Slim Kallel
0
replies
Second call for papers IFL 2014
started 2014-08-15 00:52:57 UTC
2014-08-15 00:52:57 UTC
p***@gmail.com
0
replies
14 PhD scholarships 2014 -- Computer Science -- Pisa
started 2014-07-31 12:22:28 UTC
2014-07-31 12:22:28 UTC
Rosaria Mongini
0
replies
PPDP 2014: Program and 2nd Call for Participation
started 2014-07-27 17:56:54 UTC
2014-07-27 17:56:54 UTC
Jacob Johannsen
0
replies
LOPSTR 2014: Call for Participation
started 2014-07-25 01:44:30 UTC
2014-07-25 01:44:30 UTC
Maurizio Proietti
0
replies
ICFP Programming Contest 2014
started 2014-07-23 14:45:33 UTC
2014-07-23 14:45:33 UTC
Nicolas Wu
0
replies
PEPM 2015: First call for papers
started 2014-07-17 14:03:42 UTC
2014-07-17 14:03:42 UTC
Kenichi Asai
0
replies
PPDP 2014 Call for Participation
started 2014-07-12 03:09:51 UTC
2014-07-12 03:09:51 UTC
Jacob Johannsen
5
replies
mod not working
started 2014-07-07 20:53:08 UTC
2014-07-08 01:50:23 UTC
Loïc Maury
2
replies
clean-itask
started 2014-07-04 19:26:50 UTC
2014-07-07 12:03:07 UTC
Bas Lijnse
3
replies
FFI with Clean
started 2014-07-04 01:29:49 UTC
2014-07-05 15:24:51 UTC
Loïc Maury
1
reply
IO zipcode example
started 2014-07-01 03:14:51 UTC
2014-07-01 14:41:54 UTC
Peter Achten
0
replies
SSTiC 2014: last-minute half-price registration
started 2014-06-28 19:39:11 UTC
2014-06-28 19:39:11 UTC
GRLMC
0
replies
WADT 2014 - 3rd Call for Papers
started 2014-06-15 22:10:40 UTC
2014-06-15 22:10:40 UTC
2014 wadt
0
replies
Vienna Summer of Logic: Call for participation
started 2014-06-15 13:54:04 UTC
2014-06-15 13:54:04 UTC
Sophie Tison
Click to Load More...
Loading...