Posters‹Programming› 2019
Accepted Papers
Call for Posters
Posters are an integral part of ‹Programming›. We are soliciting quality contributions for the regular Poster Session of ‹Programming›. 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 ‹Programming› 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 posters will be listed on the conference Web site.
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 ‹Programming›. Poster submissions should be e-mailed to both chairs (Maurizio Leotta and Coen De Roover) as a 1-2 page extended abstract and a poster draft, both in PDF format. The extended abstract should contain:
- the poster title;
- names and affiliations of the authors (one of whom should be named as a contact person);
- the poster is related to a paper that will be presented at Programming (or a co-located workshop/event): YES/NO
- if YES, please send us also the paper draft
- the attendance depends on the acceptance of the poster: YES/NO
- YES, we will send the notification before the early registration deadline,
- NO, if you have already got an accepted paper at one of the events and then you will register anyway before the early registration deadline
-
motivation and the addressed problem, proposed solution, and/or novel contributions of the proposal.
Wed 3 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:30 - 14:30 | |||
12:30 2hPoster | Distributed Software on Mobile Robot Posters | ||
12:30 2hTalk | Developing Distributed Systems with ScalaLoci Posters | ||
12:30 2hPoster | Proving Inequational Propositions about Haskell Programs in Coq Posters Jan Christiansen Flensburg University of Applied Sciences, Germany, Sandra Dylus University of Kiel, Germany | ||
12:30 2hPoster | IDVE: an Integrated Development and Verification Environment for JavaScript Posters Christopher Schuster University of California, Santa Cruz, Cormac Flanagan University of California, Santa Cruz |