clean-list  

Messages by Date

• 2009/09/04 Re: [clean-list] Typing polymorphic CAFs John van Groningen
• 2009/09/02 [clean-list] Typing polymorphic CAFs Vag
• 2009/08/31 Re: [clean-list] developments for Clean John van Groningen
• 2009/08/27 [clean-list] developments for Clean Paul de Mast
• 2009/08/25 [clean-list] PADL 10: Third Call for Papers Manuel Carro
• 2009/08/18 [clean-list] Third Call for Papers: DAMP 2010 jlpspi
• 2009/08/17 [clean-list] CFP VMCAI 2010, Madrid - EXTENDED DEADLINE: Aug 21/28 Manuel Hermenegildo
• 2009/08/17 Re: [clean-list] Where is floor :: !Real -> Real? John van Groningen
• 2009/08/16 [clean-list] Where is floor :: !Real -> Real? Vag
• 2009/08/13 [clean-list] IFL 2009: Final Call for Papers and Participation IFL 2009
• 2009/08/13 Re: [clean-list] Black Screen: lift (TFA) (unitype.icl) John van Groningen
• 2009/08/13 Re: [clean-list] Black Screen Death in parser: tokenBack with empty token buffer John van Groningen
• 2009/08/12 Re: [clean-list] RE: Black Screen: lift (TFA) (unitype.icl) Vag
• 2009/08/11 [clean-list] RE: Black Screen: lift (TFA) (unitype.icl) Carlos Aya
• 2009/08/10 [clean-list] Black Screen: lift (TFA) (unitype.icl) Vag
• 2009/08/09 [clean-list] [ObjectIO] Bitmap handle never disposed Vag
• 2009/08/02 [clean-list] IFL 2009: Call for Papers and Participation IFL 2009
• 2009/08/01 [clean-list] ICLP'10, FLoC'10: Call for Workshops Deadline Extension to Sept. 1rst Veronica Dahl
• 2009/07/29 [clean-list] [isaim2008] Call for Papers: 11th Int'l Symp. on AI and Math (Jan 6-8, 2010, Ft. Lauderdale) Prof. Martin Charles Golumbic
• 2009/07/26 [clean-list] Call for Papers: VSTTE 2009 Jean-Christophe Filliâtre
• 2009/07/26 [clean-list] Second Call for Papers: PADL'10, Madrid, January 2010 Manuel Carro
• 2009/07/23 [clean-list] CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model Checking, and Abstract Interpretation) vmcai10-announce
• 2009/07/22 [clean-list] Black Screen Death in parser: tokenBack with empty token buffer Vag Vagoff
• 2009/07/20 [clean-list] Call for Papers: PLPV 2010 Jean-Christophe Filliâtre
• 2009/07/17 [clean-list] PEPM'10 - Call for Papers (Deadline: 6 Oct 09) - Invited Speakers announced Janis Voigtlaender
• 2009/07/16 [clean-list] IFL 2009: Third Call for Papers IFL 2009
• 2009/07/15 [clean-list] FLoC 2010: Final Call for Workshop Proposals Nicole Schweikardt
• 2009/07/14 [clean-list] Call for papers: Mathematics of Program Construction Jules Desharnais
• 2009/07/12 [clean-list] ICFP09 Final Call for Participation Matthew Fluet (ICFP Publicity Chair)
• 2009/07/12 [clean-list] Call for ICLP'10 Workshop Proposals Veronica Dahl
• 2009/07/12 [clean-list] GAMES 2009: Final Call for Contributions fsvweb
• 2009/07/12 [clean-list] [Ppdp09] PPDP'09 - Call for Participation António Porto
• 2009/07/02 Re: [clean-list] More generic instance always preferred instead of most specialized John van Groningen
• 2009/07/02 Re: [clean-list] Overlapping discriminated instances without type aliases does not work John van Groningen
• 2009/07/01 Re: [clean-list] Fake "cycle in spine detected" when using *World from C module John van Groningen
• 2009/06/30 [clean-list] Second Call for Papers: DAMP 2010 jlpspi
• 2009/06/30 [clean-list] INAP 2009: DEADLINE EXTENSION and Final Call for Papers INAP 2009
• 2009/06/30 [clean-list] LOPSTR2009 Call for Participation International Symposium on Logic-based Program Synthesis and Transformation
• 2009/06/28 [clean-list] [Synasc-call-for-papers] SYNASC 2009 - Final Call for Papers synasc09
• 2009/06/26 [clean-list] More generic instance always preferred instead of most specialized Vag
• 2009/06/26 [clean-list] Overlapping discriminated instances without type aliases does not work Vag
• 2009/06/26 [clean-list] Integer literal overflow detection Vag
• 2009/06/26 [clean-list] Fake "cycle in spine detected" when using *World from C module Vag
• 2009/06/24 [clean-list] INAP 2009: 2nd Call for Papers INAP 2009
• 2009/06/22 [clean-list] ICFP09 Call for Participation Matthew Fluet (ICFP Publicity Chair)
• 2009/06/21 [clean-list] [Synasc-call-for-papers] LAST EXTENSION - 1 July - SYNASC 2009 synasc09
• 2009/06/21 [clean-list] RR 2009 Call for Papers Terrance Swift
• 2009/06/17 [clean-list] ICLP'09 Call for Participation Ricardo Rocha
• 2009/06/17 [clean-list] [Synasc-call-for-papers] Deadline in 5 days - SYNASC 2009 synasc09
• 2009/06/17 Re: [clean-list] GRS vs LTRS Pieter Koopman
• 2009/06/16 Re: [clean-list] GRS vs LTRS Vag
• 2009/06/16 [clean-list] PEPM'10 - First Call for Papers Janis Voigtlaender
• 2009/06/15 [clean-list] ICLP'09 Call for Participation Ricardo Rocha
• 2009/06/15 [clean-list] Call for Participation with PADTAD 2009 Eric Mercer
• 2009/06/15 Re: [clean-list] GRS vs LTRS Bruce & Breeanna Rennie
• 2009/06/14 Re: [clean-list] GRS vs LTRS Vag
• 2009/06/14 Re: [clean-list] GRS vs LTRS Arjen
• 2009/06/14 [clean-list] GRS vs LTRS Vag
• 2009/06/08 Re: [clean-list] Conf announcements on Clean-List Philip Matthews
• 2009/06/08 Re: [clean-list] Conf announcements on Clean-List Pieter Koopman
• 2009/06/07 [clean-list] TASE 2009 - Call for Participation CRACIUN F.
• 2009/06/07 [clean-list] RR 2009 Call for Papers Terrance Swift
• 2009/06/07 [clean-list] CFV'09: Call for Participation Miroslav Velev
• 2009/06/06 Re: [clean-list] Conf announcements on Clean-List Bernard van Gastel
• 2009/06/05 [clean-list] Conf announcements on Clean-List Philip Matthews
• 2009/06/04 [clean-list] TASE 2009 - Call for Participation CRACIUN F.
• 2009/06/04 [clean-list] ReMAR 2009 - Call for participation in the ASME/IFToMM International Conference on Reconfigurable Mechanisms and Robots kcl - remar2009
• 2009/06/04 [clean-list] CfP - 4th International Workshop [email protected] 2009 Cedric Jeanneret
• 2009/06/04 [clean-list] ICLP'09 Call for Participation Ricardo Rocha
• 2009/06/01 [clean-list] TFM09: Deadline extension to 8 June J.N. Oliveira
• 2009/05/31 [clean-list] [Synasc-call-for-papers] Deadline extension to June 21 - SYNASC 2009, Timisoara, Romania, 26-29, Sep, 2009 synasc09
• 2009/05/29 [clean-list] IFL 2009: Second Call for Papers IFL 2009
• 2009/05/27 [clean-list] DEFUN09: Final Call for Talks & Tutorials (co-located w/ ICFP09) Matthew Fluet (ICFP Publicity Chair)
• 2009/05/27 [clean-list] [FMICS 2009] Call for Posters FMICS 2009 workshop chair
• 2009/05/27 [clean-list] [Fwd: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009)] Thomas van Noort
• 2009/05/26 [clean-list] ICLP'09 Call for Participation Ricardo Rocha
• 2009/05/26 [clean-list] RE: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009) Simon Peyton-Jones
• 2009/05/26 [clean-list] ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009) Janis Voigtlaender
• 2009/05/25 [clean-list] Call for Papers: SINTER 2009 - extended deadline June 3rd Jan Tretmans
• 2009/05/22 [clean-list] Tableaux 2009: Call for Participation Viorica Sofronie-Stokkermans
• 2009/05/21 [clean-list] ICLP'09 Call for Participation Ricardo Rocha
• 2009/05/19 [clean-list] TFM09: Last Call for Papers (FMWeek, Eindhoven, November 6th 2009) J.N. Oliveira
• 2009/05/18 [clean-list] Deadline extension: SAVCBS 2009 Marieke Huisman
• 2009/05/17 [clean-list] First Call for Papers: DAMP 2010 jlpspi
• 2009/05/16 [clean-list] FLoC 2010: Call for Workshop Proposals Nicole Schweikardt
• 2009/05/15 [clean-list] ICFP09 Accepted Papers Matthew Fluet (ICFP Publicity Chair)
• 2009/05/15 [clean-list] ICE09: second Call for Papers Emilio Tuosto
• 2009/05/15 [clean-list] FMCAD'09 Last Call for Papers Armin Biere
• 2009/05/15 [clean-list] FLoC 2010: First Announcement Nicole Schweikardt
• 2009/05/14 Re: [clean-list] Concurrent/parallel threads in CLEAN Marco Kesseler
• 2009/05/14 [clean-list] ICLP'09 Call for Participation Ricardo Rocha
• 2009/05/14 Re: [clean-list] Concurrent/parallel threads in CLEAN John van Groningen
• 2009/05/14 Re: [clean-list] Assertion failed in backend.c John van Groningen
• 2009/05/14 [clean-list] Call for papers - WCB09 Alessandro Dal Palu'
• 2009/05/13 [clean-list] Q: Setting up Object IO 1.2.1 Dale Hurtt
• 2009/05/13 [clean-list] ADDCT'09: Deadline extension (Abstract Submission Deadline May 22) Viorica Sofronie-Stokkermans
• 2009/05/13 Re: [clean-list] International Summer School on Advances in Programming Languages (precedes ICFP'09) Janis Voigtlaender
• 2009/05/13 [clean-list] 2nd Call For Papers: APLAS 2009 (Korea, Dec 14-16, 2009) Janis Voigtlaender
• 2009/05/12 [clean-list] International Summer School on Advances in Programming Languages (precedes ICFP'09) Matthew Fluet (ICFP Publicity Chair)
• 2009/05/11 [clean-list] ECOOP 2009 Call for Participation Dave Clarke
• 2009/05/11 [clean-list] FOPARA'09 -- First Call for Papers CFP
• 2009/05/11 [clean-list] SAVCBS 2009 Final Call For Papers -- 8th Workshop on Specification and Verification of Component-based Systems (co-located with ESEC/FSE 2009) Marieke Huisman
• 2009/05/10 [clean-list] HLDVT 2009 Call for Papers Shireesh Verma
• 2009/05/10 [clean-list] Deadline extension LOPSTR09 International Symposium on Logic-based Program Synthesis and Transformation
• 2009/05/08 Re: [clean-list] Concurrent/parallel threads in CLEAN Marco Kesseler
• 2009/05/08 [clean-list] Assertion failed in backend.c Vag
• 2009/05/08 RE: [clean-list] Concurrent/parallel threads in CLEAN John van Groningen
• 2009/05/08 [clean-list] [FMICS 2009] Call for Posters FMICS 2009 workshop chair
• 2009/05/07 RE: [clean-list] Concurrent/parallel threads in CLEAN Parnell Flynn
• 2009/05/07 Re: [clean-list] Concurrent/parallel threads in CLEAN John van Groningen
• 2009/05/06 [clean-list] TLCA'09 - Call for Participation Luca Paolini
• 2009/05/05 [clean-list] Last CFP: Trends in Functional Programming Horváth Zoltán
• 2009/05/05 [clean-list] Final call for papers: LOPSTR09 International Symposium on Logic-based Program Synthesis and Transformation
• 2009/05/05 [clean-list] Concurrent/parallel threads in CLEAN Parnell Flynn
• 2009/05/04 RE: [clean-list] Question about libraries for Relational DB access Parnell Flynn
• 2009/05/04 Re: [clean-list] Question about libraries for Relational DB access Bas Lijnse
• 2009/05/04 RE: [clean-list] Question about libraries for Relational DB access Parnell Flynn
• 2009/05/04 Re: [clean-list] Question about libraries for Relational DB access Bas Lijnse
• 2009/05/04 [clean-list] [Ppdp09] PPDP'09 - EXTENDED DEADLINES António Porto
• 2009/05/04 [clean-list] RR 2009 Second Call for Papers Terrance Swift
• 2009/05/04 [clean-list] Extended draft paper submission: SETP-09 call for papers John Edward
• 2009/05/01 [clean-list] Question about libraries for Relational DB access Parnell Flynn
• 2009/05/01 [clean-list] May 6th: Haskell meetup Chris Eidhof
• 2009/04/30 [clean-list] [Ppdp09] PPDP'09 - last CfP António Porto
• 2009/04/30 [clean-list] ISMM 2009 Call for participation Hillel Kolodner
• 2009/04/30 [clean-list] [Synasc-call-for-papers] 2nd CFP - SYNASC 2009, Timisoara, Romania, 26-29, Sep, 2009 synasc09
• 2009/04/30 [clean-list] International Summer School on Advances in Programming Languages voigt
• 2009/04/30 [clean-list] Call For Workshop Proposals (FLoC 2010, Edinburgh) RTA publicity chair
• 2009/04/30 [clean-list] INAP 2009: 1st CFP INAP 2009
• 2009/04/29 [clean-list] FTP 2009: Deadline extension Viorica Sofronie-Stokkermans
• 2009/04/29 [clean-list] Fw: Registration for ISR 2009 and RDP 2009 is open! Hitoshi Ohsaki
• 2009/04/29 [clean-list] TFM09: Call for Papers (Formal Methods Week, Eindhoven, November 6th 2009) J.N. Oliveira
• 2009/04/29 [clean-list] ICTCS '09 call for papers Luca Paolini
• 2009/04/26 [clean-list] 3rd CfP - LAM'09 (Logics for Agents and Mobility) LAM'09
• 2009/04/26 [clean-list] Call for papers: ADDCT'09 Workshop - "Automated Deduction: Decidability, Complexity, Tractability" Viorica Sofronie-Stokkermans
• 2009/04/26 [clean-list] PhD positions in ICT on Formal Verification via SMT available in Trento Roberto Sebastiani
• 2009/04/26 [clean-list] Extended draft paper submission: MULTICONF-09 call for papers edwardmellon1
• 2009/04/24 [clean-list] Ph.D and Postdoc Positions available in Durham, UK CRACIUN F.
• 2009/04/24 [clean-list] [Nabic09-workshops] Call for Workshop Proposals - Submission Deadline: April 30, 2009 nabic09-workshops
• 2009/04/24 [clean-list] FroCoS'09 Final Call for Papers Roberto Sebastiani
• 2009/04/22 [clean-list] Call for Papers: SINTER 2009 - workshop on Software INTegration and Evolution @ Runtime Jan Tretmans
• 2009/04/20 [clean-list] [FM 2009] *****submission deadline May 4th***** dennis
• 2009/04/19 [clean-list] Extended draft paper submission: SETP-09 call for papers John Edward
• 2009/04/18 [clean-list] Extended draft paper submission: MULTICONF-09 call for papers Dawn Watson
• 2009/04/17 [clean-list] Re: Call for Contributions - HCAR, May 2009 edition Janis Voigtlaender
• 2009/04/16 [clean-list] Call for Contributions - HCAR, May 2009 edition Janis Voigtlaender
• 2009/04/16 [clean-list] Call For Papers: APLAS 2009 (Korea, Dec 14-16, 2009) Janis Voigtlaender
• 2009/04/15 [clean-list] [FMICS 2009] Deadline Extension to 20 April fmics2009
• 2009/04/15 [clean-list] ICE09: Call for Papers Emilio Tuosto
• 2009/04/14 [clean-list] Personal invitation to participate in PADTAD 2009 Eric Mercer
• 2009/04/14 [clean-list] PPDP'09 - 2nd CfP António Porto
• 2009/04/14 [clean-list] CFP Trends in Functional Programming Horváth Zoltán
• 2009/04/13 [clean-list] WLPE 2009, Call for Papers WLPE 2009 WLPE 2009
• 2009/04/13 [clean-list] Extended Deadline: CFP for COmputational Logic and Applications (COLA'2009) Fernando Silva
• 2009/04/12 [clean-list] TFP 2009 call for papers Pieter Koopman
• 2009/04/12 [clean-list] LOPSTR2009 Call for papers International Symposium on Logic-based Program Synthesis and Transformation
• 2009/04/12 [clean-list] ACM-SIGPLAN PPDP 2009 - 1st CFP Ana Paula Tomas
• 2009/04/09 [clean-list] FORMATS 2009: EXTENDED DEADLINE Joel Ouaknine
• 2009/04/08 [clean-list] ICFEM 2009: First Call for Papers Ana . Cavalcanti
• 2009/04/07 [clean-list] Second CfP: 22nd International Workshop on Description Logics (DL 2009) Bernardo Cuenca Grau
• 2009/04/07 Re: [clean-list] CLEAN Error Messages (!) John van Groningen
• 2009/04/07 [clean-list] CFP: JFP Special Issue on Generic Programming Matthew Fluet (ICFP Publicity Chair)
• 2009/04/06 [clean-list] PRNCL 2009 - Workshop on Proofs and Refutations in Non-Classical Logics Roy Dyckhoff
• 2009/04/06 [clean-list] FTP 2009: Call for papers Viorica Sofronie-Stokkermans
• 2009/04/06 [clean-list] 2nd Call for Papers - LAM'09 LAM'09
• 2009/04/06 [clean-list] Final CfP: ICTAC'09 - Last Chance Martin Leucker
• 2009/04/04 [clean-list] CLEAN Error Messages (!) Vag
• 2009/04/03 [clean-list] ASP-competition Call for Participation Stephen Bond
• 2009/04/03 [clean-list] ICLP'09 Doctoral Consortium iclp09 . dc
• 2009/04/03 [clean-list] Second CFP: QA 2009 (pre-CAV workshop) Sumit Gulwani
• 2009/04/02 [clean-list] CfP: Fourth Working Conference on Programming Languages (ATPS'09) Janis Voigtlaender
• 2009/04/01 [clean-list] IWACO 2009 Final call for papers Matthew Parkinson
• 2009/04/01 [clean-list] FroCoS'09 Call for Papers Roberto Sebastiani
• 2009/04/01 [clean-list] [FMICS 2009] Deadline Extension to 10 April FMICS 2009 workshop chair
• 2009/04/01 [clean-list] DEFUN09: Call for Talks & Tutorials (co-located w/ ICFP09) Matthew Fluet (ICFP Publicity Chair)
• 2009/03/30 [clean-list] ECOOP 2009 Call for Participation Dave Clarke
• 2009/03/28 [clean-list] (EC)^2: Submission Deadline Extended to April 6 Stephen Siegel
• 2009/03/27 [clean-list] [FMICS 2009] Fourth Call for Papers FMICS 2009 workshop chair
• 2009/03/27 [clean-list] FroCoS'09 Call for Papers Roberto Sebastiani
• 2009/03/25 [clean-list] SPIN 2009: Last Call For Papers Corina Pasareanu
• 2009/03/25 [clean-list] CfP: TTSS'09 - Harnessing Theories for Tool Support in Software Volker Stolz
• 2009/03/24 [clean-list] CFP COLA'09: Computational Logic with Applications Fernando Silva
• 2009/03/23 [clean-list] 1st CFP - SYNASC 2009 - 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29, Sep, 2009 synasc09
• 2009/03/20 [clean-list] RR 2009 Call for papers Terrance Swift
• 2009/03/19 [clean-list] FORMATS 2009: Second Call for Papers Joel Ouaknine
• 2009/03/19 Re: [clean-list] Is Clean a dead language? John van Groningen
• 2009/03/19 [clean-list] CFP: Haskell Symposium 2009 Janis Voigtlaender
• 2009/03/19 [clean-list] Call for papers: Workshop on Termination (WST 2009) Janis Voigtlaender
• 2009/03/18 [clean-list] CFP TFP 2009 and CFP CEFP 2009 Horváth Zoltán
• 2009/03/18 [clean-list] FMCAD'09 First Call For Papers Armin Biere
• 2009/03/18 Re: [clean-list] Is Clean a dead language? Richard O'Keefe
• 2009/03/17 Re: [clean-list] Is Clean a dead language? John van Groningen
• 2009/03/17 [clean-list] LOPSTR2009 first Call for Papers International Symposium on Logic-based Program Synthesis and Transformation
• 2009/03/16 [clean-list] Call for Papers: LPNMR'09 LPNMR09 Account
• 2009/03/16 [clean-list] Re: Is Clean a dead language? (Denis Smirnov) Benjamin L. Russell
• 2009/03/15 [clean-list] [isaim2008] First announcement -- 9th Haifa Graph Workshop (20-21 May 2009) Prof. Martin Charles Golumbic
• 2009/03/14 [clean-list] ECOOP 2009 Call for Student Volunteers Dave Clarke
• 2009/03/13 [clean-list] re: Is Clean a dead language? (Denis Smirnov) Carlos Aya
• 2009/03/13 Re: [clean-list] Is Clean a dead language? Richard O'Keefe
• 2009/03/13 [clean-list] Extension of Deadline: 3rd CfP LSIR-2, "Logic and the Simulation of Interaction and Reasoning" LSIR-2 at IJCAI 2009

• Earlier messages
• Later messages