clean-list  

Messages by Thread

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

• Earlier messages
• Later messages