clean-list  

Messages by Thread

• [clean-list] GAMES 2012 -- Call for participation -- Nello Murano
• [clean-list] ICLP: Google Grant for female scientists + early registration period ends on June 20 Gergely Lukacsy (glukacsy)
• [clean-list] PEPM 2013: Second Call for Papers scm-ml
• [clean-list] Haskell Symposium 2012 - Call for Participation (early registration closes 9th August) Janis Voigtländer
• [clean-list] CALL FOR PARTICIPATION - Relational and Algebraic Methods in Computer Science (RAMiCS) Peter Höfner
• [clean-list] CFP: First Workshop on Programming the Semantic Web - PSW 2012 Janis Voigtländer
• [clean-list] Call for participation - 28th International Conference on Logic Programming (ICLP 2012) Gergely Lukacsy (glukacsy)
• [clean-list] *correction* PEPM 2013: Preliminary Call for Papers scm-ml
• [clean-list] PEPM 2012: Preliminary Call for Papers scm-ml
  • [clean-list] PEPM 2012: Preliminary Call for Papers jaiyalas
• [clean-list] SSLST 2012: 3rd announcement GRLMC
• [clean-list] Turing Centenary Conference, Manchester, June 22-25: Call for Participation S B Cooper
• [clean-list] Call for Participation - Workshop on Reversible Computation 2012 Janis Voigtländer
• [clean-list] GAMES 2012 -- Call for contributions -- Nello Murano
• [clean-list] FOOL 2012: Call for Papers John Tang Boyland
• [clean-list] CiE 2012 Turing Centenary Conference, Cambridge - Final Call for Participation S B Cooper
• [clean-list] IFL2012: call for papers Pieter Koopman
• [clean-list] FSFLA 2012: 1st announcement GRLMC
• [clean-list] Haskell Symposium 2012 - deadline approaching Janis Voigtländer
• [clean-list] The 12th IEEE Intl Conference on Computer and Informat io​n Technology (CIT 2012) [deadline: 1 June 2012] cinfon
• [clean-list] Call for papers GandALF 2012 -- EXTENDED DEADLINE Nello Murano
• [clean-list] 6th International School on Rewriting (ISR), Valencia, July 16-20, 2012 Santiago Escobar
• [clean-list] FINAL CFP: TFPIE 2012 Peter Achten
• [clean-list] CiE 2012: Turing Centenary Conference, Cambridge - Final Call for Presentations S B Cooper
• [clean-list] Call for Papers - Haskell Symposium 2012 - six weeks to go Janis Voigtländer
• [clean-list] 2nd Call for Informal Presentations at Turing Centenary Conference, Cambridge, UK S B Cooper
• [clean-list] 2nd Call for Participation: RTA 2012 Georg Moser
• [clean-list] Alan Turing Centenary Conference in Manchester, 2nd Call for Papers S B Cooper
• [clean-list] Call for Papera - Automated Theory Exploration (ATx) Peter Höfner
• [clean-list] Final CFP: 18th International Conference on Principles & Practice of Constraint Programming Association ConstraintProgramming
• [clean-list] 6th International School on Rewriting (ISR), July 16-20, 2012 Santiago Escobar
• [clean-list] Second call for papers TFPIE 2012 Peter Achten
• [clean-list] WADT 2012: Deadline Extension WADT 2012
• [clean-list] WORLDCOMP and Hamid Arabnia Xixun Wu
• [clean-list] WADT 2012: Final Call for Papers WADT 2012
• [clean-list] Intersection Types and Related Systems (ITRS 2012) -- Final Call Luca Paolini
• [clean-list] Call for Participation: RTA 2012 Georg Moser
• [clean-list] CFP: HOR 2012 - extended deadline: March 26, 2012 Makoto Hamana
• [clean-list] Building to DLL, win7 64 Сергей Лосев
  • Re: [clean-list] Building to DLL, win7 64 John van Groningen
• [clean-list] 2nd CFP: 18th International Conference on Principles & Practice of Constraint Programming Association ConstraintProgramming
• [clean-list] PhD position at Radboud University, The Netherlands - NECTOP project Peter Achten
• [clean-list] SSFLA 2012: final announcement GRLMC
• [clean-list] Intersection Types and Related Systems (ITRS 2012) -- 2nd CFP Luca Paolini
• [clean-list] CFP: BOOGIE 2012 - 2nd International Workshop on Intermediate Verification Languages Zvonimir Rakamaric
• [clean-list] Second CFP: SAS 2012 - 19th International Static Analysis Symposium, Deauville, France Antoine Mine
• [clean-list] PHD position on SAT/SMT applications to requirement engineering in Trento Roberto Sebastiani
• [clean-list] PHD position on SMT-based formal verification in Trento Roberto Sebastiani
• [clean-list] Alan Turing Centenary Conference, University of Manchester, 22-25 June, 2012 S B Cooper
• [clean-list] 2nd Call for papers - 28th International Conference on Logic Programming (ICLP 2012) Gergely Lukacsy (glukacsy)
• [clean-list] [CiE 2012] Call for Informal Presentations for Turing Centenary Conference in Cambridge S B Cooper
• [clean-list] [CFP] Special Issue on IP-enabled Wireless Sensor Network, International Journal of Distributed Sensor Networks cinfon
• [clean-list] [IEEE Systems Journal] Special Issue on Recent Advances in Cloud-based Multimedia Systems cinfon
  • [clean-list] [IEEE Systems Journal] Special Issue on Recent Advances in Cloud-based Multimedia Systems cinfon
• [clean-list] SSFLA 2012: 3rd announcement GRLMC
• [clean-list] [CFP] ICME Workshop on Cloud-Centric Media System cinfon
  • [clean-list] [CFP] ICME Workshop on Cloud-Centric Media System cinfon
• [clean-list] SAT 2012: Final Call for Papers Roberto Sebastiani
• [clean-list] Call for Papers - Workshop on Reversible Computation 2012 Janis Voigtländer
• [clean-list] CFP: 18th International Conference on Principles & Practice of Constraint Programming Association ConstraintProgramming
• [clean-list] Building to DLL?? Alan Carlyle
  • Re: [clean-list] Building to DLL?? John van Groningen
• [clean-list] WADT 2012: First Call for Papers WADT 2012
  • [clean-list] WADT 2012: Second Call for Papers WADT 2012
• [clean-list] ACM ISMM 2012 Call for Papers (Reminder) Martin Vechev
• [clean-list] LATA 2012: call for participation GRLMC
• [clean-list] Call for Papers - Haskell Symposium 2012 Janis Voigtländer
• [clean-list] Workshop on Intersection Types and Related Systems (ITRS 2012) Luca Paolini
• [clean-list] Call for Participation - BX'12 (co-located with ETAPS'12) Janis Voigtländer
• [clean-list] Call for Doctoral Consortium - 28th International Conference on Logic Programming (ICLP 2012) Gergely Lukacsy (glukacsy)
• [clean-list] [PVS] IIP 2012: Call for Papers liang chang
• [clean-list] WST 2012: Last Call for Papers and Deadline Extension Georg Moser
• [clean-list] SSFLA 2012: 2nd announcement GRLMC
• [clean-list] PhD Positions at ETH Zurich Weissert Marlies
  • [clean-list] PhD Positions at ETH Zurich Mueller Peter
• [clean-list] Call for Workshop proposal - 28th International Conference on Logic Programming (ICLP 2012) Gergely Lukacsy (glukacsy)
• [clean-list] Deadline Extension RTA 2012 Georg Moser
• [clean-list] Final Call For Papers RTA 2012 Georg Moser
• [clean-list] First CFP: SAS 2012 - 19th International Static Analysis Symposium, Deauville, France Antoine Mine
• [clean-list] Clean 2.4 available for Windows, Linux and Mac OS X John van Groningen
• [clean-list] PADL 2012 Final Call for Participation Claudio Russo
• [clean-list] Fwd: [Fp-nl] Dutch national FP day, January 6, Utrecht Pieter Koopman
• [clean-list] Data intensive programming and Clean Groenouwe, C.
  • Re: [clean-list] Data intensive programming and Clean Dmitry Popov
  • Re: [clean-list] Data intensive programming and Clean rinus plasmeijer
  • Re: [clean-list] Data intensive programming and Clean Guillaume Yziquel
  • Re: [clean-list] Data intensive programming and Clean Isaac Gouy
  • Re: [clean-list] Data intensive programming and Clean Richard O'Keefe
  • Re: [clean-list] Data intensive programming and Clean Pieter Koopman
  • Re: [clean-list] Data intensive programming and Clean Groenouwe, C.
• [clean-list] Call for papers - 28th International Conference on Logic Programming (ICLP 2012) Gergely Lukacsy (glukacsy)
• [clean-list] RTA 2012: Second Call For Papers Georg Moser
• [clean-list] Announcement: 2nd International SAT/SMT Summer School Alberto Griggio
• [clean-list] WST 2012: Second Call For Papers Georg Moser
• [clean-list] How to define subgraph with type signature? Vag Vagoff
  • Re: [clean-list] How to define subgraph with type signature? John van Groningen
• [clean-list] ANNOUNCE: Haskell Communities and Activities Report (21st ed., November 2011) Janis Voigtländer
• [clean-list] Dynamic types completed and available for Unix (Linux)? Groenouwe, C.
  • [clean-list] Dynamic types completed and available for Unix (Linux)? Groenouwe, C.
• [clean-list] CFP:Wiley's IJCS Journal Special Issue on Recent Issues in Wireless Sensor Networks cinfon
• [clean-list] PADL 2012 Call for Participation Claudio Russo
• [clean-list] Dynamic typing for communication with non-clean programs Groenouwe, C.
  • Re: [clean-list] Dynamic typing for communication with non-cleanprograms zuurb078
  • Re: [clean-list] Dynamic typing for communication with non-cleanprograms Bas Lijnse
  • Re: [clean-list] Dynamic typing for communication with non-cleanprograms Pieter Koopman
  • Re: [clean-list] Dynamic typing for communication with non-cleanprograms Groenouwe, C.
  • Re: [clean-list] Dynamic typing for communication with non-cleanprograms Groenouwe, C.
  • Re: [clean-list] Dynamic typing for communication with non-cleanprograms Bas Lijnse
  • Re: [clean-list] Dynamic typing for communication with non-cleanprograms Groenouwe, C.
• [clean-list] Second CfP: International Conference on Test and Proofs (TAP 2012), Next Deadline: 2011-12-14 Achim D. Brucker
• [clean-list] distribution of 1 random number sequence throughout program Groenouwe, C.
  • Re: [clean-list] distribution of 1 random number sequence throughout program Pieter Koopman
  • Re: [clean-list] distribution of 1 random number sequence throughout program Groenouwe, C.
• [clean-list] WST 2012: First Call For Papers Georg Moser
• [clean-list] SAT 2012: Call for Papers Roberto Sebastiani
• [clean-list] FSFLA 2011: call for participation Carlos Martín Vide
• [clean-list] ISMM 2012 Call for Papers Martin Vechev
• [clean-list] Call for Contributions - Haskell Communities and Activities Report, November 2011 edition Janis Voigtländer
• [clean-list] 2nd CFP: Programming Languages meets Program Verification (PLPV 2012) PLPV 2012
• [clean-list] RTA 2012: First Call For Papers Georg
• [clean-list] Haskell Job Opportunity at Sensor Sense Bas van Dijk
• [clean-list] WRLA 2012: Call for papers Francisco Durán
• [clean-list] [fm-announcements] NFM 2012 Call For Papers PERSON, SUZETTE (LARC-D320)
• [clean-list] LPAR-18 Venezuela- Call for Papers Geoff Sutcliffe
• [clean-list] Call for Proposals for Workshops, Formal Methods 2012 Tayssir Touili
• [clean-list] 1st cfp: Automated Reasoning and Mathematics: Essays in Memory of William McCune Maria Paola Bonacina
• [clean-list] First CfP: International Conference on Test and Proofs (TAP 2012), Next Deadline: 2011-12-14 Achim D. Brucker
• [clean-list] Call for Papers - First International Workshop on Bidirectional Transformations Janis Voigtländer
  • [clean-list] Call for Papers - First International Workshop on Bidirectional Transformations Janis Voigtländer
• [clean-list] Mathematics of Program Construction - first call for papers Jeremy . Gibbons
• [clean-list] CFP: Programming Languages meets Program Verification (PLPV 2012) PLPV 2012
• [clean-list] I shaved my pussy for you. Want to see? Clean
• [clean-list] Final CFP: PADL'12 - Practical Aspects of Declarative Languages 2012 Claudio Russo
• [clean-list] Formal Methods in Computer Aided Design 2011 -- Call for Participation David L. Rager
• [clean-list] [TIIS Journal] Speical Issue-Machine 2 Machine (Extended) cinfon
• [clean-list] Post Doc Positions Available Marco Roveri
• [clean-list] PADL'12 Second CFP Neng-Fa Zhou
• [clean-list] Extended Deadline: CFP 2011 Symposium on Implementation and Application of Functional Languages Pieter Koopman
• [clean-list] [isaim2008] ISAIM 2012 - Call for Papers Prof. Martin Charles Golumbic
• [clean-list] CfP: ACHI 2012 || January 30 - February 4, 2012 - Valencia, Spain Alejandro Canovas
• [clean-list] [fm-announcements] RV'11 San Francisco - Call for Participation Havelund, Klaus (318M)
• [clean-list] FroCoS 2011: Call for Participation Viorica Sofronie-Stokkermans
• [clean-list] CFP: 23rd Symposium on Implementation and Application of Functional Languages (IFL 2011) Pieter Koopman
• [clean-list] Second CFP: PADL'12 - Practical Aspects of Declarative Languages 2012 Claudio Russo
• [clean-list] Your DHL id. 7765066 Clean
• [clean-list] [VMCAI2012] VMCAI 2012 CALL FOR PAPERS Andrey Rybalchenko
• [clean-list] CSL call for participation Geoff Sutcliffe
• [clean-list] Extended CFP:: ICIEIS2011- Malaysia: Published by Springer The International Conference on Informatics Engineering & Information Science
  • [clean-list] Extended CFP:: ICIEIS2011- Malaysia: Published by Springer The International Conference on Informatics Engineering & Information Science
• [clean-list] ICFP 2011: Call for participation Wouter Swierstra
• [clean-list] Last CFP:: ICIEIS2011- Malaysia: Published by Springer The International Conference on Informatics Engineering & Information Science
  • [clean-list] Last CFP:: ICIEIS2011- Malaysia: Published by Springer The International Conference on Informatics Engineering & Information Science
• [clean-list] RTA 2012: Call for Workshop Proposals Masahiko Sakai
• [clean-list] AiML 2012 early call for papers Silvio Ghilardi
• [clean-list] PADL'12 Call for Papers Ricardo Rocha
• [clean-list] [AlMoDEP] CfP - 1st International Workshop on Algorithms and Models for Distributed Event Processing AlMoDEP workshop publicity
• [clean-list] CFP:: ICIEIS2011- Malaysia: Published by Springer The International Conference on Informatics Engineering & Information Science
  • [clean-list] CFP:: ICIEIS2011- Malaysia: Published by Springer The International Conference on Informatics Engineering & Information Science
  • [clean-list] CFP:: ICIEIS2011- Malaysia: Published by Springer The International Conference on Informatics Engineering & Information Science
• [clean-list] CFP: PADL'12 - Practical Aspects of Declarative Languages 2012 Claudio Russo
• [clean-list] a question luciano.vieira.lima
  • Re: [clean-list] a question John van Groningen
• [clean-list] [Lpmas] INAP/WLP 2011: Second Call for Papers Hans Tompits
• [clean-list] HLDVT 2011: 2 days to abstract submission deadline Shireesh Verma
• [clean-list] CFP: Special Issue on Multimedia P2P Networking: Protocols, Solutions and Future Directions cinfon
  • [clean-list] CFP: Special Issue on Multimedia P2P Networking: Protocols, Solutions and Future Directions cinfon
• [clean-list] [TIIS Journal] Speical Issue-Machine 2 Machine cinfon
  • [clean-list] [TIIS Journal] Speical Issue-Machine 2 Machine cinfon
  • [clean-list] [TIIS Journal] Speical Issue-Machine 2 Machine cinfon
  • [clean-list] [TIIS Journal] Speical Issue-Machine 2 Machine cinfon
• [clean-list] TOOLS'11 in Zurich: Call for Participation H.-Christian Estler
• [clean-list] CADE 23: Call for participation carsten
• [clean-list] DIFTS'11: Call For Papers ***Abstract submission deadline extension: June 13*** Malay Ganai
• [clean-list] SBMF 2011 - Deadline Extended to June 12 (Abstract should be registered until June 05) SMBF 2011
• [clean-list] [fm-announcements] RV 2011 final CfP -- paper deadline extension: June 12, 2011 Havelund, Klaus (318M)
• [clean-list] 2nd CFP -- Haskell Symposium 2011 Haskell Symposium
• [clean-list] DIFTS'11: 3rd and Final Call For Papers ***Submission site is now open*** Malay Ganai
• Re: [clean-list] SDI bugs Mikael
• [clean-list] ECSS 2011 - Call for Participation/Submissions Cristina Pereira
• [clean-list] ANNOUNCE: Haskell Communities and Activities Report (20th ed., May 2011) Janis Voigtländer
• [clean-list] Call for papers: HLDVT 2011 (with a journal special section) Shireesh Verma
• [clean-list] How can I select/unselect a custom control ? Ferreira Maurizio
  • Re: [clean-list] How can I select/unselect a custom control ? John van Groningen
  • Re: [clean-list] How can I select/unselect a custom control ? Peter Achten
• [clean-list] 1st CFP: LoCoCo 2010 (Logics for Component Configuration) Ralf Treinen
• [clean-list] Subject: An update on ICFP'11 in Tokyo (September 18-24, 2011) Wouter Swierstra
• [clean-list] I cannot use pst.ls Ferreira Maurizio
  • Re: [clean-list] I cannot use pst.ls Peter Achten
  • [clean-list] R: I cannot use pst.ls Ferreira Maurizio
• [clean-list] Formal Methods in Computer Aided Design 2011 -- Final CFP David L. Rager
• [clean-list] CFP ICTSS 2011 (formely TESTCOM/FATES) - Deadline extension zaidi fatiha
• [clean-list] [Lpmas] COLA@EPIA 2011 - Last Call for Papers Paulo Moura
• [clean-list] [Lpmas] LPMAS - Deadline Extension Son Cao Tran
• [clean-list] CfP: Resource Adaptive Compilation and Runtime Environments Frank Penczek
• [clean-list] Help Please: Beginner to Clean.. Console I/O Khurram Khan
  • Re: [clean-list] Help Please: Beginner to Clean.. Console I/O RT Happe
  • Re: [clean-list] Help Please: Beginner to Clean.. Console I/O Khurram Khan
  • Re: [clean-list] Help Please: Beginner to Clean.. Console I/O RT Happe
  • Re: [clean-list] Help Please: Beginner to Clean.. Console I/O Khurram Khan
  • Re: [clean-list] Help Please: Beginner to Clean.. Console I/O RT Happe

• Earlier messages
• Later messages