2011 Archives by thread

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

Starting: Mon Jan 3 14:53:56 MET 2011
Ending: Thu Dec 29 22:55:50 MET 2011
Messages: 242

• [clean-list] Semantic Web Journal: Call for Special Issue Proposals   Pascal Hitzler
• [clean-list] PADL'11 - Call for Participation   Ricardo Rocha
• [clean-list] Call for Participation: DAMP 2011   Conference Account
• [clean-list] CSL 2011 Call for Papers and Workshops   Geoff Sutcliffe
• [clean-list] 34th Software Engineering Workshop, SEW-2011, June 2011, Limerick, Ireland   James Rash
• [clean-list] [fm-announcements] CFP - VVPS 2011: Verification and Validation for Planning and Scheduling Systems   Havelund, Klaus (317J)
• [clean-list] RTA 2011 RTA extended deadline   Masahiko Sakai (RTA publicity chair)
• [clean-list] PADL'11 - Call for Participation   Ricardo Rocha
• [clean-list] Tableaux 2011: Final Call for Papers   Viorica Sofronie-Stokkermans
• [clean-list] 2nd CFP "Test and Proof", Zürich 2011   Burkhart Wolff
• [clean-list] CADE-23: Final Call for Papers   Carsten Schuermann
• [clean-list] Call For Papers: HLDVT 2011   Shireesh Verma
• [clean-list] [Synasc-call-for-papers] 1st CfP - SYNASC 2011, Timisoara, Romania, 26-29, Sep, 2010   Synasc 2011
• [clean-list] ICE 2011 - First Call for Papers (Deadline: 4th April 2011)   Marco Carbone
• [clean-list] Call for Papers: i-Society 2011!   Mark Newman
• [clean-list] CORCS'11 - Call for papers   Alexandre David
• [clean-list] Erice School on "Graph Theory, Algorithms and Applications"   Giuseppe F. Italiano
• [clean-list] Deadline Extension: TAP 2011   Burkhart Wolff
• [clean-list] [fm-announcements] VVPS 2011 - deadline extension for all ICAPS workshops   Havelund, Klaus (317J)
• [clean-list] SLE 2011 - Call for papers   João Fernandes
• [clean-list] ICFP 2011: Second Call for Papers   Wouter Swierstra
• [clean-list] CfP: Time'11   Martin Leucker
• [clean-list] ASPOCP 2011 Call For Papers   aspocp11 at easychair.org
• [clean-list] PLACES 2011 Call For Participation   Vasco T. Vasconcelos
• [clean-list] Call for papers: SARA 2011   Miroslav Velev
• [clean-list] FroCoS 2011: Call for Papers   Viorica Sofronie-Stokkermans
• [clean-list] Formal Methods in Computer Aided Design 2011 -- First CFP   David L. Rager
• [clean-list] IJCAI-11 Workshop ARCOE (deadline: 6 April)   ARCOE
• [clean-list] CEFP 2011 Summer School: call for participation   CEFP Summer School
• [clean-list] [fm-announcements] RV 2011 Call for Papers and Tutorials   Havelund, Klaus (317J)
• [clean-list] Onward! 2011: Call for Papers, Essays, Films, and Workshops   Eelco Visser
• [clean-list] PhD Positions in Design and Verification of Embedded Software   Marco Roveri
• [clean-list] [Lpmas] RCRA11: Experimental evaluation of algorithms for solving problems with combinatorial explosion   Marco Gavanelli
• [clean-list] CEFP 2011 summer school - CFP   Horváth Zoltán
• [clean-list] CFP WFLP 2011   Janis Voigtländer
• [clean-list] LASER 2011: Tools for Practical Software Verification (Second call for participation)   Nadia Polikarpova
• [clean-list] DIFTS'11: First Call For Papers   Malay Ganai
• [clean-list] 2 PhD positions and 1 postdoc position in Logic and Language at TiLPS, Tilburg University   Reinhard Muskens
• [clean-list] TIME 2011: Call for Workshop Proposals   Dirk Nowotka
• [clean-list] 7th ACM SIGPLAN Workshop on Generic Programming   cmlrdg at yahoo.com.tw
• [clean-list] 4th Call for Papers: IJCAI-11 workshop ARCOE   ARCOE
• [clean-list] ICE 2011 - Second Call for Papers (Deadline: 4th April 2011)   Marco Carbone
• [clean-list] 2nd CFPs: SARA'11   Miroslav Velev
• [clean-list] Privacy, Security, Trust (PST 2011) - 2nd Call for Papers (Deadline: March 20)   Serguei A. Mokhov on behalf of PST-11
• [clean-list] ICFP 2011 Deadline Extension   Wouter Swierstra
• [clean-list] CFP ITSLE2011: Industry Track of Software Language Engineering 2011   Pieter Koopman
• [clean-list] [CAV 2011] Call for Workshop Submissions   Neha Rungta
• [clean-list] CfP: Workshop of the 2nd SICSA MultiCore Challenge (n-body problem)   Hans-Wolfgang Loidl
• [clean-list] ASPOCP 2011 Call For Papers   aspocp11 at easychair.org
• [clean-list] Second CFP - Int. Workshop on Automated Specification and Verification of Web Systems   Laura Kovacs
• [clean-list] CFP: ICTSS-11 in Paris   Burkhart Wolff
• [clean-list] CFP: Exploiting Concurrency Efficiently and Correctly -- (EC)^2   Azadeh Farzan
• [clean-list] Call for Papers : ICTSS-11 in Paris   zaidi fatiha
• [clean-list] [fm-announcements] VVPS'11 CFP - deadline extension: March 25   Havelund, Klaus (318M)
• [clean-list] Privacy, Security, Trust (PST 2011) - Call for Papers (EXTENDED Deadline: April 3, 2011)   Serguei A. Mokhov on behalf of PST-11
• [clean-list] SLE 2011 - Final Call for Papers   João Fernandes
• [clean-list] RDP 2011: Call for Participation   Masahiko Sakai (RTA publicity chair)
• [clean-list] Queries for introduction to Clean's language and environment   Mikael
  • [clean-list] Queries for introduction to Clean's language and environment   Mikael
  • [clean-list] Queries for introduction to Clean's language and environment   Bas Lijnse
    • [clean-list] Queries for introduction to Clean's language and environment   Mikael
      • [clean-list] Queries for introduction to Clean's language and environment   John van Groningen
• [clean-list] SPIN 2011 Call For Papers   Madan Musuvathi
• [clean-list] Last CFP with Deadline Extension - Int. Workshop on Automated Specification and Verification of Web Systems   Laura Kovacs
• [clean-list] CFP: SBMF 2011 - 14th Brazilian Symposium on Formal Methods   SMBF 2011
• [clean-list] Call For Papers: Extended Deadline: April 10, 2011 - WORLDCOMP 2011 (July 18-21, 2011, USA)   Applied Computing
• [clean-list] final call for papers (deadline near!), call for participation TFP2011   Peter Achten
• [clean-list] [fm-announcements] NFM 2011 - call for participation   Havelund, Klaus (318M)
  • [clean-list] [fm-announcements] RV 2011 - call for papers + tutorial and tool demo proposals   Havelund, Klaus (318M)
• [clean-list] [fm-announcements] RV 2011 - 2nd Call for Papers and Tutorials   Havelund, Klaus (318M)
• [clean-list] ICSEng 2011: Paper submission due date extended to April 15, 2011   ICSEng at unlv.edu
• [clean-list] CALL FOR PAPERS: SPIN 2011 ** EXTENDED DEADLINE APRIL 15 **   Madan Musuvathi
• [clean-list] FroCoS 2011: Call for Papers   Viorica Sofronie-Stokkermans
• [clean-list] LASER summer school: Second call for participation   Nadia Polikarpova
• [clean-list] 3rd and final CFPs: SARA'11, submission deadline April 15   Miroslav Velev
• [clean-list] Error [StdTime.dcl, 11]: ostick.dcl could not be imported   Lee Ho Yeung
  • [clean-list] Error [StdTime.dcl, 11]: ostick.dcl could not be imported   Lee Ho Yeung
• [clean-list] How to show test result and change number of test   Lee Ho Yeung
  • [clean-list] How to show test result and change number of test   Pieter Koopman
• [clean-list] PhD Program: Call for applications   Bertram Fronhöfer
• [clean-list] CFP -- Haskell Symposium 2011   Haskell Symposium
• [clean-list] Call for Contributions - Haskell Communities and Activities Report, May 2011 edition   Janis Voigtländer
• [clean-list] CFP: SBMF 2011 - 14th Brazilian Symposium on Formal Methods   SMBF 2011
• [clean-list] TIME'11: CFP   Martin Leucker
• [clean-list] Alternate iTasks Client   Eric Jones
  • [clean-list] Alternate iTasks Client   Bas Lijnse
• [clean-list] CfP: TIME'11 - EXTENDED DEADLINE   Martin Leucker
• [clean-list] FroCoS 2011: Last Call for Papers   Viorica Sofronie-Stokkermans
• [clean-list] Formal Methods in Computer Aided Design 2011 -- Second CFP   David L. Rager
• [clean-list] DIFTS'11: 2nd Call For Papers   Malay Ganai
• [clean-list] Another(!) PhD Position at Strathclyde   Conor McBride
• [clean-list] ASPOCP 2011: DEADLINE EXTENDED to May 6   aspocp11 at easychair.org
• [clean-list] RDP 2011 - Second Call for Participation   Luca Paolini
• [clean-list] 2nd CFP: ACM SIGPLAN 7th Workshop on Generic Programming (WGP 2011)   cmlrdg at yahoo.com.tw
• [clean-list] Call for Doctoral Consortium at ICLP 2011 - deadline extended 26th April   Alessandro Dal Palu
• [clean-list] CFP: ICTSS-11 in Paris   zaidi fatiha
• [clean-list] Compiler process does not terminate after an error.   Ferreira Maurizio
  • [clean-list] Compiler process does not terminate after an error.   John van Groningen
• [clean-list] [CAV 2011] Call for Workshop Submissions   Neha Rungta
• [clean-list] FroCoS 2011: Deadline extension   Viorica Sofronie-Stokkermans
• [clean-list] 2nd CFP: ACM SIGPLAN 7th Workshop on Generic Programming (WGP 2011)   linisac at iis.sinica.edu.tw
• [clean-list] 2011 Curriculum Best Practices Award - DEADLINE MAY 1st!   Cristina Pereira
• [clean-list] REMINDER: Haskell Communities and Activities Report, May 2011 edition   Janis Voigtländer
• [clean-list] [Lpmas] Call for Papers -- LPMAS   Son Cao Tran
• [clean-list] Books/learning material on Clean for a beginner?   Peter Achten
• [clean-list] Help Please: Beginner to Clean.. Console I/O   Khurram Khan
  • [clean-list] Help Please: Beginner to Clean.. Console I/O   RT Happe
• [clean-list] Help Please: Beginner to Clean.. Console I/O‏   Khurram Khan
• [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
  • [clean-list] Help Please: Beginner to Clean.. Console I/O   Peter Achten
    • [clean-list] Help Please: Beginner to Clean.. Console I/O   Khurram Khan
• [clean-list] [Lpmas] COLA at EPIA 2011 - Last Call for Papers   Paulo Moura
• [clean-list] Help Please: Beginner to Clean.. Console I/O   RT Happe
  • [clean-list] Help Please: Beginner to Clean.. Console I/O   Khurram Khan
    • [clean-list] Help Please: Beginner to Clean.. Console I/O   Jerzy Karczmarczuk
    • [clean-list] Help Please: Beginner to Clean.. Console I/O   RT Happe
• [clean-list] Help Please: Beginner to Clean.. Console I/O   Isaac Gouy
• [clean-list] 2nd CFP: ACM SIGPLAN 7th Workshop on Generic Programming (WGP 2011)   linisac at iis.sinica.edu.tw
• [clean-list] CFP ICTSS 2011 (formely TESTCOM/FATES) - Deadline extension   zaidi fatiha
• [clean-list] Help Please: Beginner to Clean.. Console I/O   Isaac Gouy
• [clean-list] Formal Methods in Computer Aided Design 2011 -- Final CFP   David L. Rager
• [clean-list] I cannot use pst.ls   Ferreira Maurizio
  • [clean-list] I cannot use pst.ls   Peter Achten
    • [clean-list] R: I cannot use pst.ls   Ferreira Maurizio
• [clean-list] Subject: An update on ICFP'11 in Tokyo (September 18-24, 2011)   Wouter Swierstra
• [clean-list] European Master's Program in Computational Logic   Bertram Fronhöfer
• [clean-list] 1st CFP: LoCoCo 2010 (Logics for Component Configuration)   Ralf Treinen
• [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
  • [clean-list] How can I select/unselect a custom control ?   John van Groningen
  • [clean-list] How can I select/unselect a custom control ?   Peter Achten
• [clean-list] SDI bugs   luciano.vieira.lima at terra.com.br
• [clean-list] SDI bugs   luciano.vieira.lima at terra.com.br
  • [clean-list] SDI bugs   Peter Achten
• [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] DIFTS'11: 3rd and Final Call For Papers ***Submission site is now open***   Malay Ganai
• [clean-list] 2nd CFP -- Haskell Symposium 2011   Haskell Symposium
• [clean-list] [fm-announcements] RV 2011 final CfP -- paper deadline extension: June 12, 2011   Havelund, Klaus (318M)
• [clean-list] SBMF 2011 - Deadline Extended to June 12 (Abstract should be registered until June 05)   SMBF 2011
• [clean-list] DIFTS'11: Call For Papers ***Abstract submission deadline extension: June 13***   Malay Ganai
• [clean-list] CADE 23: Call for participation   carsten
• [clean-list] TOOLS'11 in Zurich: Call for Participation   H.-Christian Estler
• [clean-list] [TIIS Journal] Speical Issue-Machine 2 Machine   cinfon
• [clean-list] [TIIS Journal] Speical Issue-Machine 2 Machine   cinfon
• [clean-list] CFP: Special Issue on Multimedia P2P Networking: Protocols, Solutions and Future Directions   cinfon
• [clean-list] HLDVT 2011: 2 days to abstract submission deadline   Shireesh Verma
• [clean-list] [Lpmas] INAP/WLP 2011: Second Call for Papers   Hans Tompits
• [clean-list] [TIIS Journal] Speical Issue-Machine 2 Machine   cinfon
• [clean-list] CFP: Special Issue on Multimedia P2P Networking: Protocols, Solutions and Future Directions   cinfon
• [clean-list] [AlMoDEP] CfP - 1st International Workshop on Algorithms and Models for Distributed Event Processing   AlMoDEP workshop publicity
• [clean-list] [TIIS Journal] Speical Issue-Machine 2 Machine   cinfon
• [clean-list] a question   luciano.vieira.lima at terra.com.br
  • [clean-list] a question   John van Groningen
• [clean-list] PADL'12 Call for Papers   Ricardo Rocha
• [clean-list] CFP: PADL'12 - Practical Aspects of Declarative Languages 2012   Claudio Russo
• [clean-list] CFP:: ICIEIS2011- Malaysia: Published by Springer   The International Conference on Informatics Engineering & Information Science
• [clean-list] AiML 2012 early call for papers   Silvio Ghilardi
• [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] RTA 2012: Call for Workshop Proposals   Masahiko Sakai
• [clean-list] Last CFP:: ICIEIS2011- Malaysia: Published by Springer   The International Conference on Informatics Engineering & Information Science
• [clean-list] CSL call for participation   Geoff Sutcliffe
• [clean-list] ICFP 2011: Call for participation   Wouter Swierstra
• [clean-list] [VMCAI2012] VMCAI 2012 CALL FOR PAPERS   Andrey Rybalchenko
• [clean-list] Last 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] Extended CFP:: ICIEIS2011- Malaysia: Published by Springer   The International Conference on Informatics Engineering & Information Science
• [clean-list] Your DHL id. 7765066   Clean
• [clean-list] Second CFP: PADL'12 - Practical Aspects of Declarative Languages 2012   Claudio Russo
• [clean-list] CFP: 23rd Symposium on Implementation and Application of Functional Languages (IFL 2011)   Pieter Koopman
• [clean-list] FroCoS 2011: Call for Participation   Viorica Sofronie-Stokkermans
• [clean-list] [fm-announcements] RV'11 San Francisco - Call for Participation   Havelund, Klaus (318M)
• [clean-list] CfP: ACHI 2012 || January 30 - February 4, 2012 - Valencia, Spain   Alejandro Canovas
• [clean-list] [isaim2008] ISAIM 2012 - Call for Papers   Prof. Martin Charles Golumbic
• [clean-list] Extended Deadline: CFP 2011 Symposium on Implementation and Application of Functional Languages   Pieter Koopman
• [clean-list] PADL'12 Second CFP   Neng-Fa Zhou
• [clean-list] Post Doc Positions Available   Marco Roveri
• [clean-list] [TIIS Journal] Speical Issue-Machine 2 Machine (Extended)   cinfon
• [clean-list] Formal Methods in Computer Aided Design 2011 -- Call for Participation   David L. Rager
• [clean-list] Final CFP: PADL'12 - Practical Aspects of Declarative Languages 2012   Claudio Russo
• [clean-list] RuleML2011 at BRF Challenge - Paper and demo submission deadline extension   The RuleML2011 at BRF Challenge Chairs
• [clean-list] I shaved my pussy for you. Want to see?   Clean
• [clean-list] CFP: Programming Languages meets Program Verification (PLPV 2012)   PLPV 2012
• [clean-list] Mathematics of Program Construction - first call for papers   Jeremy.Gibbons at comlab.ox.ac.uk
• [clean-list] Call for Papers - First International Workshop on Bidirectional Transformations   Janis Voigtländer
• [clean-list] DIFTS11: Call for Participation   Malay Ganai
• [clean-list] First CfP: International Conference on Test and Proofs (TAP 2012), Next Deadline: 2011-12-14   Achim D. Brucker
• [clean-list] 1st cfp: Automated Reasoning and Mathematics: Essays in Memory of William McCune   Maria Paola Bonacina
• [clean-list] Call for Proposals for Workshops, Formal Methods 2012   Tayssir Touili
• [clean-list] LPAR-18 Venezuela- Call for Papers   Geoff Sutcliffe
• [clean-list] [fm-announcements] NFM 2012 Call For Papers   PERSON, SUZETTE (LARC-D320)
• [clean-list] WRLA 2012: Call for papers   Francisco Durán
• [clean-list] Haskell Job Opportunity at Sensor Sense   Bas van Dijk
• [clean-list] RTA 2012: First Call For Papers   Georg
• [clean-list] 2nd CFP: Programming Languages meets Program Verification (PLPV 2012)   PLPV 2012
• [clean-list] Call for Contributions - Haskell Communities and Activities Report, November 2011 edition   Janis Voigtländer
• [clean-list] ISMM 2012 Call for Papers   Martin Vechev
• [clean-list] FSFLA 2011: call for participation   "Carlos Martín Vide"
• [clean-list] Call for Papers - First International Workshop on Bidirectional Transformations   Janis Voigtländer
• [clean-list] SAT 2012: Call for Papers   Roberto Sebastiani
• [clean-list] WST 2012: First Call For Papers   Georg Moser
• [clean-list] distribution of 1 random number sequence throughout program   Groenouwe, C.
  • [clean-list] distribution of 1 random number sequence throughout program   Pieter Koopman
    • [clean-list] distribution of 1 random number sequence throughout program   Groenouwe, C.
• [clean-list] PhD and Postdoc positions at ETH Zurich   Martin Vechev
• [clean-list] Second CfP: International Conference on Test and Proofs (TAP 2012), Next Deadline: 2011-12-14   Achim D. Brucker
• [clean-list] Dynamic typing for communication with non-clean programs   Groenouwe, C.
  • [clean-list] Dynamic typing for communication with non-cleanprograms   zuurb078 at planet.nl
    • [clean-list] Dynamic typing for communication with non-cleanprograms   Bas Lijnse
      • [clean-list] Dynamic typing for communication with non-cleanprograms   Pieter Koopman
      • [clean-list] Dynamic typing for communication with non-cleanprograms   Groenouwe, C.
      • [clean-list] Dynamic typing for communication with non-cleanprograms   Groenouwe, C.
      • [clean-list] Dynamic typing for communication with non-cleanprograms   Bas Lijnse
      • [clean-list] Dynamic typing for communication with non-cleanprograms   Groenouwe, C.
• [clean-list] PADL 2012 Call for Participation   Claudio Russo
• [clean-list] CFP:Wiley's IJCS Journal Special Issue on Recent Issues in Wireless Sensor Networks   cinfon
• [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] Call For Papers: Wodet-3 - Third Workshop on Determinism and Correctness in Parallel Programming   Emery Berger
• [clean-list] ANNOUNCE: Haskell Communities and Activities Report (21st ed., November 2011)   Janis Voigtländer
• [clean-list] How to define subgraph with type signature?   Vag Vagoff
  • [clean-list] How to define subgraph with type signature?   John van Groningen
• [clean-list] WST 2012: Second Call For Papers   Georg Moser
• [clean-list] Announcement: 2nd International SAT/SMT Summer School   Alberto Griggio
• [clean-list] RTA 2012: Second Call For Papers   Georg Moser
• [clean-list] Call for papers - 28th International Conference on Logic Programming (ICLP 2012)   Gergely Lukacsy (glukacsy)
• [clean-list] Data intensive programming and Clean   Groenouwe, C.
  • [clean-list] Data intensive programming and Clean   Dmitry Popov
    • [clean-list] Data intensive programming and Clean   rinus plasmeijer
  • [clean-list] Data intensive programming and Clean   Guillaume Yziquel
  • [clean-list] Data intensive programming and Clean   Isaac Gouy
  • [clean-list] Data intensive programming and Clean   Richard O'Keefe
  • [clean-list] Data intensive programming and Clean   Pieter Koopman
• [clean-list] Fwd: [Fp-nl] Dutch national FP day, January 6, Utrecht   Pieter Koopman
• [clean-list] PADL 2012 Final Call for Participation   Claudio Russo
• [clean-list] Clean 2.4 available for Windows, Linux and Mac OS X   John van Groningen
• [clean-list] First CFP: SAS 2012 - 19th International Static Analysis Symposium, Deauville, France   Antoine Mine
• [clean-list] Final Call For Papers RTA 2012   Georg Moser

Last message date: Thu Dec 29 22:55:50 MET 2011
Archived on: Thu Dec 29 22:57:17 MET 2011

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