clean-list  

Messages by Date

• 2014/03/06 [clean-list] CiE 2014: Language, Life, Limits - Grants, and Call for Presentations S B Cooper
• 2014/03/05 [clean-list] SSTiC 2014: 15 March, 4th registration deadline GRLMC - URV
• 2014/02/27 [clean-list] 2nd CFP, Intersection Types and Related Systems 2014 Luca Paolini
• 2014/02/25 [clean-list] LOPSTR 2014 - First Call for Papers Maurizio Proietti
• 2014/02/23 [clean-list] Call for Participation RAMiCS 2014 Peter Höfner
• 2014/02/09 [clean-list] SSTiC 2014: February 15, 3rd registration deadline GRLMC
• 2014/02/06 [clean-list] 2nd Call for Papers - TFPIE 2014 Peter Achten
• 2014/02/01 [clean-list] Joint 25th RTA & 12th TLCA: Deadline extension Luca
• 2014/01/31 [clean-list] TFP 2014 - 2nd call for papers Peter Achten
• 2014/01/25 [clean-list] Joint 25th RTA & 12th TLCA: Last reminder Luca
• 2014/01/22 [clean-list] GandALF 2014: Preliminary call for papers murano
• 2014/01/19 [clean-list] Postdoc positions in SAT/SMT-based Verification available in Trento Roberto Sebastiani
• 2014/01/19 [clean-list] CFP:: Second WCIT2014- Malaysia Natalie Walker
• 2014/01/09 [clean-list] Joint 25th RTA & 12th TLCA: Final CALL FOR PAPERS Luca Paolini
• 2014/01/07 [clean-list] CFP:: ICIEIS2014-Poland The Third International Conference on Informatics Engineering and Information Science (ICIEIS2014)
• 2014/01/06 [clean-list] 1st CFP, Intersection Types and Related Systems 2014 Luca
• 2014/01/05 [clean-list] 1st Call for Papers - TFPIE 2014 James Caldwell
• 2013/12/23 [clean-list] Invitation for participation in ICCTIM2014-Dubai, UAE The International Conference on Computing Technology and Information Management (ICCTIM2014)
• 2013/12/22 [clean-list] Invitation for participation in TAEECE2014-Malaysia The Second International Conference on Technological Advances in Electrical, Electronics and Computer Engineering (TAEECE2014)
• 2013/12/22 [clean-list] CFP:: DINWC2014- Ostrava- Czech Republic The International Conference on Digital Information, Networking, and Wireless Communications (DINWC2014)
• 2013/12/15 [clean-list] 2nd CFP: CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014 S B Cooper
• 2013/12/15 [clean-list] TAEECE2014-CFP APU, Malaysia The Second International Conference on Technological Advances in Electrical, Electronics and Computer Engineering (TAEECE2014)
• 2013/12/09 [clean-list] verzoek jd.bruning
• 2013/12/09 [clean-list] Call for Participation PEPM 2014 (co-located with POPL 2014) === P E P M 2014 === planpublicity
• 2013/12/08 [clean-list] CFP:: DINWC:: Czech Republic The International Conference on Digital Information, Networking, and Wireless Communications (DINWC2014)
• 2013/12/03 [clean-list] [First Call For Papers] TFP 2014 Peter Achten
• 2013/12/03 [clean-list] Call for Workshops - Symposium on Automated Technology for Verification and Analysis (ATVA) Peter Höfner
• 2013/11/25 [clean-list] SSTiC 2014: 1st announcement GRLMC
• 2013/11/24 [clean-list] FLOPS 2014: 2nd Call for Papers Janis Voigtlaender
• 2013/11/21 [clean-list] SR 2014 - call for contributions aniello murano
• 2013/11/19 [clean-list] SR 2014 - call for contributions murano
• 2013/11/14 [clean-list] ANNOUNCE: Haskell Communities and Activities Report (25th ed., November 2013) Janis Voigtlaender
• 2013/11/13 [clean-list] CFP:: 2nd ICGCTI2014:: Malaysia The Second International Conference on Green Computing, Technology and Innovation (ICGCTI2014)
• 2013/11/12 [clean-list] Fake Conferences CSCI and WORLDCOMP of Hamid Arabnia abbasakbar
• 2013/11/04 [clean-list] CFP:: EEECEGC- Dubai- U.A.E The International Conference on Electrical and Electronics Engineering, Clean Energy and Green Computing (EEECEGC2013)
• 2013/10/31 [clean-list] Joint 25th RTA & 12th TLCA: CALL FOR PAPERS Luca Paolini
• 2013/10/28 [clean-list] Relational & Algebraic Methods (RAMiCS 2014) Deadlines extended! Peter Höfner
• 2013/10/27 [clean-list] WRLA 2014 Call for papers Santiago Escobar
• 2013/10/22 [clean-list] CFP::ICGCTI 2014- Part of WCIT2014:: Malaysia The Second International Conference on Green Computing, Technology and Innovation (ICGCTI2014)
• 2013/10/22 [clean-list] CFP::ICGCTI 2014- Part of WCIT2014:: Malaysia The Second International Conference on Green Computing, Technology and Innovation (ICGCTI2014)
• 2013/10/21 [clean-list] TAMC2014 in Chennai, India, April 11-13, 2014 S B Cooper
• 2013/10/21 [clean-list] Call for papers - VEE'14: 10th ACM Conference on Virtual Execution Environments Erez Petrank
• 2013/10/14 [clean-list] LATA 2014: extended submission deadline 21 October GRLMC
• 2013/10/08 [clean-list] CFP::EBW 2014- Part of WCIT2014:: Malaysia SDIWC Conferences
• 2013/10/07 [clean-list] 2nd CfP: Relational and Algebraic Methods in Computer Science (RAMiCS 2014) Peter Höfner
• 2013/10/06 [clean-list] Call for Contributions - Haskell Communities and Activities Report, November 2013 edition Janis Voigtlaender
• 2013/10/03 [clean-list] SR 2014 - Preliminary call for contributions aniello murano
• 2013/09/30 [clean-list] ICGCTI 2014- Malaysia The Second International Conference on Green Computing, Technology and Innovation (ICGCTI2014)
• 2013/09/25 [clean-list] CFP:: ICeND 2014- Lebanon The Third International Conference on e-Technologies and Networks for Development (ICeND2014)
• 2013/09/25 [clean-list] PhD Positions at ETH Zurich Mueller Peter
• 2013/09/24 [clean-list] Call for Papers and Participation The International Conference on Digital Information Processing, E-Business and Cloud Computing (DIPECC2013)
• 2013/09/22 [clean-list] ICIEIS2013-CFP Malaysia The Second International Conference on Informatics Engineering & Information Science (ICIEIS2013)
• 2013/09/19 [clean-list] Final CFP for PEPM 2014 planpublicity
• 2013/09/16 [clean-list] CALL FOR PAPERS:: ICGCTI 2014:: Malaysia The Second International Conference on Green Computing, Technology and Innovation (ICGCTI2014)
• 2013/09/15 [clean-list] LATA 2014: 3rd call for papers GRLMC
• 2013/09/15 [clean-list] Final Call for Workshop Proposals Georg Moser
• 2013/09/09 [clean-list] CFP:: ICGCTI 2014- Malaysia The Second International Conference on Green Computing, Technology and Innovation (ICGCTI2014)
• 2013/08/27 [clean-list] CIE 2014: Language, Life, Limits. June 23-27, 2014, Budapest. Preliminary Announcement. S B Cooper
• 2013/08/26 [clean-list] Postdoc positions in SAT/SMT-based Verification available in Trento Roberto Sebastiani
• 2013/08/22 [clean-list] Second call for papers for PEPM 2014 planpublicity
• 2013/08/22 [clean-list] CALL FOR PAPERS:: EBW 2014:: Malaysia The Second International Conference on E-Technologies and Business on the Web (EBW2014)
• 2013/08/18 [clean-list] RES: clean-list Digest, Vol 105, Issue 5 luciano.vieira.lima
• 2013/08/17 [clean-list] LATA 2014: 2nd call for papers GRLMC
• 2013/08/16 [clean-list] ICEEE2013 - IEEE Extended Paper Submission (Aug. 25) The Second International Conference on E-Learning and E-Technologies in Education (ICEEE)
• 2013/08/16 [clean-list] Call for participation IFL 2013 publicityifl
• 2013/08/15 [clean-list] CALL FOR PAPERS:: EBW 2014:: Malaysia The Second International Conference on E-Technologies and Business on the Web (EBW2014)
• 2013/08/14 [clean-list] VEE'14 call for papers - ACM SIGPLAN/SIGOPS Int'l Conference on Virtual Execution Environments (co-located with ASPLOS'14) Dan Tsafrir
• 2013/08/13 Re: [clean-list] RES: clean-list Digest, Vol 104, Issue 7 John van Groningen
• 2013/08/13 [clean-list] Submission Extended until Aug. 20 :: IEEE - ICEEE2013 Poland The Second International Conference on E-Learning and E-Technologies in Education (ICEEE)
• 2013/08/12 [clean-list] ICIEIS2013-CFP APU-Malaysia The Second International Conference on Informatics Engineering & Information Science (ICIEIS2013)
• 2013/08/06 [clean-list] Extended Deadline :: ICEEE2013 :: IEEE :: Poland The Second International Conference on E-Learning and E-Technologies in Education (ICEEE)
• 2013/08/04 [clean-list] RES: clean-list Digest, Vol 104, Issue 7 luciano.vieira.lima
• 2013/08/02 [clean-list] CALL FOR PAPERS (Deadline: Aug. 10): ICEEE2013 - IEEE - POLAND The Second International Conference on E-Learning and E-Technologies in Education (ICEEE)
• 2013/07/29 [clean-list] Strathclyde: Lecturer/Senior Lecturer Conor McBride
• 2013/07/26 Re: [clean-list] hd (drop 1000000 [1..]) heapFull John van Groningen
• 2013/07/26 [clean-list] CFP: MICAI 2013 - Artificial Intelligence - Springer LNAI + IEEE + journals - Mexico City: last reminder Alexander Gelbukh (CFP)
• 2013/07/26 Re: [clean-list] hd (drop 1000000 [1..]) heapFull zuurb078
• 2013/07/26 [clean-list] FLoC Call for Workshops Georg Moser
• 2013/07/22 [clean-list] Last CFP: ICEEE2013 - IEEE - Poland The Second International Conference on E-Learning and E-Technologies in Education (ICEEE)
• 2013/07/22 Re: [clean-list] hd (drop 1000000 [1..]) heapFull zuurb078
• 2013/07/22 Re: [clean-list] how do I fill this record? John van Groningen
• 2013/07/22 Re: [clean-list] hd (drop 1000000 [1..]) heapFull John van Groningen
• 2013/07/22 Re: [clean-list] boyer moore and knuth morris pratt algorithm John van Groningen
• 2013/07/22 Re: [clean-list] how do I fill this record? zuurb078
• 2013/07/19 Re: [clean-list] hd (drop 1000000 [1..]) heapFull Pieter Koopman
• 2013/07/19 Re: [clean-list] how do I fill this record? Pieter Koopman
• 2013/07/19 [clean-list] hd (drop 1000000 [1..]) heapFull zuurb078
• 2013/07/19 [clean-list] how do I fill this record? zuurb078
• 2013/07/17 [clean-list] CFP :: ICEEE2013 :: IEEE :: Poland The Second International Conference on E-Learning and E-Technologies in Education (ICEEE)
• 2013/07/17 [clean-list] Call for Papers PEPM 2014 publicityifl
• 2013/07/16 [clean-list] Call for Papers IFL 2013 publicityifl
• 2013/07/14 [clean-list] Call for Participation ICLP 2013: 29th International Conference on Logic Programming, Istanbul, August 24-29 peterschueller
• 2013/07/11 [clean-list] boyer moore and knuth morris pratt algorithm luciano.vieira.lima
• 2013/07/11 [clean-list] CSL'13 call for participation Ronchi Della Rocca Simona
• 2013/07/08 [clean-list] CFP: 2nd ICEEE2013 in Poland The Second International Conference on E-Learning and E-Technologies in Education (ICEEE)
• 2013/06/16 [clean-list] Call for Papers IFL 2013 publicityifl
• 2013/06/10 [clean-list] Book announcement: ALAN TURING - His Work and Impact S B Cooper
• 2013/06/10 Re: [clean-list] Matrix operations John van Groningen
• 2013/06/08 Re: [clean-list] Matrix operations RT Happe
• 2013/06/07 [clean-list] Matrix operations zuurb078
• 2013/06/02 [clean-list] SSTiC 2013: next registration deadline 26 June GRLMC
• 2013/05/31 [clean-list] Call for Papers IFL 2013 publicityifl
• 2013/05/29 [clean-list] CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2014) Peter Höfner
• 2013/05/28 [clean-list] Call for Papers IFL 2013 Pieter Koopman
• 2013/05/23 [clean-list] 2nd CFP: Workshop on Knowledge Representation and Reasoning in Robotics @ ICLP2013, Istanbul, Turkey peterschueller
• 2013/05/21 [clean-list] PhD position in Programming Language Verification Eelco Visser
• 2013/05/14 [clean-list] RDP 2013 Call for Participation Luca Paolini
• 2013/05/08 [clean-list] Call for Applications: ICLP 2013 Doctoral Student Consortium [Deadline May 12], Istanbul, Turkey, August 24 peterschueller
• 2013/05/06 [clean-list] ------ GandALF 2013 ----- FINAL CALL FOR PAPERS (EXTENDED DEADLINE)----- Pietro Sala
• 2013/05/05 [clean-list] SSTiC 2013: next registration deadline 26 May GRLMC
• 2013/05/01 [clean-list] Call for Participation: TFPIE2013 tentative program p.k.f.holzenspies
• 2013/04/24 [clean-list] ------ GandALF 2013 ----- FINAL CALL FOR PAPERS ----- Pietro Sala
• 2013/04/22 [clean-list] CFP SBLP 2013: Deadline extension Andre Du Bois
• 2013/04/21 [clean-list] 1st CFP: Workshop on Knowledge Representation and Reasoning in Robotics @ ICLP2013, Istanbul, Turkey peterschueller
• 2013/04/14 [clean-list] CFP： FC '2013 The 3rd International Conference on Frontier Computing - Theory, Technologies and Applications cinfon
• 2013/04/10 [clean-list] SBLP 2013: Final CFP, deadline for Abstracts 19/4 Andre Du Bois
• 2013/04/08 [clean-list] Third CfP for the International Workshop on Trends in Functional Programming In Education (TFPIE) p.k.f.holzenspies
• 2013/04/08 [clean-list] SSTiC 2013: 3rd registration deadline 26 April GRLMC
• 2013/04/04 [clean-list] [TFP2013] CFP Deadline Extension Marko van Eekelen
• 2013/04/04 [clean-list] [TFP2013] Call for papers Marko van Eekelen
• 2013/04/01 [clean-list] Final CFP ICLP 2013: 29th International Conference on Logic Programming, Istanbul, August 24-29 peterschueller
• 2013/04/01 [clean-list] Call for Applications: ICLP 2013 Doctoral Student Consortium, Istanbul, Turkey, August 24 peterschueller
• 2013/03/28 Re: [clean-list] "Error in backend: File backend.c, Line 654" using custom instance of Array John van Groningen
• 2013/03/25 [clean-list] "Error in backend: File backend.c, Line 654" using custom instance of Array David C. Norris
• 2013/03/25 [clean-list] WFLP 2013: First CfP Janis Voigtländer
• 2013/03/24 [clean-list] SSTiC 2013: 2nd registration deadline 26 March GRLMC
• 2013/03/24 [clean-list] Ackermann Award 2013 - Call for Nominations Anuj Dawar
• 2013/03/22 [clean-list] 2nd CFP: SBLP 2013 (17th Brazilian Symposium on Programming Languages) Andre Du Bois
• 2013/03/18 [clean-list] CfP: 15th Workshop on Formal Techniques for Java-like Programs (FTfJP) Werner Dietl
• 2013/03/15 [clean-list] Call for Applications: ICLP Doctoral Student Consortium, Istanbul, Turkey, August 24 peterschueller
• 2013/03/14 [clean-list] CSL'13, last cfp, DATES POSTPONED!! Simona Ronchi della Rocca
• 2013/03/10 [clean-list] CFP： FC '2013 The 3rd International Conference on Frontier Computing - Theory, Technologies and Applications cinfon
• 2013/02/24 [clean-list] DICTAP2013-CFP Czech Republic The Third International Conference on Digital Information and Communication Technology and its Applications
• 2013/02/23 [clean-list] PHD positions in SAT/SMT-based Verification available in Trento Roberto Sebastiani
• 2013/02/21 [clean-list] 2nd Call for Workshop Proposals ICLP 2013: 29th International Conference on Logic Programming, Istanbul, Turkey, August 24-29 Hans Tompits
• 2013/02/18 [clean-list] CFP ICLP 2013: 29th International Conference on Logic Programming, Istanbul, Turkey, August 24-28 peterschueller
• 2013/02/13 [clean-list] DICE 2013 - call-for partcipation Simona Ronchi della Rocca
• 2013/02/12 [clean-list] CSL 2013 first call-for-papers Ronchi Della Rocca Simona
• 2013/02/12 [clean-list] A Ph.D. Student’s CRY for Help saidi34
• 2013/02/10 [clean-list] 1st CFP SBLP 2013 (17th Brazilian Symposium on Programming Languages) Andre Du Bois
• 2013/02/04 [clean-list] CfP: 15th Workshop on Formal Techniques for Java-like Programs (FTfJP) Werner Michael Dietl
• 2013/01/30 [clean-list] Postdoc positions in SAT/SMT-based Verification available in Trento Roberto Sebastiani
• 2013/01/29 [clean-list] World’s Biggest Computer Conference WORLDCOMP is Cancelled amgsolo
• 2013/01/20 [clean-list] RTA 2013: LAST CALL FOR PAPERS Sophie Tison
• 2013/01/15 [clean-list] WORLDCOMP: World’s Biggest Bogus Conference is Back Again kelvinwilliams
• 2013/01/15 [clean-list] CFP:: CyberSec2013- Kuala Lumpur:: Malaysia The Second International Conference on Cyber Security, Cyber Peacefare and Digital Forensic (CyberSec2013)
• 2013/01/13 [clean-list] Call for Workshop Proposals: International Conference on Logic Programming (ICLP 2013) Hans Tompits
• 2013/01/13 [clean-list] CFP: TAEECE2013 Technically Co-sponsored by IEEE The International Conference on Technological Advances in Electrical, Electronics and Computer Engineering (TAEECE2013)
• 2013/01/11 [clean-list] TLCA 2013 Last Call for Papers Luca Paolini
• 2013/01/04 [clean-list] GandALF 2013 - Preliminary Call for Papers Pietro Sala
• 2012/12/27 [clean-list] CFP ICLP 2013: 29th International Conference on Logic Programming, Istanbul, Turkey, August 24-28, 2013 Peter Schueller
• 2012/12/24 [clean-list] TAMC 2013 in Hong Kong: Second Call for Papers S B Cooper
• 2012/12/24 [clean-list] CiE 2013 in Milan - Special Awards and Call for Papers S B Cooper
• 2012/12/20 [clean-list] CSL 2013 : PRELIMINARY ANNOUNCEMENT Luca Paolini
• 2012/12/20 [clean-list] LLVM backend T Ferguson
• 2012/12/16 [clean-list] SR 2013 - Extended Deadline and Last Call for Contributions Nello Murano
• 2012/12/14 [clean-list] CFP:: CyberSec2013- Kuala Lumpur:: Malaysia The Second International Conference on Cyber Security, Cyber Peacefare and Digital Forensic (CyberSec2013)
• 2012/12/12 [clean-list] PEPM 2013: 2nd Call for Participation scm-ml
• 2012/12/11 [clean-list] RTA 2013: Second Call for Papers Sophie Tison
• 2012/12/10 [clean-list] CiE 2013 in Milan - Awards and 2nd Call for Papers S B Cooper
• 2012/11/30 [clean-list] CiE 2013: The Nature of Computation, Milan, Italy, July 1-5, 2013 S B Cooper
• 2012/11/29 [clean-list] TLCA 2013 Second Call for Papers Luca Paolini
• 2012/11/26 [clean-list] 10th Annual Conference on Theory and Applications of Models of Computation (TAMC13) S B Cooper
• 2012/11/25 [clean-list] DICE 2013, second call for papers Simona Ronchi della Rocca
• 2012/11/25 [clean-list] PEPM 2013: Call for Participation scm-ml
• 2012/11/09 [clean-list] SR 2013 - Call for contributions Nello Murano
• 2012/11/06 [clean-list] Kind Reminder:: Call for Participation:: CyberSec2013 The Second International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyberSec2013)
• 2012/11/05 Re: [clean-list] Is there a REPL?? Duke Normandin
• 2012/11/05 Re: [clean-list] Is there a REPL?? Peter Achten
• 2012/10/25 [clean-list] CFP:: CyberSec2013- Kuala Lumpur:: Malaysia The Second International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyberSec2013)
• 2012/10/21 Re: [clean-list] Is there a REPL?? Duke Normandin
• 2012/10/21 Re: [clean-list] Is there a REPL?? Pieter Koopman
• 2012/10/19 [clean-list] Is there a REPL?? Duke Normandin
• 2012/10/14 [clean-list] CFP:: CyberSec2013- Kuala Lumpur:: Malaysia The Second International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyberSec2013)
• 2012/10/10 Re: [clean-list] Documentation on compiler source rinus
• 2012/10/07 [clean-list] SR 2013 - Preliminary call for contributions Nello Murano
• 2012/10/01 [clean-list] PEPM 2013: Deadline Extension scm-ml
• 2012/09/30 [clean-list] FSFLA 2012: final announcement GRLMC
• 2012/09/28 [clean-list] RTA 2013: First Call for Papers Sophie Tison
• 2012/09/16 [clean-list] PEPM 2013: Final Call for Papers scm-ml
• 2012/09/14 [clean-list] IRC Channel Markus Klinik
• 2012/09/11 [clean-list] LATA 2013: 2nd call for papers URV - RESEARCH GROUP ON MATHEMATICAL LINGUISTICS
• 2012/09/08 [clean-list] TPNC 2012: call for participation GRLMC
• 2012/09/04 Re: [clean-list] [GP] Advanced programming Mark Hills
• 2012/09/04 Re: [clean-list] [GP] Advanced programming Peter Achten
• 2012/09/04 [clean-list] TLCA 2013 First Call for Papers Luca Paolini
• 2012/08/24 Re: [clean-list] Memoization of recursive functions using Clean arrays Maks Verver
• 2012/08/24 Re: [clean-list] Memoization of recursive functions using Clean arrays Pieter Koopman
• 2012/08/22 Re: [clean-list] Memoization of recursive functions using Clean arrays Maks Verver
• 2012/08/21 Re: [clean-list] Memoization of recursive functions using Clean arrays Pieter Koopman
• 2012/08/20 Re: [clean-list] Memoization of recursive functions using Clean arrays Maks Verver
• 2012/08/20 Re: [clean-list] Memoization of recursive functions using Clean arrays Pieter Koopman
• 2012/08/19 Re: [clean-list] Memoization of recursive functions using Clean arrays Maks Verver
• 2012/08/17 Re: [clean-list] Memoization of recursive functions using Clean arrays Pieter Koopman
• 2012/08/17 [clean-list] Memoization of recursive functions using Clean arrays Maks Verver
• 2012/08/15 [clean-list] Call for participation ICLP 2012 - updates Gergely Lukacsy (glukacsy)
• 2012/08/13 [clean-list] FSFLA 2012: 3rd announcement GRLMC
• 2012/08/10 Re: [clean-list] ASCII TO UTF8 WITHOUT BOM Richard O'Keefe
• 2012/08/09 [clean-list] ASCII TO UTF8 WITHOUT BOM luciano.vieira.lima
• 2012/08/09 [clean-list] GandALF 2012 -- Call for participation -- Nello Murano

• Earlier messages
• Later messages