clean-list  

Messages by Thread

• [clean-list] [TFP 2016] 1st call for papers Peter Achten
• [clean-list] CFP: The Second International Workshop on Internet of Things: Networking Applications and Technologies (IOTNAT 2016), August 15-18, 2016, Montreal, Quebec, Canada IoTNAT 2016
• [clean-list] 1st Call for Contributions for SPLASH'16: OOPSLA, Onward!, Workshops, DLS, SLE, GPCE Tijs van der Storm
• [clean-list] [Mycolleagues] ICADIWT 2016 sara
• [clean-list] FedCSIS 2016 - CALL FOR PAPERS Federated Conference on Computer Science and Information Systems
• [clean-list] [NL-FP 2016] Final CFP: Dutch Functional Programming Day 2016 Atze Dijkstra
• [clean-list] Call for papers or Participation Shane Davis
• [clean-list] WRLA 2016: 2nd Call for Papers (including invited speakers) Dorel Lucanu
• [clean-list] MCSMS 2016: Second International Workshop on Mobile Cloud Computing systems, Management, and Security, May 23-26, 2016, Madrid, Spain MCSMS 2016
• [clean-list] please help me solve this error Vaishnavi Thiyagarajan
  • Re: [clean-list] please help me solve this error Markus Klinik
  • Re: [clean-list] please help me solve this error Markus Klinik
  • Re: [clean-list] please help me solve this error Markus Klinik
  • Re: [clean-list] please help me solve this error Vaishnavi Thiyagarajan
• [clean-list] [NL-FP 2016] 2nd CFP: Dutch Functional Programming Day 2016 Atze Dijkstra
• [clean-list] ICESS2016 Japan: Call for Papers and Participation Sandra Evans
• [clean-list] FedCSIS 2016 - CALL FOR DISSEMINATION EVENTS Federated Conference on Computer Science and Information Systems
• [clean-list] S4CIP 2016: call for papers Stefano Marrone
• [clean-list] [CfP] IEEE DIPDMWC2016 Russia Sandra Evans
• [clean-list] [IEEE] Call for Papers: DIPDMWC2016 Russia Sandra Evans
• [clean-list] SDS 2016:3rd IEEE International Symposium on Software Defined Systems, April 4-8, 2016, Berlin, Germany SDS 2016
  • [clean-list] SDS 2016:3rd IEEE International Symposium on Software Defined Systems, April 4-8, 2016, Berlin, Germany SDS 2016
• [clean-list] WRLA 2016: 1st Call for Papers Dorel Lucanu
• [clean-list] [MobiSPC-16] Invitation to organize a workshop stephane . galland
• [clean-list] [FNC-16] Invitation to organize a workshop stephane . galland
• [clean-list] [IEEE] Last Call for Papers: InfoSec2015 South Africa Sandra Evans
• [clean-list] [NL-FP 2016] Announcement: Dutch Functional Programming Day 2016 Atze Dijkstra
• [clean-list] LATA 2016: submission deadline extended GRLMC
• [clean-list] [Call for Papers] Lebanon:: Third ICETC2016 Sandra Evans
• [clean-list] Final CFP: The Third International Conference on Green Computing, Technology and Innovation (ICGCTI2015) Shane Davis
• [clean-list] FedCSIS 2016 - CALL FOR EVENTS Federated Conference on Computer Science and Information Systems
• [clean-list] CfP: ANTIFRAGILE'16 Vincenzo De Florio
• [clean-list] LATA 2016: 3rd call for papers GRLMC
• [clean-list] LATA 2016: 2nd call for papers GRLMC
• [clean-list] Call for Workshops at ANT-2016 stephane . galland
• [clean-list] ETAPS 2016 2nd call for papers Tarmo Uustalu
• [clean-list] LATA 2016: 1st call for papers GRLMC
• [clean-list] ETAPS 2016 call for papers Tarmo Uustalu
• [clean-list] Final call for papers for IFL 2015 Jurriaan Hage
• [clean-list] PEPM 2016: Call for Papers Martin Erwig
• [clean-list] CALL FOR PARTICIPATION (RAMiCS 2015) Michael Winter
• [clean-list] SR 2015: EXTENDED DEADLINE - Oxford, UK. Julian Gutierrez
• [clean-list] SR 2015 - Final call for papers - Oxford, Sept 21-22, UK murano
• [clean-list] Final call for papers: SR 2015, Oxford, Sept 21-22, UK Julian Gutierrez
• [clean-list] Call for Papers: Models for Formal Analysis of Real Systems (MARS'15) Rob van Glabbeek
  • [clean-list] Call for Papers: Models for Formal Analysis of Real Systems (MARS'15) Rob van Glabbeek
• [clean-list] Call for papers - SR 2015: Strategic Reasoning (Oxford, UK) Julian Gutierrez
• [clean-list] Last Call for Papers: GTMC 2015 USA Hazel Ann
• [clean-list] ICTAC 2015 - Deadline Extension Frank D. Valencia
• [clean-list] Call for Papers: ICIA'15 Japan Hazel Ann
• [clean-list] Deadline Extended: Workshop on Programming Model and Supportive Environment for Heterogeneous Systems (PMHS) LIN MA
• [clean-list] Deadline Approaching - CFP: ACM SIGPLAN GPCE 2015 Faruk Caglar
• [clean-list] ICTAC 2015 - Final Call for Papers Frank D. Valencia
• [clean-list] Call for Participation: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation David Sabel
• [clean-list] Deadline extension: Workshop on Generic Programming 2015 - New deadline May 22 Sebastian Erdweg
• [clean-list] First Call for Papers for IFL 2015 publicityifl
• [clean-list] 2nd CfP: ICTAC 2015 - Cali, Colombia Frank D. Valencia
• [clean-list] Summer School on Generic and Effectful Programming Maciej Pirog
• [clean-list] Gillian Posey’s Circuits package Miëtek Bak
• [clean-list] [TFP'15] call for participation Peter Achten
• [clean-list] Final CFP: Workshop on Generic Programming 2015 - Deadline May 15 Sebastian Erdweg
• [clean-list] all for Contributions - Haskell Communities and Activities Report, May 2015 edition (28th edition) Mihai Maruseac
  • Re: [clean-list] all for Contributions - Haskell Communities and Activities Report, May 2015 edition (28th edition) Mihai Maruseac
• [clean-list] Deadline extended: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation David Sabel
• [clean-list] [Mycolleagues] cfp: The International Workshop on the Use of Formal Methods in Future Communication Networks (UFMFCN’2015) LAID K
• [clean-list] Time profiling on Mac OS X Diederik Van Arkel
  • Re: [clean-list] Time profiling on Mac OS X Jurriën Stutterheim
  • Re: [clean-list] Time profiling on Mac OS X Diederik Van Arkel
• [clean-list] Final CFP: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation David Sabel
• [clean-list] RDP 2015- Call for Participation - Sophie Tison
• [clean-list] DSLDI: 3rd Workshop on Domain-Specific Language Design and Implementation (EXTENDED DEADLINE) Tijs van der Storm
• [clean-list] CFP: ACM SIGPLAN GPCE 2015 Faruk Caglar
• [clean-list] [TFP'15] final call for papers - deadline extended march 31 - Peter Achten
• [clean-list] CALL FOR PhD/MSc Contributions (RAMiCS 2015) Michael Winter
• [clean-list] USB luciano.vieira.lima
• [clean-list] CFP:: GCIRE2015 Malaysia Hazel Ann
• [clean-list] CFP:: EEETEM2015 Malaysia Hazel Ann
• [clean-list] CFP:: ICIA2015 Japan Hazel Ann
• [clean-list] ETAPS 2015 final call for participation Tarmo Uustalu
• [clean-list] CFP: Workshop on Generic Programming 2015 - Deadline May 15 Sebastian Erdweg
• [clean-list] [TFPIE 2015] 2nd call for papers Peter Achten
• [clean-list] Fwd: [TFP-AC] EAPLS Best PhD Award 2014 Pieter Koopman
• [clean-list] DSLDI: 3rd Workshop on Domain-Specific Language Design and Implementation Tijs van der Storm
• [clean-list] CfW: ICTH 2015 (Deadline extended to March 15th, 2015) Christian Kuster
• [clean-list] ETAPS 2016 call for satellite events Tarmo Uustalu
• [clean-list] Call for Papers: GTMC2015 State of USA Janielle Tan
  • [clean-list] Call for Papers: GTMC2015 State of USA Janielle Tan
• [clean-list] PPDP 2015: 2nd call for papers FALASCHI MORENO
• [clean-list] LOPSTR 2015: 2nd Call for Papers FALASCHI MORENO
• [clean-list] ETAPS 2015 call for participation Tarmo Uustalu
• [clean-list] [TFP 2015] 2nd call for papers Peter Achten
• [clean-list] How to compile clean source on Linux? Lambda WB
  • Re: [clean-list] How to compile clean source on Linux? John van Groningen
  • Re: [clean-list] How to compile clean source on Linux? Lambda WB
• [clean-list] LATA 2015: call for participation GRLMC
• [clean-list] PhD positions in Utrecht Wouter Swierstra
• [clean-list] Clean on Linux Wouter vd L
  • Re: [clean-list] Clean on Linux Jurriën Stutterheim
  • [clean-list] Clean on Linux Karn Kallio
• [clean-list] RTA 2015: Last Call for Papers- Extended Deadline: title and abstract: 6 February 2015, full paper: 13 February 2015 Sophie Tison
• [clean-list] CfW: ICTH 2015 Christian Kuster
• [clean-list] CFP: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation David Sabel
• [clean-list] CFP: UNIF 2015 Mateu Villaret
  • [clean-list] LAST CFP: UNIF 2015 Mateu Villaret
• [clean-list] Mathematics of Program Construction (MPC 2015): final call for papers José Pedro Magalhães
• [clean-list] 3rd CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015) Michael Winter
• [clean-list] Call for Papers: The International Conference on Organizational Strategy, Business Models, and Risk Management (OSBMRM2015) janielle tan
• [clean-list] RTA 2015: 2nd CFP Sophie Tison
• [clean-list] CFP and Special Issue - 13th IEEE/ACIS SERA 2015 Slim Kallel
• [clean-list] [TFP 2015] 1st call for papers Peter Achten
• [clean-list] CFP: TFPIE 2015 Johan Jeuring
• [clean-list] FedCSIS 2015 - PRELIMINARY CALL FOR PAPERS Federated Conference on Computer Science and Information Technologies
• [clean-list] Paper Submission Deadline::EBECEGC2015 Conference in Dubai Hazel Ann
• [clean-list] First call for papers LOPSTR 2015 -- 25th International Symposium on Logic-Based Program Synthesis and Transformation -- Siena, Italy FALASCHI MORENO
• [clean-list] PPDP 2015 Call for papers -- 17th International Symposium on Principles and Practice of Declarative Programming -- Siena, Italy FALASCHI MORENO
• [clean-list] Last CFP: EBECEGC2015 | Electrical and Bio-medical Engineering, Clean Energy and Green Computing Hazel Ann
• [clean-list] PPDP2015 First Call for papers -- 17th International Symposium on Principles and Practice of Declarative Programming FALASCHI MORENO
• [clean-list] 2nd CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015) Michael Winter
• [clean-list] Final Call - 12th Annual Conference on Theory and Applications of Models of Computation (TAMC 2015), Singapore 18-20 May, 2015 S B Cooper
• [clean-list] CFP: EBECEGC2015 UAE - Electrical and Bio-medical Engineering, Clean Energy and Green Computing Hazel Ann
• [clean-list] CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015) Michael Winter
• [clean-list] Last CFP: ICCICS2014 : Cyber-Crime Investigation and Cyber Security Hazel Ann
• [clean-list] TLCA: 1st CALL for PAPERS Luca
  • [clean-list] TLCA: FINAL CALL FOR PAPERS Luca
  • [clean-list] New conference replacing RTA-TLCA Luca Paolini
• [clean-list] RTA 2015 - First Call For Papers Sophie Tison
• [clean-list] Mathematics of Program Construction (MPC 2015): first call for papers José Pedro Magalhães
• [clean-list] LATA 2015: extended submission deadline 16 October GRLMC
• [clean-list] Call for Contributions - Haskell Communities and Activities Report, November 2014 edition Mihai Maruseac
• [clean-list] Firtst steps Vadim Tukaev
  • Re: [clean-list] Firtst steps John van Groningen
• [clean-list] ETAPS 2015 final call for papers Tarmo Uustalu
• [clean-list] LATA 2015: 3rd call for papers GRLMC
• [clean-list] PEPM 2015: Final call for papers Kenichi Asai
• [clean-list] Third call for papers, IFL 2014 publicityifl
• [clean-list] CFP: The International Conference on Electrical, Electronics, Computer Engineering and their Applications (EECEA2014) Hazel Ann
• [clean-list] CFP: The International Conference on Cyber-Crime Investigation and Cyber Security (ICCICS2014) Hazel Ann
• [clean-list] LATA 2015: 2nd call for papers GRLMC - URV
• [clean-list] CFP - JSS, Elsevier - Special issue on adaptive and reconfigurable software systems and architectures Slim Kallel
• [clean-list] Second call for papers IFL 2014 planpublicity
• [clean-list] PPDP 2014: Program and 2nd Call for Participation Jacob Johannsen
• [clean-list] LOPSTR 2014: Call for Participation Maurizio Proietti
• [clean-list] ICFP Programming Contest 2014 Nicolas Wu
• [clean-list] PEPM 2015: First call for papers Kenichi Asai
• [clean-list] PPDP 2014 Call for Participation Jacob Johannsen
• [clean-list] mod not working Luke Immes
  • Re: [clean-list] mod not working Loïc Maury
  • Re: [clean-list] mod not working Luke Immes
  • Re: [clean-list] mod not working Loïc Maury
  • Re: [clean-list] mod not working Loïc Maury
  • Re: [clean-list] mod not working Loïc Maury
• [clean-list] clean-itask Loïc Maury
  • Re: [clean-list] clean-itask Loïc Maury
  • Re: [clean-list] clean-itask Bas Lijnse
• [clean-list] FFI with Clean Loïc Maury
  • Re: [clean-list] FFI with Clean Bas Lijnse
  • Re: [clean-list] FFI with Clean Loïc Maury
  • Re: [clean-list] FFI with Clean Loïc Maury
• [clean-list] IO zipcode example Luke Immes
  • Re: [clean-list] IO zipcode example Peter Achten
• [clean-list] SSTiC 2014: last-minute half-price registration GRLMC
• [clean-list] Vienna Summer of Logic: Call for participation Sophie Tison
• [clean-list] WADT 2014 - 3rd Call for Papers 2014 wadt
• [clean-list] WADT 2014 - 2nd Call for Papers 2014 wadt
• [clean-list] WPTE 2014: Call for Participation David Sabel
• [clean-list] SSTiC 2014: June 7, early registration deadline GRLMC
• [clean-list] LOPSTR 2014 - Extended Deadlines Maurizio Proietti
• [clean-list] Second Workshop on Haskell And Rewriting Techniques (HART 2014, co-located with ICFP 2014) Janis Voigtlaender
• [clean-list] [Haskell] ANNOUNCE: Haskell Communities and Activities Report (26th ed., May 2014) Mihai Maruseac
• [clean-list] LOPSTR 2014: Deadline Approaching Maurizio Proietti
• [clean-list] First call for papers IFL 2014 publicityifl
• [clean-list] GandALF 2014: Extended deadlines aniello murano
• [clean-list] [TFPIE2014] final call for participation Peter Achten
• [clean-list] MIND, MECHANISM AND MATHEMATICS at Columbia University, New York City, May 12-14, 2014 - registration open S B Cooper
• [clean-list] WADT 2014 - 1st Call for Papers 2014 wadt
• [clean-list] PPDP 2014: 2nd Call for Papers Jacob Johannsen
• [clean-list] Final CFP: Workshop on Generic Programming (WGP) 2014 José Pedro Magalhães
• [clean-list] GandALF 2014: Call for papers murano
• [clean-list] Workshop: MIND, MECHANISM AND MATHEMATICS - Columbia University, New York City, May 12-14, 2014 S B Cooper
• [clean-list] SSTiC 2014: May 10, 6th registration deadline GRLMC
• [clean-list] Extended Deadline and Final CFP: WPTE'14, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation David Sabel
• [clean-list] LOPSTR 2014: Second Call for Papers Maurizio Proietti
• [clean-list] ATVA 2014: Last Call for Papers -- Sydney November 3-7 Franck Cassez
• [clean-list] ATVA - (Final) Call for Workshop Proposals Peter Höfner
• [clean-list] Second CFP: Workshop on Generic Programming (WGP) 2014 José Pedro Magalhães
• [clean-list] Installation on Mac OS X Harley D. Eades III
  • Re: [clean-list] Installation on Mac OS X RT Happe
  • Re: [clean-list] Installation on Mac OS X Harley D. Eades III
  • Re: [clean-list] Installation on Mac OS X John van Groningen
• [clean-list] [TFPIE2014] final call for papers Peter Achten
• [clean-list] [TFP2014] First Call for Participation Peter Achten
• [clean-list] Second CFP: WPTE'14, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation David Sabel
• [clean-list] SSTiC 2014: April 12, 5th registration deadline GRLMC
• [clean-list] RAMiCS 2014 Marienstatt Westerwald 28 April - Mai 1: 2nd CfPart Peter Höfner
• [clean-list] Call for Papers - QUATIC 2014 Quatic
  • [clean-list] Call for Papers - QUATIC 2014 Quatic
• [clean-list] [TFP2014] Final Call For Papers Peter Achten
• [clean-list] CiE 2014: Language, Life, Limits - Grants, and Call for Presentations S B Cooper
• [clean-list] SSTiC 2014: 15 March, 4th registration deadline GRLMC - URV
• [clean-list] 2nd CFP, Intersection Types and Related Systems 2014 Luca Paolini

• Earlier messages
• Later messages