[Haskell] ICFP08 Final Call for posters

2008-06-25 Thread Matthew Fluet (ICFP Publicity Chair)
ICFP 2008 poster session September 21, 2008 Call for presentation proposals ICFP 2008 will feature a poster session for researchers and practitioners, including students. The session will provide friendly feedback for work that is in gestation or ongoing, as well as opportunities to meet each oth

[Haskell] Haskell Weekly News: Issue 74 - June 25, 2008

2008-06-25 Thread Brent Yorgey
--- Haskell Weekly News http://sequence.complete.org/hwn/20080625 Issue 74 - June 25, 2008 --- Welcome to issue 74 of HWN, a newsletter covering

[Haskell] Final CFP: IEEE/WIC/ACM IAT-2008 [DL: July 10]

2008-06-25 Thread WI-IAT'08
[Apologies if you receive this more than once] # IEEE/WIC/ACM Intelligent Agent Technology 2008 CALL FOR PAPERS # 2008 IEEE/WIC/ACM Int

[Haskell] Passing on a job opening

2008-06-25 Thread Janis Voigtlaender
Hi all, I received below job opening. It might be of interest to some people on this list (formal methods, theorem provers, ...). The contact is [EMAIL PROTECTED] Ciao, Janis. www.rockwellcollins.com Quick RC facts: 2007 sales were $4.42 billion and we have 20,000 employees