‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy

Accepted Papers

Title
Developing Distributed Systems with ScalaLoci
Posters
Distributed Software on Mobile Robot
Posters
IDVE: an Integrated Development and Verification Environment for JavaScript
Posters
Proving Inequational Propositions about Haskell Programs in Coq
Posters

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.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 3 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

12:30 - 14:30
Poster SessionPosters at Second floor hall
12:30
2h
Poster
Distributed Software on Mobile Robot
Posters
12:30
2h
Talk
Developing Distributed Systems with ScalaLoci
Posters
Pascal Weisenburger Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt
12:30
2h
Poster
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
2h
Poster
IDVE: an Integrated Development and Verification Environment for JavaScript
Posters
Christopher Schuster University of California, Santa Cruz, Cormac Flanagan University of California, Santa Cruz