[Haskell] Assistant/Associate professor role at Radboud University

# Assistant or Associate Professor of Software Technology Do you want to work in our programming languages and compiler group, to help create next generation programming languages? Then apply to be an Assistant or Associate Professor of Software Technology. The Software Science department is lo

[Haskell] Two PhD positions in Utrecht

positions in Functional Programming. The candidates will join the Intelligent Systems group, working with Johan Jeuring, Gabriele Keller, and Wouter Swierstra. Besides research, the successful candidate will be expected to help supervise MSc students and assist in the teaching of courses. The positions

[Haskell] Call for participation: Utrecht AFP Summer School

evaluation; * generalized algebraic data types; * type families and type-level programming; * concurrency and parallelism. The summer school consists of a mix of lectures, labs, and a busy social program. ## Lecturers Utrecht staff: * Gabriele Keller * Trevor McDonell * Wouter Swierstra

[Haskell] Sad news

Dear all, With a heavy heart, I would like to inform you that Doaitse Swierstra passed away last week. After a period of illness over the last half year, he had an unfortunate fall at home that ultimately proved to be fatal. Doaitse was a remarkable character and a passionate advocate for functio

[Haskell] 6 Assistant professor positions at the University of Utrecht

The department of Information and Computing Sciences of Utrecht University is looking for: 6 talented Assistant Professors in Information and Computing Sciences (Tenure Track 0.8 - 1.0 FTE) (Female/Male), including one Westerdijk fellowship (Female) We have a strong tradition of research

[Haskell] Call for participation: Utrecht Summer School

* Doaitse Swierstra * Wouter Swierstra Guest lectures: * Simon Marlow (Concurrency and parallelism) * Luite Stegeman (GHCJS) ## PREREQUISITES We expect students to have a basic familiarity with Haskell already. You should be able to write recursive functions over algebraic data types, such as

[Haskell] PhD position in computational music structure analysis using functional programming

le of your technical writing skills. Application closes on September 7th. You can apply through the University's website: http://bit.ly/2abk3pe --- Contact --- For further information you can direct your inquiries to: Wouter Swierstra e-mail: w.s.swiers...@uu.nl.

[Haskell] CFP: Workshop on Type-driven Development (TyDe '16)

ation, calculation, or construction of programs. # Program Committee - James Chapman, University of Strathclyde (co-chair) - Wouter Swierstra, University of Utrecht (co-chair) - David Christiansen, Indiana University - Pierre-Evariste Dagand, LIP6 - Richard Eisenberg, University of Pennsyl

[Haskell] CFP: Workshop on Type-driven Development (TyDe '16)

typed programs; - tools, IDEs, or testing tools exploiting type information; - pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. # Program Committee - James Chapman, University of Strathclyde (co-chair) - Wouter Swie

[Haskell] JFP Issue on Dependently typed programming: second call for papers

- CALL FOR PAPERS JFP Special Issue on Dependently typed Programming Submission Deadline: January 11th,

[Haskell] CFP: Special issue of JFP on dependently typed programming

- Peter Dybjer pet...@chalmers.se Chalmers University of Technology Sweden Wouter Swierstra w.s.swiers...@uu.nl Universiteit Utrecht The Netherlands - ___ Haskell maili

[Haskell] Haskell Symposium – Call for participation

travel and accommodation): http://www.icfpconference.org/icfp2014/local.html I hope to see you in Gothenburg! Wouter Swierstra Haskell 2014 Program Chair ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo

[Haskell] Haskell Symposium: abstract submission

paper; it just might not be today. All the best, Wouter Swierstra Haskell Symposium PC chair ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Haskell Symposium: Second call for papers

stitute of Cybernetics, Tallinn University of Technology Bruno Oliveira - University of Hong Kong Lee Pike - Galois Josef Svenningsson - Chalmers University of Technology Wouter Swierstra - University of Utrecht (chair) Simon Thompson - University of Kent ___

[Haskell] PhD Position in dependent types, testing & hardware design

ng skills. Application closes on the May 30th, 2014. You can apply through the University's website: http://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/Vacancy.cfm?PortalID=4124&VacatureID=654004 --- Contact --- For further information you can direct your inq

[Haskell] Haskell Symposium 2014: Call for papers

Cybernetics, Tallinn University of Technology Bruno Oliveira - University of Hong Kong Lee Pike - Galois Josef Svenningsson - Chalmers University of Technology Wouter Swierstra - University of Utrecht (chair) Simon Thompson - University of Kent ___

[Haskell] ICFP 2012: Second call for participation

of St. Andrews * Publicity Chair: Wouter Swierstra, Utrecht University * Video Chair: Malcolm Wallace, Standard Chartered Bank * Student Research Competition Chair: Doaitse Swierstra, Utrecht Unive

[Haskell] ICFP 2012: Second call for participation

of St. Andrews * Publicity Chair: Wouter Swierstra, Utrecht University * Video Chair: Malcolm Wallace, Standard Chartered Bank * Student Research Competition Chair: Doaitse Swierstra, Utrecht Unive

[Haskell] ICFP 2012: Call for participation

mmond, University of St. Andrews * Publicity Chair: Wouter Swierstra, Utrecht University * Video Chair: Malcolm Wallace, Standard Chartered Bank * Student Research Competition Chair: Doaitse Swierstra, Utrecht Unive

[Haskell] ICFP Student Research Competition

= Student Research Competition Associated with the The 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012) and

[Haskell] ICFP 2012 Call for papers

= ICFP 2012: International Conference on Functional Programming Copenhagen, Denmark, September 9 - 15, 2012 http://www.icfpconference.org/icfp2012 = Import

[Haskell] ICFP 2012: Call for workshops and co-located events

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2012 17th ACM SIGPLAN International Conference on Functional Programming September 9 - 15, 2012 Copenhagen, Denmark http://icfpconference.org/icf

[Haskell] ICFP 2011: Call for participation

atics * Workshop Co-Chairs: Gabriele Keller, University of New South Wales Derek Dreyer, MPI-SWS * Programming Contest Chair: Eijiro Sumii, Tohoku University * Publicity Chair: Wouter Swierstra, Radboud Universiteit Nij

[Haskell] Call for participation: DTP 2011

ecursion" Kai Trojahner, "Qube: Array Programming with Dependent Types" Cezar Ionescu, "Dependently-typed Programming in Economic Modelling" See you in Nijmegen, Ana Bove, Chalmers, Sweden Matthieu Sozeau, INRIA, France Wouter Swierstra, Radboud University, The Netherlands _

[Haskell] DTP 2011: Second call for talks

e 25 June 2011: Notification of acceptance 27 August 2011: DTP workshop * Program Committee * Ana Bove, Chalmers, Sweden Matthieu Sozeau, INRIA, France Wouter Swierstra, Radboud University, The Netherlands ___ Haskell mailing list Haskell@haskel

[Haskell] An update on ICFP'11 in Tokyo (September 18-24, 2011)

Given the fairly recent severe earthquake and tsunami in Japan, you may wonder how this affects the preparations for ICFP'11 in Tokyo. Luckily, Tokyo was significantly less affected by these saddening events than the regions further north. In fact, the situation in Tokyo is almost back to normal,

[Haskell] Call for papers DTP'11

ssion deadline 25 June 2011: Notification of acceptance 27 August 2911: DTP workshop * Program Committee * Ana Bove, Chalmers, Sweden Matthieu Sozeau, INRIA, France Wouter Swierstra, Radboud University, The Netherlands ___ Haskell mailing list Ha

[Haskell] ICFP 2011 Deadline Extension

thoughts go out to the victims of this tragedy. Wouter Swierstra ICFP Publicity Chair ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] ICFP 2011: Second Call for Papers

= Second Call for Papers ICFP 2011: International Conference on Functional Programming Tokyo, Japan, Monday 19 -- Wednesday 21 September 2011 http://www.icfpconference.org/icfp2011

[Haskell] ICFP 2011: Call for papers

= Call for Papers ICFP 2011: International Conference on Functional Programming Tokyo, Japan, Monday 19 -- Wednesday 21 September 2011 http://www.icfpconference.org/icfp2011 ===

[Haskell] ICFP 2011: Call for Workshop Proposals

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2011 16th ACM SIGPLAN International Conference on Functional Programming September 19 - 21, 2011 Tokyo, Japan http://www.icfpconference.org/i

[Haskell] PLPV 2011: Call for papers

thews (Galois Inc.) James McKinna (Radboud University) Stefan Monnier(Université de Montréal) Greg Morrisett(Harvard University) Christine Paulin-Mohring (Université Paris-Sud) Wouter Swierstra (Radboud University Nijmegen , co-chair) T

[Haskell] ICFP '10: Final call for participation

itute for Software Systems Christopher Stone, Harvey Mudd College * Programming Contest Chair: Johannes Waldmann, Hochschule für Technik, Wirtschaft und Kultur, Leipzig * Video Chair: Scott Smith, Johns Hopkins University * Publicity Chair: Wouter Swierstra, Vector Fa

Re: [Haskell] ICFP 2010: Call for participation

> In 2007, 2008, and 2009 the fees have been shown on the entry site to the > registration process. This year, the fees are not shown in the online form > before entering personal details (but they are shown on the PDF form.) Very well. I've added an additional link to the PDF from the main ICFP p

Re: [Haskell] ICFP 2010: Call for participation

Hi Sebastian, cc-Haskell, > 1. The early registration deadline is August 30th, that is, one day before > the special rate hotel booking deadline. You can see this (only?) after > starting the registration process. I've added a link to make this more clear from the main ICFP 2010 page. Thanks f

Re: [Haskell] ICFP 2010: Call for participation

>>  * September 25: >>      Workshop on Mechanizing Metatheory (WMM) >>      Workshop on High-Level Parallel Programming and Applications (HLPP) > > Hmm, what happened to MSFP? http://cs.ioc.ee/msfp/msfp2010/index2.html ? Of course, there's also the ACM SIGPLAN Workshop on Mathematically Structure

[Haskell] ICFP 2010: Call for participation

lanck Institute for Software Systems Christopher Stone, Harvey Mudd College * Programming Contest Chair: Johannes Waldmann, Hochschule für Technik, Wirtschaft und Kultur, Leipzig * Video Chair: Scott Smith, Johns Hopkins University * Publicity Chair: Wouter Swierstra, V

[Haskell] ICFP Programming Contest

This year's ICFP Programming Contest will begin on June 18th (12:00 Noon GMT) and will run till June 21st (12:00 Noon GMT). As in the previous editions, this is your chance to show that your favorite programming language is better than all others! The problem statement and further information will

[Haskell] ICFP 2010 deadline

On behalf of Stephanie Weirich, this year's PC Chair, I would like to emphasize that the deadline for ICFP this year is at *14:00 UTC*. You may want to double check what time this is using the following link: http://www.timeanddate.com/worldclock/fixedtime.html?day=2&month=4&year=2010&hour=14&m

[Haskell] ICFP 2010: Final Call for Papers

= Final Call for Papers ICFP 2010: International Conference on Functional Programming Baltimore, Maryland, 27 -- 29 September 2010 http://www.icfpconference.org/icfp2010

[Haskell] ICFP 2010: Second call for papers

= Second Call for Papers ICFP 2010: International Conference on Functional Programming Baltimore, Maryland, 27 -- 29 September 2010 http://www.icfpconference.org/icfp2010 ===

[Haskell] ICFP '10: Second call for workshop proposals

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2010 15th ACM SIGPLAN International Conference on Functional Programming September 27 - 29, 2010 Baltimore, Maryland http://www.icfpconference.org/icfp2010

[Haskell] ICFP 2010: Call for papers

= Call for Papers ICFP 2010: International Conference on Functional Programming Baltimore, Maryland, 27 -- 29 September 2010 http://www.icfpconference.org/icfp2010 ==

[Haskell] ICFP videos now available

I am happy to announce that videos of all talks at ICFP and some of the associated workshops this year have made available online: http://www.vimeo.com/user2191865/albums I'm sure you'll join me in thanking Malcolm Wallace for the time and effort he put into making this possible. Thank you Malc

[Haskell] New TMR editor

Dear all, After several years at the helm, I've decided to step down as editor of the Monad.Reader. I am happy to announce that Brent Yorgey will take over my role as editor. I'd like to take this opportunity to thank Brent for helping to keep the Monad.Reader alive. I'm sure he'll do a f

[Haskell] ANN: The Monad.Reader - Issue 14

Dear all, I am pleased to announce that a new issue of The Monad.Reader is now available: http://themonadreader.wordpress.com/ Issue 14 consists of the following three articles: * Fun with Morse Code by Heinrich Apfelmus * Hieroglyph 2: Purely Functional Information Graphics Revisi

[Haskell] The Monad.Reader (14) - Call for copy

Call for Copy The Monad.Reader - Issue 14 Please consider writing something for the next issue of The Monad.Reader. The deadline for Issue 14 is: ** May 15, 2009 ** The Monad.Reader is a electronic magazine about all things Haskell

[Haskell] ANN: The Monad.Reader (13)

I am pleased to announce that a new issue of The Monad.Reader is now available: http://www.haskell.org/haskellwiki/The_Monad.Reader The Monad.Reader is a quarterly magazine about functional programming. Issue 13 consists of the following four articles: * Stephen Hicks Rapid Prototyp

[Haskell] The Monad.Reader (13) - Call for copy

Call for Copy The Monad.Reader - Issue 13 Please consider writing an article for the next issue of the Monad.Reader. The deadline for the next issue is: ** February 13, 2009 ** * Submission Details * Get in touch with me if you inte

[Haskell] The Monad.Reader - Issue 12: SoC Special

I am pleased to announce that a new issue of The Monad.Reader is now available: http://www.haskell.org/haskellwiki/The_Monad.Reader Issue 12 is another Summer of Code special and consists of the following three articles: * Max Bolingbroke Compiler Development Made Easy * Roman C

[Haskell] The Monad.Reader (13) - Call for copy

Call for Copy The Monad.Reader - Issue 13 You may want to pencil in the deadline for the next Monad.Reader: ** February 13, 2009 ** And in case you missed it, Issue 11 was released a few weeks ago with the following three articles: *

[Haskell] ANN: The Monad.Reader - Issue 11

I am pleased to announce that a new issue of The Monad.Reader is now available: http://www.haskell.org/haskellwiki/The_Monad.Reader Issue 11 consists of the following three articles: * David F. Place How to Refold a Map * Kenneth Knowles First-Order Logic a la Carte * Do

[Haskell] CFP: PLPV 2009

Dear all, I'd like to encourage you to submit something to "Programming Languages meet Program Verification". The PC would love to see examples of verified Haskell programs and innovative uses of Haskell's type system. Wouter Call For Papers Programmin

[Haskell] The Monad.Reader (11) - Call for Copy

Call for Copy The Monad.Reader - Issue 11 The summer's bound to be a washout; the submission deadline for the Haskell Symposium has passed; Wimbledon's finished. But it's not too late to start writing something for the next issue of Th

[Haskell] CFP - Special Issue of Fundamenta Informaticae on Dependently Typed Programming

After our workshop in Nottingham, are happy to announce a special issue of Fundamenta Informaticae on Dependently Typed Programming. We would like to welcome submissions from the Haskell community on type- directed programming, generic programming, programming with GADTs, and advanced type

[Haskell] The Monad.Reader (11) - Call for Copy

Call for Copy The Monad.Reader - Issue 11 Please consider writing something for the next issue of The Monad.Reader. The deadline for Issue 11 is ** August 1, 2008 ** It doesn't matter if you're a respected researcher or if you have o

[Haskell] ANN: The Monad.Reader Issue 10

I am pleased to announce that a new issue of The Monad.Reader is now available: http://www.haskell.org/haskellwiki/The_Monad.Reader Issue 10 consists of the following two articles: * Bernie Pope Step inside the GHCi debugger * Matthew Naylor Evaluating Haskell in Haskel

[Haskell] ANN: IOSpec 0.2

I'm pleased to announce the latest version of the IOSpec library. The IOSpec library contains a pure specification of several functions in the IO monad. You can use these specifications to test, debug, and reason about impure code. You can find more information, examples, and documentation

[Haskell] The Monad.Reader (10) - Second call for copy

Call for Copy The Monad.Reader - Issue 10 It is not too late to consider writing something for the next issue of The Monad.Reader. The deadline for Issue 10 is ** January 25, 2007 ** It doesn't matter if you're an established academi

[Haskell] The Monad.Reader - Call for Copy

Call for Copy The Monad.Reader - Issue 10 I would like to welcome articles for the anniversary issue of The Monad.Reader. * The Monad.Reader * The Monad.Reader is an electronic magazine about all things Haskell. It is less-formal tha

[Haskell] ANN: The Monad.Reader Issue 9: SoC special

I am pleased to announce that a new issue of The Monad.Reader is now available: http://www.haskell.org/haskellwiki/The_Monad.Reader Issue 9 is a "Summer of Code Special" - it consists of three articles from student participants of Google's Summer of Code, describing the projects they

[Haskell] ANN: The Monad.Reader - Issue 8

I am pleased to announce that the latest issue of The Monad.Reader is now available: http://www.haskell.org/haskellwiki/The_Monad.Reader Issue 8 consists of the following two articles: * Brent Yorgey Generating Multiset Partitions * Conrad Parker Type-Level Instant Insanity

[Haskell] The Monad.Reader (8) - Extended Deadline

Call for Copy The Monad.Reader - Issue 8 I would like to welcome articles for the next issue of The Monad.Reader. Due to a lack of submissions, I have extended the deadline for the next issue to ** September

[Haskell] The Monad.Reader (8) - Second Call for Copy

Call for Copy The Monad.Reader - Issue 8 It is not too late to consider writing something for the next issue of The Monad.Reader. The deadline for Issue 8 is ** July 27, 2007 ** It doesn't matter if you're an established academic or

Re: [Haskell] new keywords in lhs2TeX

On 7 Jun 2007, at 02:50, Wolfgang Jeltsch wrote: is there a way to declare certain non-standard Haskell keywords as keywords in lhs2TeX so that they get formatted like keywords? You may want to check pages 29-30 of the lhs2TeX manual. It does coves something similar for UUAG and Generic Ha

[Haskell] ANN: Foreign.AppleScript version 0.1

* Foreign.AppleScript * version 0.1 I'd like to announce the first public release of Foreign.AppleScript, a library for compiling and executing AppleScript from Haskell. AppleScript is a scripting language available on all modern Apple c

[Haskell] The Monad.Reader - Call for copy

Call for Copy The Monad.Reader - Issue 8 I would like to welcome articles for the next issue of The Monad.Reader. * The Monad.Reader * The Monad.Reader is a electronic magazine about all things Haskell. It is less-formal than journal,

[Haskell] ANN: The Monad.Reader - Issue7

I am pleased to announce that the latest issue of The Monad.Reader is now available: http://www.haskell.org/haskellwiki/The_Monad.Reader Issue 7 consists of the following four articles: * Matthew Naylor A Recipe for controlling Lego using Lava * Yaron Minsky Caml Trading: Experienc

[Haskell] ANN: IOSpec 0.1

* If you're an ICFP referee, you may want to avoid reading any further* Test.IOSpec Version 1.0 I'm pleased to announce the first release of the Test.IOSpec library, that provides a pure specification of some functions in the IO monad. This may be of interest t

[Haskell] The Monad.Reader - Call for copy

Call for Copy The Monad.Reader - Issue 7 I would like to welcome articles for the next issue of The Monad.Reader. * The Monad.Reader * There are a large number of conferences and journals that accept research papers related to Haskell;

[Haskell] ANNOUNCE: The Monad.Reader - Issue 6

Dear all, I pleased to announce that the latest issue of The Monad.Reader is now available: http://www.haskell.org/haskellwiki/The_Monad.Reader Issue 6 consists of the following three articles: * Bernie Pope - Getting a Fix from the Right Fold * Dan Piponi - Adventures in Classical-Land *

[Haskell] The Monad.Reader call for copy

It's still not too late to write something for the next issue of The Monad.Reader! We have a nice issue slowly shaping up, but your contribution is still very welcome. * The Monad.Reader * There are a large number of conferences and journals that accept research papers related to Haskell

[Haskell] The Monad.Reader - Call for Copy

ort something out. Looking forward to your submission, Wouter Swierstra This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the

[Haskell] TYPES 06: Call for papers

TYPES 2006 Main Conference of the Types Project Nottingham, UK, 18-24 April 2006 http://www.cs.nott.ac.uk/types06/ This is the latest meeting in a series that started 1992, the last conference was in December