clean-list  

Messages by Date

• 2011/05/05 Re: [clean-list] Help Please: Beginner to Clean.. Console I/O RT Happe
• 2011/05/05 Re: [clean-list] Help Please: Beginner to Clean.. Console I/O Isaac Gouy
• 2011/05/05 Re: [clean-list] Help Please: Beginner to Clean.. Console I/O Khurram Khan
• 2011/05/05 [clean-list] [Lpmas] COLA@EPIA 2011 - Last Call for Papers Paulo Moura
• 2011/05/05 [clean-list] [Lpmas] LPMAS - Deadline Extension Son Cao Tran
• 2011/05/05 Re: [clean-list] Help Please: Beginner to Clean.. Console I/O Khurram Khan
• 2011/05/04 Re: [clean-list] Help Please: Beginner to Clean.. Console I/O RT Happe
• 2011/05/04 [clean-list] CfP: Resource Adaptive Compilation and Runtime Environments Frank Penczek
• 2011/05/03 Re: [clean-list] Help Please: Beginner to Clean.. Console I/O RT Happe
• 2011/05/03 [clean-list] Help Please: Beginner to Clean.. Console I/O Khurram Khan
• 2011/05/03 [clean-list] Help Please: Beginner to Clean.. Console I/O‏ Khurram Khan
• 2011/05/02 Re: [clean-list] Compiler process does not terminate after an error. John van Groningen
• 2011/04/30 Re: [clean-list] Books/learning material on Clean for a beginner? Peter Achten
• 2011/04/28 [clean-list] [Lpmas] Call for Papers -- LPMAS Son Cao Tran
• 2011/04/27 [clean-list] REMINDER: Haskell Communities and Activities Report, May 2011 edition Janis Voigtländer
• 2011/04/25 [clean-list] 2nd CFP: ACM SIGPLAN 7th Workshop on Generic Programming (WGP 2011) linisac
• 2011/04/25 [clean-list] FroCoS 2011: Deadline extension Viorica Sofronie-Stokkermans
• 2011/04/24 [clean-list] Compiler process does not terminate after an error. Ferreira Maurizio
• 2011/04/24 [clean-list] [CAV 2011] Call for Workshop Submissions Neha Rungta
• 2011/04/21 [clean-list] Call for Doctoral Consortium at ICLP 2011 - deadline extended 26th April Alessandro Dal Palu
• 2011/04/21 [clean-list] CFP: ICTSS-11 in Paris zaidi fatiha
• 2011/04/21 [clean-list] RDP 2011 - Second Call for Participation Luca Paolini
• 2011/04/21 [clean-list] 2nd CFP: ACM SIGPLAN 7th Workshop on Generic Programming (WGP 2011) cmlrdg
• 2011/04/21 [clean-list] ASPOCP 2011: DEADLINE EXTENDED to May 6 aspocp11
• 2011/04/19 [clean-list] Another(!) PhD Position at Strathclyde Conor McBride
• 2011/04/18 [clean-list] Formal Methods in Computer Aided Design 2011 -- Second CFP David L. Rager
• 2011/04/18 [clean-list] DIFTS'11: 2nd Call For Papers Malay Ganai
• 2011/04/18 [clean-list] FroCoS 2011: Last Call for Papers Viorica Sofronie-Stokkermans
• 2011/04/17 [clean-list] CfP: TIME'11 - EXTENDED DEADLINE Martin Leucker
• 2011/04/13 Re: [clean-list] How to show test result and change number of test Pieter Koopman
• 2011/04/13 Re: [clean-list] Alternate iTasks Client Bas Lijnse
• 2011/04/12 [clean-list] Alternate iTasks Client Eric Jones
• 2011/04/11 [clean-list] TIME'11: CFP Martin Leucker
• 2011/04/11 [clean-list] CFP: SBMF 2011 - 14th Brazilian Symposium on Formal Methods SMBF 2011
• 2011/04/11 [clean-list] Call for Contributions - Haskell Communities and Activities Report, May 2011 edition Janis Voigtländer
• 2011/04/10 [clean-list] CFP -- Haskell Symposium 2011 Haskell Symposium
• 2011/04/10 [clean-list] 3rd and final CFPs: SARA'11, submission deadline April 15 Miroslav Velev
• 2011/04/10 [clean-list] PhD Program: Call for applications Bertram Fronhöfer
• 2011/04/10 [clean-list] Error [StdTime.dcl, 11]: ostick.dcl could not be imported Lee Ho Yeung
• 2011/04/10 Re: [clean-list] Error [StdTime.dcl, 11]: ostick.dcl could not be imported Lee Ho Yeung
• 2011/04/10 [clean-list] How to show test result and change number of test Lee Ho Yeung
• 2011/04/08 [clean-list] LASER summer school: Second call for participation Nadia Polikarpova
• 2011/04/07 [clean-list] FroCoS 2011: Call for Papers Viorica Sofronie-Stokkermans
• 2011/04/07 [clean-list] CALL FOR PAPERS: SPIN 2011 ** EXTENDED DEADLINE APRIL 15 ** Madan Musuvathi
• 2011/04/04 Re: [clean-list] Queries for introduction to Clean's language and environment Bas Lijnse
• 2011/04/03 [clean-list] [fm-announcements] RV 2011 - 2nd Call for Papers and Tutorials Havelund, Klaus (318M)
• 2011/04/03 [clean-list] [fm-announcements] NFM 2011 - call for participation Havelund, Klaus (318M)
• 2011/04/01 Re: [clean-list] Queries for introduction to Clean's language and environment Mikael
• 2011/04/01 [clean-list] final call for papers (deadline near!), call for participation TFP2011 Peter Achten
• 2011/03/31 [clean-list] Call For Papers: Extended Deadline: April 10, 2011 - WORLDCOMP 2011 (July 18-21, 2011, USA) Applied Computing
• 2011/03/31 [clean-list] CFP: SBMF 2011 - 14th Brazilian Symposium on Formal Methods SMBF 2011
• 2011/03/30 [clean-list] Last CFP with Deadline Extension - Int. Workshop on Automated Specification and Verification of Web Systems Laura Kovacs
• 2011/03/26 [clean-list] SPIN 2011 Call For Papers Madan Musuvathi
• 2011/03/25 [clean-list] Queries for introduction to Clean's language and environment Mikael
• 2011/03/24 [clean-list] RDP 2011: Call for Participation RTA publicity chair
• 2011/03/21 [clean-list] SLE 2011 - Final Call for Papers João Fernandes
• 2011/03/20 [clean-list] Privacy, Security, Trust (PST 2011) - Call for Papers (EXTENDED Deadline: April 3, 2011) Serguei A. Mokhov on behalf of PST-11
• 2011/03/20 [clean-list] [fm-announcements] VVPS'11 CFP - deadline extension: March 25 Havelund, Klaus (318M)
• 2011/03/20 [clean-list] Call for Papers : ICTSS-11 in Paris zaidi fatiha
• 2011/03/17 [clean-list] [CAV 2011] Call for Workshop Submissions Neha Rungta
• 2011/03/17 [clean-list] Second CFP - Int. Workshop on Automated Specification and Verification of Web Systems Laura Kovacs
• 2011/03/17 [clean-list] CFP: Exploiting Concurrency Efficiently and Correctly -- (EC)^2 Azadeh Farzan
• 2011/03/17 [clean-list] CFP: ICTSS-11 in Paris Burkhart Wolff
• 2011/03/17 [clean-list] CfP: Workshop of the 2nd SICSA MultiCore Challenge (n-body problem) Hans-Wolfgang Loidl
• 2011/03/17 [clean-list] ASPOCP 2011 Call For Papers aspocp11
• 2011/03/14 [clean-list] CFP ITSLE2011: Industry Track of Software Language Engineering 2011 Pieter Koopman
• 2011/03/14 [clean-list] ICFP 2011 Deadline Extension Wouter Swierstra
• 2011/03/12 [clean-list] 4th Call for Papers: IJCAI-11 workshop ARCOE ARCOE
• 2011/03/12 [clean-list] ICE 2011 - Second Call for Papers (Deadline: 4th April 2011) Marco Carbone
• 2011/03/12 [clean-list] 2nd CFPs: SARA'11 Miroslav Velev
• 2011/03/12 [clean-list] 7th ACM SIGPLAN Workshop on Generic Programming cmlrdg
• 2011/03/11 [clean-list] Privacy, Security, Trust (PST 2011) - 2nd Call for Papers (Deadline: March 20) Serguei A. Mokhov on behalf of PST-11
• 2011/03/09 [clean-list] TIME 2011: Call for Workshop Proposals Dirk Nowotka
• 2011/03/07 [clean-list] 2 PhD positions and 1 postdoc position in Logic and Language at TiLPS, Tilburg University Reinhard Muskens
• 2011/03/06 [clean-list] DIFTS'11: First Call For Papers Malay Ganai
• 2011/03/04 [clean-list] LASER 2011: Tools for Practical Software Verification (Second call for participation) Nadia Polikarpova
• 2011/03/02 [clean-list] [Lpmas] RCRA11: Experimental evaluation of algorithms for solving problems with combinatorial explosion Marco Gavanelli
• 2011/03/02 [clean-list] CEFP 2011 summer school - CFP Horváth Zoltán
• 2011/03/01 [clean-list] CFP WFLP 2011 Janis Voigtländer
• 2011/02/24 [clean-list] PhD Positions in Design and Verification of Embedded Software Marco Roveri
• 2011/02/24 [clean-list] Onward! 2011: Call for Papers, Essays, Films, and Workshops Eelco Visser
• 2011/02/23 [clean-list] [fm-announcements] RV 2011 Call for Papers and Tutorials Havelund, Klaus (317J)
• 2011/02/17 [clean-list] IJCAI-11 Workshop ARCOE (deadline: 6 April) ARCOE
• 2011/02/17 [clean-list] CEFP 2011 Summer School: call for participation CEFP Summer School
• 2011/02/16 [clean-list] Formal Methods in Computer Aided Design 2011 -- First CFP David L. Rager
• 2011/02/16 [clean-list] FroCoS 2011: Call for Papers Viorica Sofronie-Stokkermans
• 2011/02/14 [clean-list] Call for papers: SARA 2011 Miroslav Velev
• 2011/02/13 [clean-list] PLACES 2011 Call For Participation Vasco T. Vasconcelos
• 2011/02/10 [clean-list] ASPOCP 2011 Call For Papers aspocp11
• 2011/02/10 [clean-list] CfP: Time'11 Martin Leucker
• 2011/02/08 [clean-list] ICFP 2011: Second Call for Papers Wouter Swierstra
• 2011/02/06 [clean-list] SLE 2011 - Call for papers João Fernandes
• 2011/02/06 [clean-list] [fm-announcements] VVPS 2011 - deadline extension for all ICAPS workshops Havelund, Klaus (317J)
• 2011/02/05 [clean-list] Deadline Extension: TAP 2011 Burkhart Wolff
• 2011/02/03 [clean-list] Erice School on "Graph Theory, Algorithms and Applications" Giuseppe F. Italiano
• 2011/02/02 [clean-list] CORCS'11 - Call for papers Alexandre David
• 2011/01/26 [clean-list] Call for Papers: i-Society 2011! Mark Newman
• 2011/01/25 [clean-list] ICE 2011 - First Call for Papers (Deadline: 4th April 2011) Marco Carbone
• 2011/01/24 [clean-list] [Synasc-call-for-papers] 1st CfP - SYNASC 2011, Timisoara, Romania, 26-29, Sep, 2010 Synasc 2011
• 2011/01/21 [clean-list] CADE-23: Final Call for Papers Carsten Schuermann
• 2011/01/20 [clean-list] 2nd CFP "Test and Proof", Zürich 2011 Burkhart Wolff
• 2011/01/17 [clean-list] Tableaux 2011: Final Call for Papers Viorica Sofronie-Stokkermans
• 2011/01/14 [clean-list] PADL'11 - Call for Participation Ricardo Rocha
• 2011/01/09 [clean-list] RTA 2011 RTA extended deadline RTA publicity chair
• 2011/01/08 [clean-list] [fm-announcements] CFP - VVPS 2011: Verification and Validation for Planning and Scheduling Systems Havelund, Klaus (317J)
• 2011/01/08 [clean-list] CSL 2011 Call for Papers and Workshops Geoff Sutcliffe
• 2011/01/06 [clean-list] Call for Participation: DAMP 2011 Conference Account
• 2011/01/04 [clean-list] PADL'11 - Call for Participation Ricardo Rocha
• 2011/01/03 [clean-list] Semantic Web Journal: Call for Special Issue Proposals Pascal Hitzler
• 2010/12/30 [clean-list] CP 2011 - Call for Tutorial Proposals CP2011_info
• 2010/12/30 [clean-list] CP 2011 - Call for WORKSHOP PROPOSALS cp2011publicity
• 2010/12/26 [clean-list] Call for Papers CP 2011 Seventeenth International Conference on Principles and Practice of Constraint Programming CP2011_info
• 2010/12/22 Re: [clean-list] Clean 2.3 available for Windows and Linux Isaac Gouy
• 2010/12/22 [clean-list] TLCA 2011 --- Last Call for Papers Luca Paolini
• 2010/12/22 [clean-list] Just starting out Chris Saunders
• 2010/12/22 [clean-list] Clean 2.3 available for Windows and Linux John van Groningen
• 2010/12/20 [clean-list] Call For Papers: ASAP 2011 asap-announce
• 2010/12/15 [clean-list] 1st CFP Trends in Functional Pogramming 2011 Ricardo Peña
• 2010/12/14 [clean-list] LASER Summer School 2011: Tools for Practical Software Verification Nadia Polikarpova
• 2010/12/13 [clean-list] TABLEAUX 2011: Second Call for Papers Viorica Sofronie-Stokkermans
• 2010/12/12 [clean-list] [fm-announcements] NFM 2011 - Deadline extension Havelund, Klaus (317J)
• 2010/12/12 [clean-list] Places 2011 - Call for Papers Vasco T. Vasconcelos
• 2010/12/12 [clean-list] CADE-23: Second Call for Papers Carsten Schuermann
• 2010/12/09 [clean-list] POPL 2011: Call for participation Swarat Chaudhuri
• 2010/12/09 [clean-list] ICFP 2011: Call for papers Wouter Swierstra
• 2010/12/08 [clean-list] PADL'11 - Call for Participation Ricardo Rocha
• 2010/12/07 [clean-list] RTA 2011: 2nd call for papers RTA publicity chair
• 2010/12/05 [clean-list] DAMP 2011 - Call for Participation DAMP 2011
• 2010/12/02 [clean-list] CADE 2011: last call for workshops, tutorials Aaron Stump
• 2010/11/29 [clean-list] Semantic Web Journal: Call for Special Issue Proposals Pascal Hitzler
• 2010/11/25 [clean-list] SLE 2011 - Call for papers João Fernandes
• 2010/11/25 [clean-list] Master Course Computational Logic Bertram Fronhöfer
• 2010/11/25 [clean-list] ICECCS 2011: Engineering of Complex Computer Systems Carlo Alberto Furia
• 2010/11/25 [clean-list] TAP 2011: Tests and Proofs Carlo Alberto Furia
• 2010/11/21 [clean-list] WGT 2011 Submission Deadline Extension and Final Call for Papers Workshop on Generative Technologies
• 2010/11/16 [clean-list] 1 CFP Test And Proof Burkhart Wolff
• 2010/11/15 [clean-list] [fm-announcements] NASA Formal Methods Symposium - NFM 2011 : Third Call for Papers Havelund, Klaus (317J)
• 2010/11/11 [clean-list] Fwd: [Fp-nl] landelijke FP dag Peter Achten
• 2010/11/09 Re: [clean-list] Building Clean 2.2 on Mac OS X Sjors Gielen
• 2010/11/09 [clean-list] Building Clean 2.2 on Mac OS X Richard O'Keefe
• 2010/11/09 [clean-list] ANNOUNCE: Haskell Communities and Activities Report (19th ed., November 2010) Janis Voigtländer
• 2010/11/01 Re: [clean-list] Funny identifiers starting with double colon Vag Vagoff
• 2010/11/01 Re: [clean-list] Funny identifiers starting with double colon John van Groningen
• 2010/10/28 [clean-list] Funny identifiers starting with double colon Vag Vagoff
• 2010/10/25 [clean-list] REMINDER: Haskell Communities and Activities Report, November 2010 edition Janis Voigtländer
• 2010/10/22 [clean-list] ICFP 2011: Call for Workshop Proposals Wouter Swierstra
• 2010/10/19 [clean-list] ICLP 2011: Call for workshop proposals Joohyung Lee
• 2010/10/12 [clean-list] DAMP 2011 - Extended deadline DAMP 2011
• 2010/10/11 [clean-list] Call for Contributions - Haskell Communities and Activities Report, November 2010 edition Janis Voigtländer
• 2010/10/07 [clean-list] RTA CFP 2011 RTA publicity chair
• 2010/10/07 [clean-list] Tableaux 2011 First Call for Papers Viorica Sofronie-Stokkermans
• 2010/10/06 [clean-list] DAMP 2011 - Second call for papers DAMP 2011
• 2010/10/05 [clean-list] ICLP 2011 - Call for Papers Yuliya Lierler
• 2010/10/04 [clean-list] WGT 2011 Call for Papers Workshop on Generative Technologies
• 2010/09/30 [clean-list] [CAV 2011] Call for Workshop Proposals Neha Rungta
• 2010/09/28 [clean-list] [fm-announcements] NFM 2011 : Second Call for Papers Havelund, Klaus (316D)
• 2010/09/24 [clean-list] Postdoc vacancies in OUCL Information Systems Group Ian Horrocks
• 2010/09/21 [clean-list] CADE-23 - Call for Papers Carsten Schuermann
• 2010/09/20 [clean-list] Type checker to track files zuurb078
• 2010/09/19 [clean-list] RDP 2011 -- Call For Workshop Proposals Luca Paolini
• 2010/09/18 [clean-list] STOP'11 Call for Papers Tobias Wrigstad
• 2010/09/14 [clean-list] bug in printing sin(pi/2.0) Peter Achten
• 2010/09/13 [clean-list] CFP: DAMP 2011 DAMP 2011
• 2010/09/13 [clean-list] Call for Paper: TLCA'11, 1-3 June 2011, Novi Sad Luca Paolini
• 2010/09/13 [clean-list] Call for Paper: TLCA'11, 1-3 June 2011, Novi Sad Luca Paolini
• 2010/09/13 [clean-list] Fwd: [Haskell] Announcement Thomas van Noort
• 2010/09/06 [clean-list] CFP: AOW 2010 @ AI 2010 Tommie Meyer
• 2010/09/05 Re: [clean-list] Problem in RuntimeSystem/Makefile.linux Sjors Gielen
• 2010/09/05 [clean-list] Problem in RuntimeSystem/Makefile.linux Sjors Gielen
• 2010/09/03 Re: [clean-list] Clean compilen op Mac Bas Lijnse
• 2010/09/03 Re: [clean-list] Clean compilen op Mac Thomas van Noort
• 2010/09/03 Re: [clean-list] Clean compilen op Mac Sjors Gielen
• 2010/09/03 Re: [clean-list] Clean compilen op Mac Bas Lijnse
• 2010/09/02 Re: [clean-list] Clean compilen op Mac Sjors Gielen
• 2010/09/01 [clean-list] CAV 2011 Call For Papers Shaz Qadeer
• 2010/09/01 [clean-list] Call for Participation RV 2010
• 2010/08/27 [clean-list] Haskell 2010 Call for Participation Jeremy . Gibbons
• 2010/08/26 [clean-list] [Clean] Funny identifiers starting with double colon Vag Vagoff
• 2010/08/25 [clean-list] [CUFP 2010] Birds of a Feather Sessions Anil Madhavapeddy
• 2010/08/23 [clean-list] ICFP '10: Final call for participation Wouter Swierstra
• 2010/08/16 [clean-list] Programming Languages opening at Oxford Oege . de . Moor
• 2010/08/14 [clean-list] GAMES - Oxford, Sept 2010: Call for Participation James Worrell
• 2010/08/14 [clean-list] IWIL workshop at LPAR-17 in Indonesia - Extended deadline Geoff Sutcliffe
• 2010/08/02 [clean-list] ICFP 2010: Call for participation Wouter Swierstra
• 2010/07/27 [clean-list] LPAR-17 call for short papers, workshop submissions Geoff Sutcliffe
• 2010/07/18 [clean-list] Call for open reviews: Semantic Web journal Pascal Hitzler
• 2010/07/17 [clean-list] [fm-announcements] CFP: Third NASA Formal Methods Symposium (NFM 2011) Havelund, Klaus (316D)
• 2010/07/13 [clean-list] PADL'11 - Call for Papers Ricardo Rocha
• 2010/07/07 Re: [clean-list] "Linker exited abnormally" John van Groningen
• 2010/07/05 [clean-list] LOPSTR/PPDP 2010 Final Call for Participation Wolfgang Schreiner
• 2010/07/03 [clean-list] "Linker exited abnormally" David C. Norris
• 2010/07/03 [clean-list] 3nd CFPapers en 1st CFPart: 22nd Symposium on Implementation and Application of Functional Languages. jur
• 2010/07/01 [clean-list] POPL 2011: Call for Papers Swarat Chaudhuri
• 2010/06/30 [clean-list] [Synasc-call-for-papers] SYNASC 2010: Last Call for Papers (Deadline: only 5 days left) synasc10
• 2010/06/28 [clean-list] CAV 2010 Last Call for Participation and regular registration Tayssir Touili
• 2010/06/26 [clean-list] CfP: Programming Support Innovations for Emerging Distributed Applications (PSI EtA 2010), International Workshop Patrick Eugster
• 2010/06/25 Re: [clean-list] help, update in place, two dimensional array. John van Groningen
• 2010/06/22 [clean-list] help, update in place, two dimensional array. Carlos Aya
• 2010/06/22 [clean-list] [Synasc-call-for-papers] FINAL DEADLINE, July 5th - SYNASC 2010, Timisoara, Romania, 23-26, Sep, 2010 synasc10
• 2010/06/22 [clean-list] FLoC 2010: Final Call for Participation Nicole Schweikardt

• Earlier messages
• Later messages