clean-list  

Messages by Thread

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

• Earlier messages
• Later messages