clean-list  

Messages by Thread

• [clean-list] Draft paper submission deadline extended (will not be extended further): SETP-09 John Edward
• [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] 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
• [clean-list] Final Call for Workshop Proposals: ATVA 2009 Wang Xu
• [clean-list] Semantics of selectors and projection functions Vag
  • Re: [clean-list] Semantics of selectors and projection functions John van Groningen
• [clean-list] CORCS'09 - Call for papers Alexandre David
  • [clean-list] CORCS'09 - Call for papers - Extended submission Alexandre David
  • [clean-list] CORCS'11 - Call for papers Alexandre David
• [clean-list] [dsd2009-l] 3rd and last Call for papers Digital System Design 2009 antonio . nunez
• [clean-list] Paper submission deadline just less than a week: MULTICONF-09 John Edward
• [clean-list] STOP 2009 Call for Papers Tobias Wrigstad
• [clean-list] 2nd CfP: ICTAC'09 Martin Leucker
• [clean-list] IWACO 2009 Call for papers Matthew Parkinson
• [clean-list] First Announcement NN2009 alexandra
• [clean-list] Last call for papers: MULTICONF-09 (deadline will not be extended further) Justin Williams
• [clean-list] INVITED SESSION ON SOCIAL NETWORKS - KES 2009 KES 2009
• [clean-list] TASE 2009 - CALL FOR PAPERS CRACIUN F.
• [clean-list] Take a break: write an essay for Onward! essays Simon Peyton-Jones
• [clean-list] FTP 2009: First call for papers Viorica Sofronie-Stokkermans
• [clean-list] Postdoc Positions at the CLIP group, Spain CFP
• [clean-list] Draft paper submission deadline extended: SETP-09 John Edward
  • [clean-list] Draft paper submission deadline extended: SETP-09 John Edward
• [clean-list] POPL 2010 - CALL FOR CO-LOCATED EVENT PROPOSALS Swarat Chaudhuri
  • [clean-list] POPL 2010 - Call for participation Swarat Chaudhuri
• [clean-list] ASP-competition Call for Participation Marc Denecker
  • [clean-list] ASP-competition Call for Participation Stephen Bond
  • [clean-list] ASP-competition Call for Participation Stephen Bond
• [clean-list] Paper submission deadline extended: MULTICONF-09 Walter Jackson
• [clean-list] CFP TFP 2009 Horváth Zoltán
• [clean-list] ICFP09 Final CFP Matthew Fluet (ICFP Publicity Chair)
• [clean-list] [dsd2009-l] Second Call for papers Digital System Design 2009 antonio . nunez
• [clean-list] The link to the "wish list" on the Clean home page is broken, too. Benjamin L. Russell
• [clean-list] CADE-22 last call for papers Carsten Schuermann
• [clean-list] The link to the "Clean for Haskell98 Programmers" reference guide on the Clean home page is broken. Benjamin L. Russell
  • Re: [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
  • Re: [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
  • Re: [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] (EC)^2: Call for Position Papers Stephen Siegel
• [clean-list] ICLP'09 Call for Papers Ricardo Rocha
  • [clean-list] ICLP'09 Call for Papers Ricardo Rocha
• [clean-list] WGP'09: Workshop on Generic Programming Call for Papers Jeremy Gibbons
• [clean-list] QAPL 2009 Call for Presentations QAPL 2009
• [clean-list] FMICS 2009: Second Call for Papers FMICS 2009 workshop chair
• [clean-list] RTA'09: deadline for abstracts extended to January, 30 Ralf Treinen
• [clean-list] ESSLLI Student Session - final call Thomas Icard
• [clean-list] RelMiCS/AKA-2009- CALL FOR PAPER - relmics
• [clean-list] ICLP 2009: Call for workshop proposals cfp
  • [clean-list] ICLP 2009: Call for Workshop Proposals cfp
• [clean-list] ISMM 2009 Call for Papers -- on-line submission site is open Hillel Kolodner
• [clean-list] Final call for papers: SETP-09 John Edward
  • [clean-list] Final call for papers: SETP-09 John Edward
• [clean-list] 1st Call for Papers - LAM'09 LAM'09
• [clean-list] GTTSE 2009 --- First call for participation (06-11 July 2009) João Saraiva
• [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
  • Re: [clean-list] Clean2.2 on 64bit (X)Ubuntu - please help in completing the Clean wiki walkthrough John van Groningen
  • Re: [clean-list] Clean2.2 on 64bit (X)Ubuntu - please help in completing the Clean wiki walkthrough Nick Rudnick
  • Re: [clean-list] Clean2.2 on 64bit (X)Ubuntu - please help in completing the Clean wiki walkthrough John van Groningen
• [clean-list] Clean2.2 on 64bit (X)Ubuntu - please help in completing the Clean wiki walkthrough Nick Rudnick
• [clean-list] ARCOE-09 Second Call for Participation ARCOE-09
• [clean-list] Call for papers -- RR 2009 Terrance Swift
• [clean-list] MEMOCODE Final CFP Memocode 2009
• [clean-list] European Master's Program in Computational Logic Bertram Fronhöfer
  • [clean-list] European Master's Program in Computational Logic Bertram Fronhöfer
• [clean-list] ECOOP 2009 Last Call for Workshops and Tutorials Dave Clarke
• [clean-list] KES2009 CFP International Conference on Knowledge-Based and Intelligent Information & Engineering Systems KES
• [clean-list] Tableaux 2009: Final CfP Viorica Sofronie-Stokkermans
• [clean-list] ICLP'09 Doctoral Consortium iclp09 . dc
  • [clean-list] ICLP'09 Doctoral Consortium iclp09 . dc
  • [clean-list] ICLP'09 Doctoral Consortium iclp09 . dc
  • [clean-list] ICLP'09 Doctoral Consortium iclp09 . dc
• [clean-list] 10 PhD, PostDoc, and Engineering Positions offered!! CFP
• [clean-list] ICFP: Child care at conference Matthew Fluet (ICFP Publicity Chair)
• [clean-list] TLCA'09 -- DEADLINE EXTENSION Luca Paolini
• [clean-list] CFP: PADTAD 2009, July 19-20, Chicago, IL Eric Mercer
• [clean-list] RTA last CFP (abstract deadline, January 19 Monday) Hitoshi Ohsaki
• [clean-list] Summer School -- Screw-Theory based methods and their application in robotics Rezia Molfino
• [clean-list] DAMP'09 -- Call for Participation list
• [clean-list] Logic Programming: 25th International Conference CFP Gopal Gupta
• [clean-list] MULTICONF-09 call for papers Peter james
  • [clean-list] MULTICONF-09 call for papers Justin Williams
• [clean-list] PhD positions in ICT on Formal Verification via SMT available in Trento Roberto Sebastiani
  • [clean-list] PhD positions in ICT on Formal Verification via SMT available in Trento Roberto Sebastiani
• [clean-list] CADE-22 second call for papers Carsten Schuermann
• [clean-list] CFP for TFP 2009 Horváth Zoltán
• [clean-list] [TERMGRAPH 2009] Final CfP & Deadline extension, December 22 Andrea Corradini
• [clean-list] TLCA'09 Last Call For Paper Luca Paolini
• [clean-list] ATVA 2009: Call for Workshop Proposals Wang Xu
• [clean-list] ICFP09 Call for Papers Matthew Fluet (ICFP Publicity Chair)
• [clean-list] CfP: ICTAC'09 Martin Leucker
• Re: [clean-list] Updating unique structures in unique structures in unique structures TK
  • Re: [clean-list] Updating unique structures in unique structures in unique structures John van Groningen
• [clean-list] FroCoS'09 Call for Papers Roberto Sebastiani
  • [clean-list] FroCoS'09 Call for Papers Roberto Sebastiani
  • [clean-list] FroCoS'09 Call for Papers Roberto Sebastiani
• [clean-list] [ANNOUNCEMENT]: SICSA Chairs, Lectureships and Research Fellowships at St Andrews Kevin Hammond
• [clean-list] BYTECODE09: Last Call for Papers Samir Genaim
• [clean-list] Tableaux 2009: Second CfP Viorica Sofronie-Stokkermans
• [clean-list] RTA 2nd CFP (June 29 - July 1, 2009, Brasilia) Hitoshi Ohsaki
• [clean-list] Call for papers: POPL 2010 Swarat Chaudhuri
• [clean-list] PADL'09: Call for Participation Gopal Gupta
• [clean-list] D.Phil (PhD) Studentship on ConDOR project at Oxford University Computing Laboratory Ian . Horrocks
• [clean-list] Research Position on HermiT project at Oxford University Computing Laboratory Ian . Horrocks
• [clean-list] Finall Call For Papers (DSL WC) Emir Pasalic
• [clean-list] TLCA' 09: Final Call for Papers Luca Paolini
• [clean-list] Call for Papers: MOMPES @ ICSE 2009 João Miguel Fernandes
• [clean-list] PEPM'09 -- Call for Participation G. Puebla and G. Vidal
• [clean-list] 10 December: ReMAR 2009 Extended Deadline - The ASME/IFToMM International Conference on Reconfigurable Mechanisms and Robots (ReMAR 2009) ReMAR 2009
• [clean-list] Help with trapping Special Keys Neil Wallis
• [clean-list] ANNOUNCE: Haskell Communities and Activities Report (15th ed., November 2008) Janis Voigtlaender
  • [clean-list] Re: [Haskell-cafe] ANNOUNCE: Haskell Communities and Activities Report (15th ed., November 2008) Don Stewart
  • [clean-list] Re: ANNOUNCE: Haskell Communities and Activities Report (15th ed., November 2008) Benjamin L. Russell
• [clean-list] PostDoc Positions in the Embedded System Unit of Fondazione Bruno Kessler Marco Roveri
• [clean-list] CADE-22 final call for workshop and tutorial proposals Carsten Schuermann
• [clean-list] VMCAI 2009: Call for Participation Markus Mueller-Olm
• [clean-list] ISMM 2009 Call for Papers Hillel Kolodner
• [clean-list] [dsd2009-l] Call for papers Digital System Design 2009 Antonio Nunez DSD2009
• [clean-list] Assertion failed in backend library if Start w = Start w Vag
  • Re: [clean-list] Assertion failed in backend library if Start w = Start w John van Groningen
  • Re: [clean-list] Assertion failed in backend library if Start w = Start w vag
  • Re: [clean-list] Assertion failed in backend library if Start w = Start w vag
  • Re: [clean-list] Assertion failed in backend library if Start w = Start w vag
  • [clean-list] Simplified uniqueness typing Jari-Matti Mäkelä
  • RE: [clean-list] Simplified uniqueness typing zuurb078
  • Re: [clean-list] Simplified uniqueness typing Marco Kesseler
• [clean-list] ECOOP 2009 Call for Workshops David . Clarke
• [clean-list] ECOOP 2009 Call for Tutorials David . Clarke
• [clean-list] Re: Any scheduled release data for Clean 2.3? rinus plasmeijer
  • [clean-list] Re: Any scheduled release data for Clean 2.3? Benjamin L. Russell
  • [clean-list] Re: Any scheduled release data for Clean 2.3? jerzy . karczmarczuk
  • Re: [clean-list] Re: Any scheduled release data for Clean 2.3? Richard O'Keefe
  • [clean-list] Re: Any scheduled release data for Clean 2.3? jerzy . karczmarczuk
  • [clean-list] Re: Any scheduled release data for Clean 2.3? Peter Hercek
  • Re: [clean-list] Re: Any scheduled release data for Clean 2.3? Janis Voigtlaender
  • Re: [clean-list] Re: Any scheduled release data for Clean 2.3? Thomas van Noort
• [clean-list] TERMGRAPH 2009 - Second Call for Papers [Deadline: December 15] Andrea Corradini
  • [clean-list] TERMGRAPH 2009 - Second Call for Papers [Deadline: December 15] Andrea Corradini
• [clean-list] Any scheduled release data for Clean 2.3? Benjamin L. Russell
  • [clean-list] Re: Any scheduled release data for Clean 2.3? Benjamin L. Russell
  • [clean-list] Re: Any scheduled release data for Clean 2.3? Benjamin L. Russell
• [clean-list] ECOOP 2009 Call for Papers David . Clarke
• [clean-list] FMICS 2009: First Call for Papers FMICS 2009 workshop chair
• [clean-list] ESSLLI Student Session - Call for papers Thomas Icard
• [clean-list] RDP'09: 2nd Call for Workshop Proposals Ralf Treinen
• [clean-list] Re: Question on destructive array updates Carlos Aya
  • Re: [clean-list] Re: Question on destructive array updates Attila Ondi
• [clean-list] ALICS workshop at LPAR Geoff Sutcliffe
• [clean-list] ICTAC'09: Call for Workshop Proposals Martin Leucker
• [clean-list] SETP-09 call for papers John Edward
  • [clean-list] SETP-09 call for papers John Edward
• [clean-list] Question on destructive array updates Attila Ondi
  • Re: [clean-list] Question on destructive array updates Carlos Aya
  • Re: [clean-list] Question on destructive array updates Pieter Koopman
  • Re: [clean-list] Question on destructive array updates Carlos Aya
  • Re: [clean-list] Question on destructive array updates Pieter Koopman
  • Re: [clean-list] Question on destructive array updates Attila Ondi
  • Re: [clean-list] Question on destructive array updates Attila Ondi
• [clean-list] RTA'09 1st CFP Hitoshi Ohsaki
• [clean-list] CfP: A-MOST 2009 Lars Frantzen
• [clean-list] ICFP09: Call for Workshop Proposals Matthew Fluet (ICFP Publicity Chair)
• [clean-list] TLCA 09 - Call for Paper - Update Luca Paolini
• [clean-list] BYTECODE09: 2nd Call for Papers Samir Genaim
• [clean-list] TLCA'09 - Preliminary Call for Papers Luca Paolini
• [clean-list] CADE-22 call for workshop and tutorial proposals Carsten Schuermann
• [clean-list] CADE-22 first call for papers Carsten Schürmann
• [clean-list] ReMAR 2009 : 2nd Call for Papers of the ASME/IEEE International Conference on Reconfigurable Mechanisms and Robots ReMAR 2009
• [clean-list] QAPL 2009 Call for Papers QAPL 2009
  • [clean-list] QAPL 2009 Call for Papers QAPL 2009
  • [clean-list] QAPL 2009 Call for Papers QAPL 2009
• [clean-list] ICSSEA 2008 CALL FOR PARTICIPATION Jean-Claude-Rault
• [clean-list] Minor but fun Vag
  • Re: [clean-list] Minor but fun John van Groningen
• [clean-list] DAMP 2009 CFP Manuel Carro
• [clean-list] PEPM'09 -- Final Call for Papers G. Puebla and G. Vidal
• [clean-list] Call for Participation - Models@Runtime Cédric Jeanneret
• [clean-list] ICLP'08 CALL FOR PARTICIPATION ICLP 08
  • [clean-list] ICLP'08 CALL FOR PARTICIPATION ICLP 08
• [clean-list] instance Array {#} a zuurb078
  • Re: [clean-list] instance Array {#} a John van Groningen
• [clean-list] Yet another compiler crash Vag
  • Re: [clean-list] Yet another compiler crash Pieter Koopman
  • Re: [clean-list] Yet another compiler crash John van Groningen
• [clean-list] TERMGRAPH 2009 - First Call for Papers Andrea Corradini
• [clean-list] FMCAD'08: Call for Participation (Nov. 17-20, Portland, Oregon, USA) Lee Pike
  • [clean-list] FMCAD'08: Early registration ends Oct. 16th (Call for Participation) Lee Pike
• [clean-list] fyi Clean in the Ubuntu benchmarks game Isaac Gouy
• [clean-list] GPCE'08 Second Call for Participation -- NEWS -- Pasalic Emir
• [clean-list] CFP MEMOCODE 2009 memocode 2009
• [clean-list] Workshop on Generic Programming: Call for Participation (co-located w/ ICFP08) Matthew Fluet (ICFP Publicity Chair)
• [clean-list] CC 2009: abstracts due Oct 2 Oege . de . Moor
• [clean-list] WLPE'08 - Call for Papers, deadline extended to Sep 21st WLPE-08
• [clean-list] PADL 09 Deadline Extension Terrance Swift
• [clean-list] GPCE'08 Call for Participation Emir Pasalic

• Earlier messages
• Later messages