2009 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Mon Jan 5 08:34:22 MET 2009
Ending: Tue Dec 22 18:26:41 MET 2009
Messages: 387

• [clean-list] RTA last CFP (abstract deadline, January 19 Monday)   Hitoshi Ohsaki
• [clean-list] CFP: PADTAD 2009, July 19-20, Chicago, IL   Eric Mercer
• [clean-list] TLCA'09 -- DEADLINE EXTENSION   Luca Paolini
• [clean-list] ICFP: Child care at conference   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] 10 PhD, PostDoc, and Engineering Positions offered!!   CFP
• [clean-list] ICLP'09 Doctoral Consortium   iclp09.dc at gmail.com
• [clean-list] MULTICONF-09 call for papers   Justin Williams
• [clean-list] Tableaux 2009: Final CfP   Viorica Sofronie-Stokkermans
• [clean-list] KES2009 CFP International Conference on Knowledge-Based and Intelligent Information & Engineering Systems   KES
• [clean-list] ECOOP 2009 Last Call for Workshops and Tutorials   Dave Clarke
• [clean-list] European Master's Program in Computational Logic   Bertram Fronhöfer
• [clean-list] MEMOCODE Final CFP   Memocode 2009
• [clean-list] ARCOE-09 Second Call for Participation   ARCOE-09
• [clean-list] Call for papers -- RR 2009   Terrance Swift
• [clean-list] Clean2.2 on 64bit (X)Ubuntu - please help in completing the Clean wiki walkthrough   Nick Rudnick
• [clean-list] Clean2.2 on 64bit (X)Ubuntu - please help in completing the Clean wiki walkthrough   Nick Rudnick
  • [clean-list] Clean2.2 on 64bit (X)Ubuntu - please help in completing the Clean wiki walkthrough   John van Groningen
• [clean-list] IFL 2009: Call for Papers   IFL 2009
• [clean-list] Clean2.2 on 64bit (X)Ubuntu - please help in completing the Clean wiki walkthrough   Nick Rudnick
  • [clean-list] Clean2.2 on 64bit (X)Ubuntu - please help in completing the Clean wiki walkthrough   John van Groningen
• [clean-list] GTTSE 2009 --- First call for participation (06-11 July 2009)   João Saraiva
• [clean-list] 1st Call for Papers - LAM'09   LAM'09
• [clean-list] Final call for papers: SETP-09   John Edward
• [clean-list] ISMM 2009 Call for Papers -- on-line submission site is open   Hillel Kolodner
• [clean-list] ICLP 2009: Call for workshop proposals   cfp at clip.dia.fi.upm.es
• [clean-list] RelMiCS/AKA-2009- CALL FOR PAPER -   relmics at qu.edu.qa
• [clean-list] ESSLLI Student Session - final call   Thomas Icard
• [clean-list] RTA'09: deadline for abstracts extended to January, 30   Ralf Treinen
• [clean-list] FMICS 2009: Second Call for Papers   FMICS 2009 workshop chair
• [clean-list] QAPL 2009 Call for Presentations   QAPL 2009
• [clean-list] WGP'09: Workshop on Generic Programming Call for Papers   Jeremy Gibbons
• [clean-list] ICLP'09 Call for Papers   Ricardo Rocha
• [clean-list] (EC)^2: Call for Position Papers   Stephen Siegel
• [clean-list] Final call for papers: SETP-09   John Edward
• [clean-list] The link to the "Clean for Haskell98 Programmers" reference guide on the Clean home page is broken.   Benjamin L. Russell
  • [clean-list] The link to the "Clean for Haskell98 Programmers" reference guide on the Clean home page is broken.   Thomas van Noort
    • [clean-list] Re: The link to the "Clean for Haskell98 Programmers" reference guide on the Clean home page is broken.   Benjamin L. Russell
      • [clean-list] Re: The link to the "Clean for Haskell98 Programmers" reference guide on the Clean home page is broken.   Thomas van Noort
      • [clean-list] Re: The link to the "Clean for Haskell98 Programmers" reference guide on the Clean home page is broken.   Benjamin L. Russell
  • [clean-list] The link to the "Clean for Haskell98 Programmers" reference guide on the Clean home page is broken.   Peter Achten
    • [clean-list] Re: The link to the "Clean for Haskell98 Programmers" reference guide on the Clean home page is broken.   Benjamin L. Russell
      • [clean-list] Re: The link to the "Clean for Haskell98 Programmers" reference guide on the Clean home page is broken.   Benjamin L. Russell
• [clean-list] CADE-22 last call for papers   Carsten Schuermann
• [clean-list] The link to the "wish list" on the Clean home page is broken, too.   Benjamin L. Russell
• [clean-list] [dsd2009-l] Second Call for papers Digital System Design 2009   antonio.nunez at iuma.ulpgc.es
• [clean-list] ICFP09 Final CFP   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] ICLP'09 Doctoral Consortium   iclp09.dc at gmail.com
• [clean-list] CFP TFP 2009   Horváth Zoltán
• [clean-list] KES 2009 Promotion   KES 2009
• [clean-list] ASP-competition Call for Participation   Marc Denecker
• [clean-list] Paper submission deadline extended: MULTICONF-09   Walter Jackson
• [clean-list] POPL 2010 - CALL FOR CO-LOCATED EVENT PROPOSALS   Swarat Chaudhuri
  • [clean-list] POPL 2010 - Call for participation   Swarat Chaudhuri
• [clean-list] Postdoc Positions at the CLIP group, Spain   CFP
• [clean-list] Draft paper submission deadline extended: SETP-09   John Edward
• [clean-list] ICLP'09 Call for Papers   Ricardo Rocha
• [clean-list] FTP 2009: First call for papers   Viorica Sofronie-Stokkermans
• [clean-list] ICLP 2009: Call for Workshop Proposals   cfp at clip.dia.fi.upm.es
• [clean-list] Take a break: write an essay for Onward! essays   Simon Peyton-Jones
• [clean-list] TASE 2009 - CALL FOR PAPERS   CRACIUN F.
• [clean-list] INVITED SESSION ON SOCIAL NETWORKS - KES 2009   KES 2009
• [clean-list] First Announcement NN2009   alexandra
• [clean-list] Draft paper submission deadline extended: SETP-09   John Edward
• [clean-list] Last call for papers: MULTICONF-09 (deadline will not be extended further)   Justin Williams
• [clean-list] IWACO 2009 Call for papers   Matthew Parkinson
• [clean-list] 2nd CfP: ICTAC'09   Martin Leucker
• [clean-list] STOP 2009 Call for Papers   Tobias Wrigstad
• [clean-list] Paper submission deadline just less than a week: MULTICONF-09   John Edward
• [clean-list] [dsd2009-l] 3rd and last Call for papers Digital System Design 2009   antonio.nunez at iuma.ulpgc.es
• [clean-list] CORCS'09 - Call for papers   Alexandre David
  • [clean-list] CORCS'09 - Call for papers - Extended submission   Alexandre David
• [clean-list] ICLP'09 Doctoral Consortium   iclp09.dc at gmail.com
• [clean-list] Semantics of selectors and projection functions   Vag
  • [clean-list] Semantics of selectors and projection functions   John van Groningen
• [clean-list] Final Call for Workshop Proposals: ATVA 2009   Wang Xu
• [clean-list] ASP-competition Call for Participation   Stephen Bond
• [clean-list] CfP: 22nd International Workshop on Description Logics (DL 2009)   Bernardo Cuenca Grau
• [clean-list] Fully-funded doctoral studentships in dependently type programming at Oxford and Strathclyde   Jeremy.Gibbons at comlab.ox.ac.uk
• [clean-list] 21st ESSLLI Bordeaux July 20-31   retore
• [clean-list] Draft paper submission is extended (will not be extended further): MULTICONF-09   edwardmellon1
• [clean-list] Draft paper submission deadline extended (will not be extended further): SETP-09   John Edward
• [clean-list] [FMICS 2009] Third Call for Papers   FMICS 2009 workshop chair
• [clean-list] Microsoft PhD Scholarship at Strathclyde   Conor McBride
• [clean-list] SPIN 2009: Extended Deadline March 24, 2009   Corina Pasareanu
• [clean-list] TASE 2009 - CALL FOR POSTER PRESENTATIONS   CRACIUN F.
• [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] 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
  • [clean-list] Is Clean a dead language?   Isaac Gouy
    • [clean-list] Is Clean a dead language?   Richard O'Keefe
      • [clean-list] Is Clean a dead language?   John van Groningen
      • [clean-list] Is Clean a dead language?   Richard O'Keefe
      • [clean-list] Is Clean a dead language?   John van Groningen
• [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] [isaim2008] First announcement -- 9th Haifa Graph Workshop (20-21 May 2009)   Prof. Martin Charles Golumbic
• [clean-list] Call for Papers: LPNMR'09   LPNMR09 Account
• [clean-list] LOPSTR2009 first Call for Papers   International
• [clean-list] FMCAD'09 First Call For Papers   Armin Biere
• [clean-list] CFP TFP 2009 and CFP CEFP 2009   Horváth Zoltán
• [clean-list] Call for papers: Workshop on Termination (WST 2009)   Janis Voigtlaender
• [clean-list] CFP: Haskell Symposium 2009   Janis Voigtlaender
• [clean-list] FORMATS 2009: Second Call for Papers   Joel Ouaknine
• [clean-list] RR 2009 Call for papers   Terrance Swift
• [clean-list] 1st CFP - SYNASC 2009 - 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29, Sep, 2009   synasc09 at info.uvt.ro
• [clean-list] CFP COLA'09: Computational Logic with Applications   Fernando Silva
• [clean-list] CfP: TTSS'09 - Harnessing Theories for Tool Support in Software   Volker Stolz
• [clean-list] SPIN 2009: Last Call For Papers   Corina Pasareanu
• [clean-list] FroCoS'09 Call for Papers   Roberto Sebastiani
• [clean-list] [FMICS 2009] Fourth Call for Papers   FMICS 2009 workshop chair
• [clean-list] (EC)^2: Submission Deadline Extended to April 6   Stephen Siegel
• [clean-list] ECOOP 2009 Call for Participation   Dave Clarke
• [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] ACM-SIGPLAN PPDP 2009 - 1st CFP   Ana Paula Tomas
• [clean-list] FroCoS'09 Call for Papers   Roberto Sebastiani
• [clean-list] IWACO 2009 Final call for papers   Matthew Parkinson
• [clean-list] CfP: Fourth Working Conference on Programming Languages (ATPS'09)   Janis Voigtlaender
• [clean-list] ICLP'09 Doctoral Consortium   iclp09.dc at gmail.com
• [clean-list] ASP-competition Call for Participation   Stephen Bond
• [clean-list] Second CFP: QA 2009 (pre-CAV workshop)   Sumit Gulwani
• [clean-list] CLEAN Error Messages (!)   Vag
  • [clean-list] CLEAN Error Messages (!)   John van Groningen
• [clean-list] Final CfP: ICTAC'09 - Last Chance   Martin Leucker
• [clean-list] 2nd Call for Papers - LAM'09   LAM'09
• [clean-list] FTP 2009: Call for papers   Viorica Sofronie-Stokkermans
• [clean-list] PRNCL 2009 - Workshop on Proofs and Refutations in Non-Classical Logics   Roy Dyckhoff
• [clean-list] CFP: JFP Special Issue on Generic Programming   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] Second CfP: 22nd International Workshop on Description Logics (DL 2009)   Bernardo Cuenca Grau
• [clean-list] ICFEM 2009: First Call for Papers   Ana.Cavalcanti at cs.york.ac.uk
• [clean-list] FORMATS 2009: EXTENDED DEADLINE   Joel Ouaknine
• [clean-list] LOPSTR2009 Call for papers   International
• [clean-list] TFP 2009 call for papers   Pieter Koopman
• [clean-list] Extended Deadline: CFP for COmputational Logic and Applications (COLA'2009)   Fernando Silva
• [clean-list] WLPE 2009, Call for Papers   WLPE 2009 WLPE 2009
• [clean-list] CFP Trends in Functional Programming   Horváth Zoltán
• [clean-list] PPDP'09 - 2nd CfP   António Porto
• [clean-list] Personal invitation to participate in PADTAD 2009   Eric Mercer
  • [clean-list] Call for Participation with PADTAD 2009   Eric Mercer
• [clean-list] ICE09: Call for Papers   Emilio Tuosto
• [clean-list] [FMICS 2009] Deadline Extension to 20 April   fmics2009 at dsic.upv.es
• [clean-list] Call For Papers: APLAS 2009 (Korea, Dec 14-16, 2009)   Janis Voigtlaender
• [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] Extended draft paper submission: MULTICONF-09 call for papers   Dawn Watson
• [clean-list] Extended draft paper submission: SETP-09 call for papers   John Edward
• [clean-list] [FM 2009] *****submission deadline May 4th*****   dennis at research.bell-labs.com
• [clean-list] [Nabic09-workshops] Call for Workshop Proposals - Submission Deadline: April 30, 2009   nabic09-workshops at info.uvt.ro
• [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] 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] PhD positions in ICT on Formal Verification via SMT available in Trento   Roberto Sebastiani
• [clean-list] Call for papers: ADDCT'09 Workshop - "Automated Deduction: Decidability, Complexity, Tractability"   Viorica Sofronie-Stokkermans
• [clean-list] 3rd CfP - LAM'09 (Logics for Agents and Mobility)   LAM'09
• [clean-list] Extended draft paper submission: MULTICONF-09 call for papers   edwardmellon1
• [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] Fw: Registration for ISR 2009 and RDP 2009 is open!   Hitoshi Ohsaki
• [clean-list] FTP 2009: Deadline extension   Viorica Sofronie-Stokkermans
• [clean-list] [Ppdp09] PPDP'09 - last CfP   António Porto
• [clean-list] INAP 2009: 1st CFP   INAP 2009
• [clean-list] Call For Workshop Proposals (FLoC 2010, Edinburgh)   Hitoshi Ohsaki (RTA publicity chair)
• [clean-list] International Summer School on Advances in Programming Languages   voigt at tcs.inf.tu-dresden.de
• [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 at info.uvt.ro
• [clean-list] May 6th: Haskell meetup   Chris Eidhof
• [clean-list] RR 2009 Second Call for Papers   Terrance Swift
• [clean-list] Question about libraries for Relational DB access   Parnell Flynn
  • [clean-list] Question about libraries for Relational DB access   Bas Lijnse
    • [clean-list] Question about libraries for Relational DB access   Parnell Flynn
      • [clean-list] Question about libraries for Relational DB access   Bas Lijnse
      • [clean-list] Question about libraries for Relational DB access   Parnell Flynn
      • [clean-list] Concurrent/parallel threads in CLEAN   Parnell Flynn
      • [clean-list] Concurrent/parallel threads in CLEAN   John van Groningen
      • [clean-list] Concurrent/parallel threads in CLEAN   Parnell Flynn
      • [clean-list] Concurrent/parallel threads in CLEAN   John van Groningen
      • [clean-list] Concurrent/parallel threads in CLEAN   Marco Kesseler
      • [clean-list] Concurrent/parallel threads in CLEAN   John van Groningen
      • [clean-list] Concurrent/parallel threads in CLEAN   Marco Kesseler
• [clean-list] Extended draft paper submission: SETP-09 call for papers   John Edward
• [clean-list] [Ppdp09] PPDP'09 - EXTENDED DEADLINES   António Porto
• [clean-list] Final call for papers: LOPSTR09   International
• [clean-list] Last CFP: Trends in Functional Programming   Horváth Zoltán
• [clean-list] TLCA'09 - Call for Participation   Luca Paolini
• [clean-list] [FMICS 2009] Call for Posters   FMICS 2009 workshop chair
• [clean-list] Deadline extension LOPSTR09   International
• [clean-list] Assertion failed in backend.c   Vag
  • [clean-list] Assertion failed in backend.c   John van Groningen
• [clean-list] HLDVT 2009 Call for Papers   Shireesh Verma
• [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] FOPARA'09 -- First Call for Papers   CFP
• [clean-list] ECOOP 2009 Call for Participation   Dave Clarke
• [clean-list] International Summer School on Advances in Programming Languages (precedes ICFP'09)   Matthew Fluet (ICFP Publicity Chair)
  • [clean-list] International Summer School on Advances in Programming Languages (precedes ICFP'09)   Janis Voigtlaender
• [clean-list] 2nd Call For Papers: APLAS 2009 (Korea, Dec 14-16, 2009)   Janis Voigtlaender
• [clean-list] ADDCT'09: Deadline extension (Abstract Submission Deadline May 22)   Viorica Sofronie-Stokkermans
• [clean-list] Q: Setting up Object IO 1.2.1   Dale Hurtt
• [clean-list] Call for papers - WCB09   Alessandro Dal Palu'
• [clean-list] ICLP'09 Call for Participation   Ricardo Rocha
• [clean-list] FLoC 2010: First Announcement   Nicole Schweikardt
• [clean-list] FMCAD'09 Last Call for Papers   Armin Biere
• [clean-list] ICE09: second Call for Papers   Emilio Tuosto
• [clean-list] ICFP09 Accepted Papers   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] FLoC 2010: Call for Workshop Proposals   Nicole Schweikardt
• [clean-list] First Call for Papers: DAMP 2010   jlpspi
• [clean-list] Deadline extension: SAVCBS 2009   Marieke Huisman
• [clean-list] TFM09: Last Call for Papers (FMWeek, Eindhoven, November 6th 2009)   J.N. Oliveira
• [clean-list] PhD position at LIRMM, Montpellier   Madalina Croitoru
• [clean-list] ICLP'09 Call for Participation   Ricardo Rocha
• [clean-list] Tableaux 2009: Call for Participation   Viorica Sofronie-Stokkermans
• [clean-list] Call for Papers: SINTER 2009 - extended deadline June 3rd   Jan Tretmans
• [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] ICLP'09 Call for Participation   Ricardo Rocha
• [clean-list] [FMICS 2009] Call for Posters   FMICS 2009 workshop chair
• [clean-list] [Fwd: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009)]   Thomas van Noort
• [clean-list] DEFUN09: Final Call for Talks & Tutorials (co-located w/ ICFP09)   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] IFL 2009: Second Call for Papers   IFL 2009
• [clean-list] [Synasc-call-for-papers] Deadline extension to June 21 - SYNASC 2009, Timisoara, Romania, 26-29, Sep, 2009   synasc09 at info.uvt.ro
• [clean-list] TFM09: Deadline extension to 8 June   J.N. Oliveira
• [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 Models@run.time 2009   Cedric Jeanneret
• [clean-list] ICLP'09 Call for Participation   Ricardo Rocha
• [clean-list] Conf announcements on Clean-List   Philip Matthews
  • [clean-list] Conf announcements on Clean-List   Bernard van Gastel
    • [clean-list] Conf announcements on Clean-List   Pieter Koopman
      • [clean-list] Conf announcements on Clean-List   Philip Matthews
• [clean-list] CFV'09: Call for Participation   Miroslav Velev
• [clean-list] RR 2009 Call for Papers   Terrance Swift
• [clean-list] GRS vs LTRS   Vag
  • [clean-list] GRS vs LTRS   Arjen
    • [clean-list] GRS vs LTRS   Vag
      • [clean-list] GRS vs LTRS   Bruce & Breeanna Rennie
      • [clean-list] GRS vs LTRS   Vag
      • [clean-list] GRS vs LTRS   Pieter Koopman
• [clean-list] ICLP'09 Call for Participation   Ricardo Rocha
• [clean-list] PEPM'10 - First Call for Papers   Janis Voigtlaender
• [clean-list] [Synasc-call-for-papers] Deadline in 5 days - SYNASC 2009   synasc09 at info.uvt.ro
  • [clean-list] [Synasc-call-for-papers] LAST EXTENSION - 1 July - SYNASC 2009   synasc09 at info.uvt.ro
• [clean-list] ICLP'09 Call for Participation   Ricardo Rocha
• [clean-list] RR 2009 Call for Papers   Terrance Swift
• [clean-list] ICFP09 Call for Participation   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] INAP 2009: 2nd Call for Papers   INAP 2009
• [clean-list] Fake "cycle in spine detected" when using *World from C module   Vag
  • [clean-list] Fake "cycle in spine detected" when using *World from C module   John van Groningen
• [clean-list] Integer literal overflow detection   Vag
• [clean-list] Overlapping discriminated instances without type aliases does not work   Vag
  • [clean-list] Overlapping discriminated instances without type aliases does not work   John van Groningen
• [clean-list] More generic instance always preferred instead of most specialized   Vag
  • [clean-list] More generic instance always preferred instead of most specialized   John van Groningen
• [clean-list] [Synasc-call-for-papers] SYNASC 2009 - Final Call for Papers   synasc09 at info.uvt.ro
• [clean-list] LOPSTR2009 Call for Participation   International
• [clean-list] INAP 2009: DEADLINE EXTENSION and Final Call for Papers   INAP 2009
• [clean-list] Second Call for Papers: DAMP 2010   jlpspi
• [clean-list] [Ppdp09] PPDP'09 - Call for Participation   António Porto
• [clean-list] GAMES 2009: Final Call for Contributions   fsvweb at dimi.uniud.it
• [clean-list] Call for ICLP'10 Workshop Proposals   Veronica Dahl
• [clean-list] ICFP09 Final Call for Participation   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] Call for papers: Mathematics of Program Construction   Jules Desharnais
• [clean-list] FLoC 2010: Final Call for Workshop Proposals   Nicole Schweikardt
• [clean-list] IFL 2009: Third Call for Papers   IFL 2009
• [clean-list] PEPM'10 - Call for Papers (Deadline: 6 Oct 09) - Invited Speakers announced   Janis Voigtlaender
• [clean-list] Call for Papers: PLPV 2010   Jean-Christophe Filliâtre
• [clean-list] Black Screen Death in parser: tokenBack with empty token buffer   Vag Vagoff
  • [clean-list] Black Screen Death in parser: tokenBack with empty token buffer   John van Groningen
• [clean-list] CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model Checking, and Abstract Interpretation)   vmcai10-announce at clip.dia.fi.upm.es
• [clean-list] Second Call for Papers: PADL'10, Madrid, January 2010   Manuel Carro
• [clean-list] Call for Papers: VSTTE 2009   Jean-Christophe Filliâtre
• [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] ICLP'10, FLoC'10: Call for Workshops Deadline Extension to Sept. 1rst   Veronica Dahl
• [clean-list] IFL 2009: Call for Papers and Participation   IFL 2009
• [clean-list] [ObjectIO] Bitmap handle never disposed   Vag
• [clean-list] Black Screen: lift (TFA) (unitype.icl)   Vag
  • [clean-list] Black Screen: lift (TFA) (unitype.icl)   John van Groningen
    • [clean-list] Black Screen: lift (TFA) (unitype.icl)   Vag Vagoff
      • [clean-list] Black Screen: lift (TFA) (unitype.icl)   John van Groningen
• [clean-list] RE: Black Screen: lift (TFA) (unitype.icl)   Carlos Aya
  • [clean-list] RE: Black Screen: lift (TFA) (unitype.icl)   Vag
• [clean-list] IFL 2009: Final Call for Papers and Participation   IFL 2009
• [clean-list] CFP VMCAI 2010, Madrid - EXTENDED DEADLINE: Aug 21/28   Manuel Hermenegildo
• [clean-list] Where is floor :: !Real -> Real?   Vag
  • [clean-list] Where is floor :: !Real -> Real?   John van Groningen
• [clean-list] Third Call for Papers: DAMP 2010   jlpspi
• [clean-list] PADL 10: Third Call for Papers   Manuel Carro
• [clean-list] developments for Clean   Paul de Mast
  • [clean-list] developments for Clean   John van Groningen
• [clean-list] Typing polymorphic CAFs   Vag
  • [clean-list] Typing polymorphic CAFs   John van Groningen
• [clean-list] Is freadi broken in 64-bit Clean?   Maks Verver
  • [clean-list] Is freadi broken in 64-bit Clean?   John van Groningen
• [clean-list] Last Call for Papers: VSTTE 2009   Jean-Christophe Filliâtre
• [clean-list] DAMP 2010: FINAL Call for Papers   jlpspi
• [clean-list] PEPM'10 - CFP (Submission: 6 Oct 09, Notification: 29 Oct 09)   John Gallagher
• [clean-list] Call for Participation: FOPARA   Marko van Eekelen
• [clean-list] SITIS'09: Last Call For Papers (4 days left)   CHBEIR Richard
• [clean-list] TFM09: Call for Participation (FMWeek, Eindhoven, November 2009)   J.N. Oliveira
• [clean-list] INAP 2009: CALL FOR PARTICIPATION   INAP 2009
• [clean-list] WGT 2010 Call for Papers   Workshop on Generative Technologies
• [clean-list] PEPM'10 - Final CFP (Deadline Tuesday 6 October, 2009 )   John Gallagher
• [clean-list] FMCAD'09 Call For Participation   Armin Biere
• [clean-list] Out of memory when compiling modules over 100k   Vag Vagoff
  • [clean-list] Out of memory when compiling modules over 100k   John van Groningen
• [clean-list] Compiler dying with message `dart' when fusion turned on   Vag Vagoff
  • [clean-list] Compiler dying with message `dart' when fusion turned on   John van Groningen
• [clean-list] HLDVT 2009 Call for Participation: Early Registration Deadline   Shireesh Verma
• [clean-list] CfPart: FMICS 2009, 2-3 November 2009, Final Call   Christophe Joubert
• [clean-list] Re: Clean   rinus plasmeijer
  • [clean-list] Re: Clean versus Haskell   Philippos Apolinarius
  • [clean-list] Clean versus Haskell   Philippos Apolinarius
    • [clean-list] Clean versus Haskell   Isaac Gouy
• [clean-list] CFP: International Symposium on Memory Management 2010   Kevin Hoffman
• [clean-list] CAV 2010 Call for Papers   Tayssir Touili
• [clean-list] Call for Participation: VSTTE 2009   Jean-Christophe Filliâtre
• [clean-list] Call for Contributions - Haskell Communities and Activities Report, November 2009 edition   Janis Voigtlaender
• [Fwd: Re: [clean-list] Clean versus Haskell]   Adrian Hey
  • [Fwd: Re: [clean-list] Clean versus Haskell]   Adrian Hey
  • [Fwd: Re: [clean-list] Clean versus Haskell]   Simon Peyton-Jones
    • [Fwd: Re: [clean-list] Clean versus Haskell]   Isaac Gouy
      • [Fwd: Re: [clean-list] Clean versus Haskell]   John van Groningen
    • [Fwd: Re: [clean-list] Clean versus Haskell]   Philippos Apolinarius
    • [clean-list] More realistic benchmark (I)   Philippos Apolinarius
• [clean-list] ICFP10: Call for Workshop Proposals   Wouter Swierstra
• [clean-list] FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE   MYV
• [clean-list] Clean and Haskell: MersenneTwister   Philippos Apolinarius
• [clean-list] MersenneTwister --- fixing the program   Philippos Apolinarius
  • [clean-list] MersenneTwister --- fixing the program   Pieter Koopman
• [clean-list] GT-VMT 2010 call for papers   Emilio Tuosto
• [clean-list] ICFP10: Call for workshop proposals   Wouter Swierstra
• [clean-list] Max number of files open   zuurb078 at planet.nl
  • [clean-list] Max number of files open   John van Groningen
  • [clean-list] Maximum number of files --> zuurb   Philippos Apolinarius
    • [clean-list] Maximum number of files --> zuurb   Marco Kesseler
• [clean-list] Parallel machines (Am I missing something)?   Philippos Apolinarius
  • [clean-list] Parallel machines (Am I missing something)?   John van Groningen
• [clean-list] call for organizing next AFP summerschool (2010)   rinus plasmeijer
• [clean-list] strictness annotation introduces type error   zuurb078 at planet.nl
  • [clean-list] strictness annotation introduces type error   John van Groningen
• [clean-list] latest clean vs haskell in haskell cafe.   Carlos Aya
• [clean-list] ICFP2010: Call for papers   Wouter Swierstra
• [clean-list] SETP-10 Call for papers   John Edward
• [clean-list] Description Logics 2010: 1st call for papers   David Toman
• [clean-list] Second call for papers: Mathematics of Program Construction   Jules Desharnais
• [clean-list] uniqueness question   Carlos Aya
  • [clean-list] uniqueness question   Edsko de Vries
    • [clean-list] uniqueness question   Vag Vagoff
  • [clean-list] uniqueness question   John van Groningen
    • [clean-list] uniqueness question   Edsko de Vries
      • [clean-list] uniqueness question   John van Groningen
      • [clean-list] uniqueness question   Vag Vagoff
      • [clean-list] uniqueness question   John van Groningen
      • [clean-list] uniqueness question   Carlos Aya
      • [clean-list] uniqueness question   Edsko de Vries
      • [clean-list] uniqueness question   Carlos Aya
      • [clean-list] uniqueness question   John van Groningen
• [clean-list] CICE-2010: Call for Papers   Galyna Akmayeva
• [clean-list] TFP 2010 - Call for Papers   TFP 2010
• [clean-list] ICFP '10: Second call for workshop proposals   Wouter Swierstra
• [clean-list] Call for Participation - PEPM'10 (co-located with POPL'10)   voigt at tcs.inf.tu-dresden.de
• [clean-list] definition and propagation of class constraints   Carlos Aya
  • [clean-list] definition and propagation of class constraints   John van Groningen
• [clean-list] ANNOUNCE: Haskell Communities and Activities Report (17th ed., November 2009)   voigt at tcs.inf.tu-dresden.de
  • [clean-list] [Haskell] ANNOUNCE: Haskell Communities and Activities Report (17th ed., November 2009)   Simon Peyton-Jones
• [clean-list] WGT 2010 Submission Deadline Extension and Final Call for Papers   Workshop on Generative Technologies
• [clean-list] Memocode 2010 First Call for Papers   Barbara Jobstmann
• [clean-list] IJCAR 2010 - first call for papers   Viorica Sofronie-Stokkermans
• [clean-list] stuck with uniqueness in records   Carlos Aya
  • [clean-list] stuck with uniqueness in records   John van Groningen
    • [clean-list] stuck with uniqueness in records   Carlos Aya
• [clean-list] observers in your plans?   Carlos Aya
  • [clean-list] observers in your plans?   John van Groningen
    • [clean-list] observers in your plans?   Carlos Aya
      • [clean-list] observers in your plans?   Edsko de Vries
• [clean-list] FLoC 2010: Call for Papers   Nicole Schweikardt
• [clean-list] Call for Papers: ICLP 2010   Torsten Schaub
• [clean-list] GT-VMT 2010: deadlines extended   Emilio Tuosto
• [clean-list] PADL 2010: Call for Participation   Manuel Carro
• [clean-list] PEPM'10 (co-located with POPL'10)   Janis Voigtländer
• [clean-list] LPAR-16 - Dakar, Senegal - April 2010   Geoff Sutcliffe
• [clean-list] Formatting glitch in Clean Source?   Chris
• [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 at software.imdea.org
• [clean-list] Early registration deadline - PEPM'10   Janis Voigtländer
• [clean-list] Description Logics 2010: 2nd call for papers   David Toman

Last message date: Tue Dec 22 18:26:41 MET 2009
Archived on: Wed Dec 23 12:55:38 MET 2009

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...