= ''DIAS2012'' - PaPDAS Workshop on Design and Implementation of Algorithmic Skeletons = In the [http://traclifo.univ-orleans.fr/PaPDAS PaPDAS] project we are interested in providing a framework to ease the development of parallel programs in a systematic way using constructive algorithmics, and to either execute very efficiently the obtained programs with C++ algorithmic skeletons libraries or to compile these programs with a verified optimizing parallel compiler for a dedicated algorithmic skeleton language. This workshop focuses on the design and implementation of algorithmic skeleton libraries. == Date and Location == Thursday March 22, 2012 LIFO, Orléans, France ([http://www.univ-orleans.fr/lifo/acces.php?lang=en&sub=sub4 How to reach LIFO]) == Program == 12:30-14:00 Lunch 14:00-14:45 Design, Implementation and Applications of the SkeTo Library [[BR]] Kiminori Matsuzaki (Kochi University of Technology, Japan) 14:45-15:30 [http://frederic.loulergue.eu/ftp/krumpe_goldsztejn_dias2012.pdf Algorithmic Skeletons for Embedded Systems][[BR]] Marie Krumpe Goldsztejn (CEA & University Paris South) 15:30-16:00 Break 16:00-16:45 [http://frederic.loulergue.eu/ftp/coullon_dias2012.pdf A Block Skeleton Library on 2D Data Structures] [[BR]] Helene Coullon (LIFO, University of Orleans) 16:45-17:45 Discussion == Logistics == The day will run from 12:30 to 17:45 (or from 11:00 to 17:45 if additional talks are proposed) Registration is free, and lunch, tea and coffee will be provided for participants. To register (and propose an additonal talk), please email Frederic Loulergue (frederic.loulergue@univ-orleans.fr) before March 16, 2012