(RAW) FP work talks

Starting 2011-09-01 the FP group has a "work meeting" slot on

Thursdays from 10-12 in room 8103 (the new room next to the lunch room) booked from 2011-09-08 until 2013-01-01.
- Special case: 2012-08-30 we use the EDIT 6128 room instead.

The idea is for researchers interested in FP to get together and present + work on work in progress. The main theme should be related to the RAWFP project.

Topic wish-list:

Automotive area collaboration, testing (Mary asks Johan Karlsson)
Push-arrays / Obsidian-hacking (Koen, Joel)
Feldspar / syntactic: feedback (Meng Wang, Shayan)

Some notes from theses meetings are available in the ST division git repository (which also contains about 20 other projects) in gitroot/RAWFP/Notes/.

2012 meetings

2012-06-07: Thu 10.00 in 8103 (by the lunch-room)

DSL framework track: JPB wrote: "We should submit comments to Emil by Thursday June 7th latest. Comments will be used to improve the camera-ready version, and as food for thought, seeding the "DSL Framework track". We have already discussed some ideas informally, but we'll have a formal meeting June 7th."

2012-04-26: Thu 13.15: room 5128
2012-04-19: Thu 13.15: EDIT-room
2012-04-12: Thu 13.15: room 5128
2012-04-05: Thu 13.15: EDIT-room
2012-03-29: Thu 13.15: room 5128
2012-03-22: Thu 13.15: room 5128
2012-03-15: Thu 13.15 in the EDIT-room: This week, the RAWFP meeting will include some planning of the multi-project grant proposal writing.
2012-03-08: Thu: Patrik wrote: Today we will spend 10.00-10.30 on a short round of current activity reports (also to help Johan Jeuring [1] get updated on what the group is doing). For the rest of the RAWFP meeting I'd like to start working with Johan (and with JPB and all who want to join) on Algebra of Programming and associative trees (for correctness and parallell implementation of algorithms in different domains).

[1] http://www.staff.science.uu.nl/~jeuri101/homepage/ "From March 1 until August I am on sabbatical at Chalmers University of Technology, visiting Patrik Jansson."

FYI: In the afternoon (from 14.15 in the EDIT-room) there will be a "VR-application-planning" meeting mainly for those involved in writing an application for the early April deadline. In addition to individual grant applications (mainly for funding PhD students) we (most likely with John as PI) should also apply for a continuation of the multi-project-grant FunC [2] ending this year (funding Alejandro, Ann, Jonas). I have called for that meeting (in a separate mail) but I will not "pull at" that process.

Welcome!

  Patrik

[2] http://wiki.portal.chalmers.se/cse/pmwiki.php/FunC/FunC

2012-03-02: Fri
2012-02-24: Fri: (Mary & John away)
2012-02-17: Fri: Second Feldspar hacking session (first was 2011-12-15). Org. by Emil and Anders. Felspar hacking instructions (PJ away, John perhaps away?)
2012-02-10: Fri (PJ away)
2012-02-03: Fri (note also that the Thursday is the RAWFP Ass.Prof. interview day)
2012-01-27: Fri (Mary & John away)
2012-01-20: Fri
2012-01-12: Thu: Decided on a temporary schedule change from 2012-01-19 until 2012-03-02: we meet on Fridays 10-12

These are the affected dates

Thu: 2012-01-19 -> Fri: 2012-01-20
Thu: 2012-01-26 -> Fri: 2012-01-27
Thu: 2012-02-02 -> Fri: 2012-02-03 (note also that the Thursday is the RAWFP Ass.Prof. interview day)
Thu: 2012-02-09 -> Fri: 2012-02-10 (PJ away)
Thu: 2012-02-16 -> Fri: 2012-02-17 (PJ away)
Thu: 2012-02-23 -> Fri: 2012-02-24
Thu: 2012-03-01 -> Fri: 2012-03-02

2011 meetings

2011-12-15: Feldspar hacking session - bring your laptops!
Instructions
2011-12-08: Erik Ström (DSP and Communications algorithm designer from S2): Discussion of his research needs related to analysing cost of algorithms. Related work: the Open Source IT++ library
2011-12-01: Ongoing work of Meng, Shayan, Joel, Moa, Mihał, Koen, Patrik.
2011-11-24
2011-11-17: Koen: Developing a hardware model checker: Liveness checking, and QuickCheck-ing the model checker.
2011-11-10: Johan Nordlander: On the real-time and concurrency context of functional software.
2011-11-03: Michał Pałka: Testing GHC using random simply-typed lambda term generator
2011-10-27: Jonas Duregård: Partitions, enumeration and random testing.
2011-10-20: Feldspar status update: Anders Persson

cabal update
cabal install feldspar-language
cabal install feldspar-compiler
cabal install syntactic

2011-10-13: Automotive applications: Jonn Lantz from Volvo Cars
2011-10-06
2011-09-29
2011-09-22
2011-09-15
2011-09-08
2011-09-01: (exception: in the EDIT room) Koen Claessen will talk about Contracts in Haskell