June 2012 Archives by subject

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

Starting: Fri Jun 1 16:04:30 CEST 2012
Ending: Thu Jun 28 00:33:22 CEST 2012
Messages: 50

• [Haskell] *** Early registration ends June 20 *** CAV 2012: Call for Participation   CAV 2012 CFP
• [Haskell] *** Early Registration Ends Monday 6/25 *** CAV 2012: Call For Participation   CAV 2012 CFP
• [Haskell] *** Early registration extended through June 25 *** CAV 2012: Call for Participation   CAV 2012 CFP
• [Haskell] 4th *OPEN* Answer Set Programming Competition 2013 - New Call for benchmarks   Francesco Calimeri
• [Haskell] 6th International School on Rewriting (ISR 2012) - Early registration (250 euro): June 15!!   Santiago Escobar
• [Haskell] [ANN] GenCheck - a generalized property-based testing framework   Jacques Carette
• [Haskell] [ANN] GenCheck - a generalized property-based testing framework   Jonas Almström Duregård
• [Haskell] ANN: clckwrks - a Haskell blogging and CMS framework   Jeremy Shaw
• [Haskell] ANN: GHC-7.4.2-Eden - Parallel Haskell on multicore and cluster systems   Eden - Functional parallel Programming (Mischa Dieterle)
• [Haskell] ANNOUNCE: dbus 0.10   John Millikin
• [Haskell] ANNOUNCE: GHC version 7.4.2   Paolo Capriotti
• [Haskell] Announce: Haskell Platform 2012.2.0.0   Mark Lentczner
• [Haskell] Announce: Haskell Platform 2012.2.0.0   Matthias Kilian
• [Haskell] Announce: Kansas University Rewrite Engine (KURE) 2.0.0   Neil Sculthorpe
• [Haskell] announce: language-objc   John Lato
• [Haskell] announce: language-objc   Manuel M T Chakravarty
• [Haskell] ANNOUNCE: set-monad   George Giorgidze
• [Haskell] ANNOUNCE: set-monad   Dan Burton
• [Haskell] ANNOUNCE: set-monad   Derek Elkins
• [Haskell] ANNOUNCE: Sifflet visual programming language, release 1.2.5   gdweber at iue.edu
• [Haskell] Call For Papers for HASE 2012   Sanjukta Bhowmick
• [Haskell] Call for Papers: PEPM 2013, Partial Evaluation and Program Manipulation   Shin-Cheng Mu
• [Haskell] Call for Papers: STVR Special Issue on Tests and Proofs   Achim D. Brucker
• [Haskell] Call for Participation - Workshop on Reversible Computation 2012   Janis Voigtländer
• [Haskell] CfP [revised deadline]: IEEE Software Engineering Workshop (SEW-35), Heraclion, Crete, 12-13 October 2012   Huibiao Zhu
• [Haskell] CUFP 2012: only 8 days left to submit your talk proposal   Stefan Wehr
• [Haskell] Final Call for Papers: IEEE Software Engineering Workshop (SEW-35), Heraclion, Crete, 12-13 October 2012   Huibiao Zhu
• [Haskell] FunctionalOWL: FP Usergroup in Germany, area Bielefeld   raichoo
• [Haskell] Haddock problems with Haskell-Platform2012.2.0.0   Katsutoshi Itoh
• [Haskell] HaL7: Haskell-Treffen in Halle/Saale, Freitag 2012-07-13   Janis Voigtländer
• [Haskell] HaL7: Haskell-Treffen in Halle/Saale, Freitag 2012-07-13   Henning Thielemann
• [Haskell] Haskell Implementors' Workshop 2012, Second CFT   Johan Tibell
• [Haskell] Haskell Weekly News: Issue 230   Daniel Santa Cruz
• [Haskell] Haskell Weekly News: Issue 231   Daniel Santa Cruz
• [Haskell] Haskell Weekly News: Issue 232   Daniel Santa Cruz
• [Haskell] Haskell Weekly News: Issue 233   Daniel Santa Cruz
• [Haskell] Hi   Alexander Kantardjiev
• [Haskell] HOPE 2012 (a new workshop co-located with ICFP): Final Call for Talk Proposals   Amal Ahmed
• [Haskell] ICFP Student Research Competition   Wouter Swierstra
• [Haskell] JustHub 'Sherkin' Release   Chris Dornan
• [Haskell] JustHub 'Sherkin' Release   Peter Simons
• [Haskell] JustHub 'Sherkin' Release   Tim Docker
• [Haskell] JustHub 'Sherkin' Release   Chris Dornan
• [Haskell] JustHub 'Sherkin' Release   Peter Simons
• [Haskell] JustHub 'Sherkin' Release   Andres Löh
• [Haskell] JustHub 'Sherkin' Release   Chris Dornan
• [Haskell] Lectureship within the MSP group, Strathclyde   Robert Atkey
• [Haskell] Ph.D. position in computer science at DIKU   Fritz Henglein
• [Haskell] Second CFP: Graph Computation Models (GCM2012)   Rachid Echahed
• [Haskell] WLPE 2012 - Deadline extension   Wim Vanhoof

Last message date: Thu Jun 28 00:33:22 CEST 2012
Archived on: Thu Jun 28 00:34:01 CEST 2012

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