clean-list  

Messages by Date

• 2010/06/18 [clean-list] Fully-funded PhD in programming languages at Oxford Jeremy . Gibbons
• 2010/06/14 [clean-list] LOPSTR/PPDP 2010 Early Registration Deadline: June 21 Wolfgang Schreiner
• 2010/06/09 [clean-list] 1st CfP 5th International Workshop [email protected] Cédric Jeanneret
• 2010/06/07 [clean-list] Final Call for Papers: Haskell Symposium 2010 Jeremy . Gibbons
• 2010/06/04 [clean-list] Call for participation to ISCA 2010 Andre Seznec
• 2010/06/01 [clean-list] Types Meeting 2010 Aleksy Schubert
• 2010/06/01 [clean-list] [Synasc-call-for-papers] Deadline extension to June 21 - SYNASC 2010, Timisoara, Romania, 23-26, Sep, 2010 synasc10
• 2010/06/01 [clean-list] Journal 2nd CfP: Semantic Web Tools and Systems Pascal Hitzler
• 2010/05/31 Re: [clean-list] typical synergy in Clean Thomas van Noort
• 2010/05/30 [clean-list] typical synergy in Clean Carlos Aya
• 2010/05/28 [clean-list] ANNOUNCE: Haskell Communities and Activities Report (18th ed., May 2010) Janis Voigtländer
• 2010/05/26 [clean-list] FLoC 2010: US-based Student Travel Support Nicole Schweikardt
• 2010/05/26 [clean-list] LOPSTR/PPDP 2010 Call for Participation Wolfgang Schreiner
• 2010/05/25 [clean-list] FLoC 2010: US-based Student Travel Support Nicole Schweikardt
• 2010/05/23 [clean-list] 2nd CFPapers: 22nd Symposium on Implementation and Applications of Functional Languages (IFL 2010) jur
• 2010/05/23 [clean-list] Call for Participation: 20th WADT, July 1-4, 2010 Till Mossakowski
• 2010/05/23 [clean-list] LPAR-17 submission deadlines Geoff Sutcliffe
• 2010/05/14 [clean-list] Call for papers: SETP-10, USA, July 2010 John Edward
• 2010/05/11 [clean-list] CALL FOR PARTICIPATION: MPC 2010 Jules Desharnais
• 2010/05/10 [clean-list] RV'10 Final CFP - DEADLINE: June 1st RV 2010
• 2010/05/07 [clean-list] FLoC 2010: 2nd Call for Participation Nicole Schweikardt
• 2010/05/07 [clean-list] CfP: 20th WADT - deadline extended to May, 10th Till Mossakowski
• 2010/05/07 [clean-list] [Call for participation] Workshop on Constraint Based Methods for Bioinformatics Alessandro Dal Palu'
• 2010/05/07 [clean-list] [Synasc-call-for-papers] 2nd CFP - SYNASC 2010, Timisoara, Romania, September 23-26, 2010 synasc10
• 2010/05/07 [clean-list] Exploiting Concurrency Efficiently and Correctly: (EC)^2 --- Call for Participation Azadeh Farzan
• 2010/04/29 [clean-list] REMINDER: Haskell Communities and Activities Report Janis Voigtländer
• 2010/04/29 [clean-list] Final CFP and deadline extention: FMCAD 2010 [email protected]
• 2010/04/26 [clean-list] Special JSC issue on First Order Theorem Proving Viorica Sofronie-Stokkermans
• 2010/04/23 [clean-list] 2nd CfP: 20th WADT - deadline April, 30th Till Mossakowski
• 2010/04/19 [clean-list] 2nd CFP: FMCAD 2010 [email protected]
• 2010/04/19 [clean-list] CFP: RULE 2010 - Deadline Extension Dave Reynolds
• 2010/04/16 [clean-list] IJCAR 2010 - Call for participation Viorica Sofronie-Stokkermans
• 2010/04/13 [clean-list] FLoC 2010: Student Travel Grants Nicole Schweikardt
• 2010/04/12 [clean-list] [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010) Hassan Ait-Kaci
• 2010/04/09 [clean-list] Call for Contributions - Haskell Communities and Activities Report, May 2010 edition Janis Voigtländer
• 2010/04/07 [clean-list] FMICS 2010: Call for Papers (deadline extended) Marco Roveri
• 2010/04/07 Re: [clean-list] Unable to run CleanCompiler.exe :0 (to update project) RT Happe
• 2010/04/07 Re: [clean-list] Unable to run CleanCompiler.exe :0 (to update project) RT Happe
• 2010/04/06 [clean-list] [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010) Hassan Ait-Kaci
• 2010/04/06 [clean-list] Final call: AMAST 2010 amast-10
• 2010/04/06 [clean-list] Unable to run CleanCompiler.exe :0 (to update project) RT Happe
• 2010/04/04 [clean-list] LOPSTR'10: New deadline for extended abstract submission Temur Kutsia
• 2010/04/02 [clean-list] TFP 2010 - Final Call: Submission deadline one week away, April 9 TFP 2010
• 2010/04/02 [clean-list] ICPC2010 -- Call-for-ToolDemos Pedro Rangel Henriques
• 2010/04/02 [clean-list] Amir Pnueli Memorial Symposium Tayssir Touili
• 2010/03/30 [clean-list] ICFP 2010 deadline Wouter Swierstra
• 2010/03/29 [clean-list] [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010) Hassan Ait-Kaci
• 2010/03/28 [clean-list] AMAST 2010: deadline approaching amast-10
• 2010/03/28 [clean-list] ASPOCP 2010 Deadline Extension aspocp10
• 2010/03/25 [clean-list] Call for papers (Deadline Extended): SETP-10, USA, July 2010 John Edward
• 2010/03/25 [clean-list] Could someone reply to graph DB library question? Mark Koenig
• 2010/03/25 [clean-list] SoSyM Newsletter bernhard . rumpe
• 2010/03/23 [clean-list] ICFP 2010: Final Call for Papers Wouter Swierstra
• 2010/03/23 [clean-list] [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010) Hassan Ait-Kaci
• 2010/03/22 [clean-list] Exploiting Concurrency Efficiently and Correctly: (EC)^2 --- Last Call for Papers Azadeh Farzan
• 2010/03/21 [clean-list] Fwd: [Haskell] Call for Praatjes: Dutch HUG Day Chris Eidhof
• 2010/03/19 [clean-list] CFPapers: 22nd Symposium on Implementation and Applications of Functional Languages (IFL 2010) jur
• 2010/03/17 [clean-list] Last CfP: LOPSTR'10 Temur Kutsia
• 2010/03/16 Re: [clean-list] Transparent Persistence using a "natural" store Mark Koenig
• 2010/03/16 [clean-list] CFP: RULE 2010 (Edinburgh, UK, July 14, 2010) Hassan Ait-Kaci
• 2010/03/14 [clean-list] Transparent Persistence using a "natural" store Mark Koenig
• 2010/03/12 [clean-list] LPAR-17 in Indonesia - Calls for Papers and Workshop Proposals Geoff Sutcliffe
• 2010/03/10 [clean-list] CFP - RULE 2010 (Edinburgh, UK, July 14, 2010) Hassan Ait-Kaci
• 2010/03/10 [clean-list] TFP 2010 - 3rd CFP: Submit papers by April 9, REGISTRATION IS OPEN TFP 2010
• 2010/03/09 [clean-list] Call for papers: SETP-10, USA, July 2010 John Edward
• 2010/03/09 [clean-list] ICTSS 2010: 22nd IFIP Int. Conf. on Testing Software and Systems (formerly TestCom/FATES) Adenilso Simao
• 2010/03/06 [clean-list] HLDVT 2010 Paper submission deadline extended to March 14!!! Shireesh Verma
• 2010/03/04 [clean-list] CPSWEEK (HSCC, ICCPS, IPSN, LCTES, RTAS) keynote speakers finalized & registration open Adam Dunkels
• 2010/02/28 [clean-list] PhD position in ICT on Formal Verification via SMT available in Trento Roberto Sebastiani
• 2010/02/24 [clean-list] ICFP 2010: Second call for papers Wouter Swierstra
• 2010/02/24 [clean-list] CfP - 4th ACM International Conference on Distributed Event-Based Systems (DEBS) - 1 WEEK DEADLINE EXTENSION Leonardo Querzoni
• 2010/02/24 [clean-list] Call for Papers - AMAST 2010 amast-10
• 2010/02/22 [clean-list] Call for papers: SETP-10, Orlando, USA, July 2010 John Edward
• 2010/02/21 [clean-list] [Synasc-call-for-papers] 1st CfP - SYNASC 2010, Timisoara, Romania, 23-26, Sep, 2010 synasc10
• 2010/02/21 [clean-list] HLDVT 2010 Final Call for Papers Shireesh Verma
• 2010/02/21 [clean-list] FMICS 2010: Preliminary Call for Paper Marco Roveri
• 2010/02/21 [clean-list] Call for papers: MULTICONF-10, July 2009, Orlando, USA Alfred Nabbles
• 2010/02/21 [clean-list] Special issue of the Journal of Symbolic Computation on First Order Theorem Proving Viorica Sofronie-Stokkermans
• 2010/02/21 [clean-list] One week deadline extension for ASAP 2010 (now Feb. 22nd) asap2010-general
• 2010/02/19 [clean-list] Hamming Erik Zuurbier
• 2010/02/13 [clean-list] Draft paper submission deadline is extended: SETP-10, Orlando, USA John Edward
• 2010/02/11 [clean-list] CFP: Exploiting Concurrency Efficiently and Correctly -- (EC)^2 Azadeh Farzan
• 2010/02/10 [clean-list] ASPOCP 2010 Call For Papers aspocp10
• 2010/02/08 [clean-list] Call for Papers: Haskell Symposium 2010 Jeremy . Gibbons
• 2010/02/07 [clean-list] Draft paper submission deadline is extended: SETP-10 John Edward
• 2010/02/07 [clean-list] Announcement: ICCL Summer School 2010 Bertram Fronhöfer
• 2010/02/05 [clean-list] TFP 2010 - Call for Papers and Participation TFP 2010
• 2010/02/01 Re: [clean-list] clean and database Bas Lijnse
• 2010/01/30 [clean-list] clean and database Hoang-Vu PHUNG
• 2010/01/26 [clean-list] Call for Papers: COORDINATION 2010 Dave Clarke
• 2010/01/25 [clean-list] RTA extended deadline Hitoshi Ohsaki
• 2010/01/25 [clean-list] FMCAD'10 First Call For Papers [email protected]
• 2010/01/25 [clean-list] RV 2010 - 1st Int. Conference: Call for Papers and Tutorials RV 2010
• 2010/01/22 [clean-list] Where is 'generic generate' implementation? takayuki goto
• 2010/01/14 [clean-list] Final Call for Papers: Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies. Michael Chan
• 2010/01/10 [clean-list] IJCAR 2010 - Call for papers Viorica Sofronie-Stokkermans
• 2010/01/10 [clean-list] CFP - ICLP 2010 - DEADLINE: Jan 26 iclp2010-announce
• 2010/01/08 [clean-list] CFP - ViDaS 2010 - First International Workshop onValidation and Verification of Dynamic Software Systems Bencomo, Nelly
• 2010/01/08 [clean-list] LPAR-16 deadline extended Geoff Sutcliffe
• 2010/01/07 [clean-list] CAV 2010 Last Call for Papers Tayssir Touili
• 2010/01/07 [clean-list] Request for comments: Two-phase reviewing for POPL swarat
• 2010/01/06 [clean-list] ASAP 2010 Second Call for paper asap2010-general
• 2010/01/05 [clean-list] CSL 2010 - 1st Call for Papers Geoff Sutcliffe
• 2010/01/05 [clean-list] RTA 2nd CFP (July 11 - July 13, 2010, Edinburgh) RTA publicity chair
• 2009/12/23 [clean-list] Description Logics 2010: 2nd call for papers David Toman
• 2009/12/20 [clean-list] Early registration deadline - PEPM'10 Janis Voigtländer
• 2009/12/20 [clean-list] CfP - 4th ACM International Conference on Distributed Event-Based Systems (DEBS) Leonardo Querzoni
• 2009/12/20 [clean-list] POPL 2010 - Call for Participation - Early Registration Dec 22 popl10-announce
• 2009/12/16 [clean-list] Formatting glitch in Clean Source? Chris
• 2009/12/15 [clean-list] LPAR-16 - Dakar, Senegal - April 2010 Geoff Sutcliffe
• 2009/12/15 [clean-list] PEPM'10 (co-located with POPL'10) Janis Voigtländer
• 2009/12/15 [clean-list] PADL 2010: Call for Participation Manuel Carro
• 2009/12/14 [clean-list] GT-VMT 2010: deadlines extended Emilio Tuosto
• 2009/12/09 [clean-list] Call for Papers: ICLP 2010 Torsten Schaub
• 2009/12/01 [clean-list] FLoC 2010: Call for Papers Nicole Schweikardt
• 2009/12/01 Re: [clean-list] observers in your plans? Edsko de Vries
• 2009/11/29 [clean-list] POPL 2010 - Call for participation Swarat Chaudhuri
• 2009/11/29 Re: [clean-list] stuck with uniqueness in records Carlos Aya
• 2009/11/29 Re: [clean-list] observers in your plans? Carlos Aya
• 2009/11/27 Re: [clean-list] observers in your plans? John van Groningen
• 2009/11/27 Re: [clean-list] stuck with uniqueness in records John van Groningen
• 2009/11/27 [clean-list] observers in your plans? Carlos Aya
• 2009/11/27 [clean-list] stuck with uniqueness in records Carlos Aya
• 2009/11/26 [clean-list] Memocode 2010 First Call for Papers Barbara Jobstmann
• 2009/11/26 [clean-list] IJCAR 2010 - first call for papers Viorica Sofronie-Stokkermans
• 2009/11/22 [clean-list] WGT 2010 Submission Deadline Extension and Final Call for Papers Workshop on Generative Technologies
• 2009/11/20 Re: [clean-list] definition and propagation of class constraints John van Groningen
• 2009/11/20 Re: [clean-list] [Haskell] ANNOUNCE: Haskell Communities and Activities Report (17th ed., November 2009) Simon Peyton-Jones
• 2009/11/20 [clean-list] ANNOUNCE: Haskell Communities and Activities Report (17th ed., November 2009) voigt
• 2009/11/18 [clean-list] definition and propagation of class constraints Carlos Aya
• 2009/11/18 [clean-list] Call for Participation - PEPM'10 (co-located with POPL'10) voigt
• 2009/11/18 [clean-list] ICFP '10: Second call for workshop proposals Wouter Swierstra
• 2009/11/17 Re: [clean-list] uniqueness question Carlos Aya
• 2009/11/17 Re: [clean-list] uniqueness question John van Groningen
• 2009/11/17 Re: [clean-list] uniqueness question John van Groningen
• 2009/11/17 Re: [clean-list] uniqueness question Edsko de Vries
• 2009/11/17 Re: [clean-list] uniqueness question Vag Vagoff
• 2009/11/16 [clean-list] TFP 2010 - Call for Papers TFP 2010
• 2009/11/16 Re: [clean-list] uniqueness question Vag Vagoff
• 2009/11/16 Re: [clean-list] uniqueness question Carlos Aya
• 2009/11/16 [clean-list] CICE-2010: Call for Papers Galyna Akmayeva
• 2009/11/16 Re: [clean-list] uniqueness question John van Groningen
• 2009/11/16 Re: [clean-list] uniqueness question Edsko de Vries
• 2009/11/16 Re: [clean-list] uniqueness question John van Groningen
• 2009/11/16 Re: [clean-list] uniqueness question Edsko de Vries
• 2009/11/15 [clean-list] uniqueness question Carlos Aya
• 2009/11/15 [clean-list] Second call for papers: Mathematics of Program Construction Jules Desharnais
• 2009/11/13 [clean-list] Description Logics 2010: 1st call for papers David Toman
• 2009/11/10 [clean-list] SETP-10 Call for papers John Edward
• 2009/11/10 [clean-list] ICFP2010: Call for papers Wouter Swierstra
• 2009/11/05 [clean-list] latest clean vs haskell in haskell cafe. Carlos Aya
• 2009/11/02 [clean-list] call for organizing next AFP summerschool (2010) rinus plasmeijer
• 2009/10/27 Re: [clean-list] Parallel machines (Am I missing something)? John van Groningen
• 2009/10/23 Re: [clean-list] Maximum number of files --> zuurb Marco Kesseler
• 2009/10/22 [clean-list] Parallel machines (Am I missing something)? Philippos Apolinarius
• 2009/10/22 [clean-list] Maximum number of files --> zuurb Philippos Apolinarius
• 2009/10/22 Re: [clean-list] Max number of files open John van Groningen
• 2009/10/22 [clean-list] Max number of files open zuurb078
• 2009/10/19 [clean-list] ICFP10: Call for workshop proposals Wouter Swierstra
• 2009/10/19 RE: [Fwd: Re: [clean-list] Clean versus Haskell] John van Groningen
• 2009/10/19 [clean-list] GT-VMT 2010 call for papers Emilio Tuosto
• 2009/10/19 [clean-list] FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE MYV
• 2009/10/18 Re: [clean-list] MersenneTwister --- fixing the program Pieter Koopman
• 2009/10/18 [clean-list] MersenneTwister --- fixing the program Philippos Apolinarius
• 2009/10/17 [clean-list] Clean and Haskell: MersenneTwister Philippos Apolinarius
• 2009/10/15 [clean-list] More realistic benchmark (I) Philippos Apolinarius
• 2009/10/15 RE: [Fwd: Re: [clean-list] Clean versus Haskell] Philippos Apolinarius
• 2009/10/15 RE: [Fwd: Re: [clean-list] Clean versus Haskell] Isaac Gouy
• 2009/10/15 [clean-list] ICFP10: Call for Workshop Proposals Wouter Swierstra
• 2009/10/15 [clean-list] Call for Contributions - Haskell Communities and Activities Report, November 2009 edition Janis Voigtlaender
• 2009/10/15 [clean-list] Call for Participation: VSTTE 2009 Jean-Christophe Filliâtre
• 2009/10/15 RE: [Fwd: Re: [clean-list] Clean versus Haskell] Simon Peyton-Jones
• 2009/10/14 Re: [Fwd: Re: [clean-list] Clean versus Haskell] Adrian Hey
• 2009/10/14 [Fwd: Re: [clean-list] Clean versus Haskell] Adrian Hey
• 2009/10/13 Re: [clean-list] Clean versus Haskell Isaac Gouy
• 2009/10/13 [clean-list] CAV 2010 Call for Papers Tayssir Touili
• 2009/10/13 [clean-list] CFP: International Symposium on Memory Management 2010 Kevin Hoffman
• 2009/10/12 [clean-list] Clean versus Haskell Philippos Apolinarius
• 2009/10/12 Re: [clean-list] Re: Clean versus Haskell Philippos Apolinarius
• 2009/10/12 Re: [clean-list] Compiler dying with message `dart' when fusion turned on John van Groningen
• 2009/10/12 [clean-list] Re: Clean rinus plasmeijer
• 2009/10/07 Re: [clean-list] Out of memory when compiling modules over 100k John van Groningen
• 2009/10/06 [clean-list] CfPart: FMICS 2009, 2-3 November 2009, Final Call Christophe Joubert
• 2009/10/06 [clean-list] HLDVT 2009 Call for Participation: Early Registration Deadline Shireesh Verma
• 2009/10/05 [clean-list] Compiler dying with message `dart' when fusion turned on Vag Vagoff
• 2009/10/05 [clean-list] Out of memory when compiling modules over 100k Vag Vagoff
• 2009/10/05 [clean-list] FMCAD'09 Call For Participation Armin Biere
• 2009/10/02 [clean-list] PEPM'10 - Final CFP (Deadline Tuesday 6 October, 2009 ) John Gallagher
• 2009/09/29 [clean-list] WGT 2010 Call for Papers Workshop on Generative Technologies
• 2009/09/28 [clean-list] INAP 2009: CALL FOR PARTICIPATION INAP 2009
• 2009/09/20 [clean-list] TFM09: Call for Participation (FMWeek, Eindhoven, November 2009) J.N. Oliveira
• 2009/09/16 [clean-list] SITIS'09: Last Call For Papers (4 days left) CHBEIR Richard
• 2009/09/16 [clean-list] Call for Participation: FOPARA Marko van Eekelen
• 2009/09/15 [clean-list] PEPM'10 - CFP (Submission: 6 Oct 09, Notification: 29 Oct 09) John Gallagher
• 2009/09/14 Re: [clean-list] Black Screen: lift (TFA) (unitype.icl) John van Groningen
• 2009/09/14 Re: [clean-list] Is freadi broken in 64-bit Clean? John van Groningen
• 2009/09/12 [clean-list] DAMP 2010: FINAL Call for Papers jlpspi
• 2009/09/12 Re: [clean-list] Black Screen: lift (TFA) (unitype.icl) Vag Vagoff
• 2009/09/08 [clean-list] Last Call for Papers: VSTTE 2009 Jean-Christophe Filliâtre
• 2009/09/06 [clean-list] Is freadi broken in 64-bit Clean? Maks Verver

• Earlier messages
• Later messages