[Haskell] Call for Posters: 2018

2018-02-15 Thread Sylvia Grewe

---

 2018 : The Art, Science, and Engineering of Programming

Mon 9 - Thu 12 April 2018 Nice, France
http://2018.programming-conference.org/


CALL FOR POSTERS


Important dates:
- Poster abstract submission: Sunday, March 4th
- Notification: Friday, March 9th
- Poster Presentation: Tuesday, April 10th

Posters are an integral part of . We are soliciting quality 
contributions for the regular Poster Session of  
(submissions due March 4th). The Poster Session aims at showcasing very 
recent or ongoing work, clarifying problem statements, vetting 
solutions, or identifying evaluation methods in an interactive way. It 
will offer an excellent opportunity for authors to receive feedback from 
the  community and encourage one-to-one and small group 
discussions on a technical topic. Students are especially encouraged to 
submit their ongoing work and to introduce it to peer researchers. 
Accepted poster abstracts will be made available on the conference Web site.


The  Posters track will take place on Tuesday, April 10th 
and will be organized jointly with the ACM Student Research Competition 
Poster track, thus fostering interactions between all presenters and 
attendees. Poster author(s) are required to attend the scheduled poster 
session, so that they can discuss their work with conference attendees.


Poster Submission Guidelines:
Posters will be evaluated based on their contribution and relevance to 
. Poster submissions should be sent 
toas a 1-2 page extended abstract in PDF 
format. This document should contain:

 - the poster title;
 - names and affiliations of the authors (one of whom should be named 
as a contact person);
 - motivation and the addressed problem, proposed solution, and/or 
novel contributions of the proposal.


--

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell


[Haskell] OPLSS 2018

2018-02-15 Thread Paul Downen
We are pleased to announce the program for the 17th annual Oregon
Programming
Languages Summer School (OPLSS) to be held from July 3rd to July 21th, 2018
at
the University of Oregon in Eugene. The first week, from July 3rd to July
7th,
will be an introductory session covering the foundations of programming
languages (semantics, types, proof techniques, etc.).  The introductory
session
will help attendees who have not taken a course on this material prepare
for the
rest of the school. Please contact the organizers if you have questions
about
whether the introduction session will be helpful given your background.

The registration deadline is April 2nd, 2018. Registration for the first
week is
optional. Full information on registration and scholarships can be found
here:

http://www.cs.uoregon.edu/Activities/summerschool

The program is as follows:

July 3-7Foundations of Programming Languages

Paul Downen
University of Oregon

Jan Hoffman
Carnegie Mellon University

July 9-21   PARALLELISM AND CONCURRENCY

Umut Acar - Carnegie Mellon University
Parallel Algorithms

Arvind - Massachusetts Institute of Technology
Dataflow: A retrospective.
Atomicity in modular design

Stephanie Balzer - Carnegie Mellon University
Session-Typed Concurrent Programming

Andrej Bauer - University of Ljubljana
Algebraic Effects and Handlers

Guy Blelloch - Carnegie Mellon University
Parallel cost semantics and bounded implementations

Dan R. Ghica - University of Birmingham
Game Semantics

Robert Harper - Carnegie Mellon University
Computational Type Theory

Gabriele Keller - University of New South Wales
Purely Functional Array Programming and its Compilation to
High-Performance Architectures

Keshav Pingali - University of Texas, Austin
Parallel program = Operator + Schedule + Parallel Data Structures

Vijay Saraswat - Goldman Sachs
Resilient X10

We hope you can join us for this excellent program.
Zena Ariola, Guy Blelloch, Paul Downen, and Robert Harper

​
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell