[Agda] <Programming> 2018: Call for workshop, symposium & poster submissions

Thu Dec 14 13:32:37 CET 2017

-----------------------------------------------------------------------
  <Programming> 2018 : The Art, Science, and Engineering of Programming

    April 9-12, 2018, Nice, France
https://2018.programming-conference.org/
-----------------------------------------------------------------------

The associated journal for <Programming> already published two exciting 
issues this year (openly accessible at 
http://programming-journal.org/2018/), a third one is being prepared at 
the moment. All of the papers from this year’s volume will be presented 
at <Programming> 2018 in Nice in April.

Are you still looking for a good opportunity to contribute to the event?
We are excited to announce that there will be 11 co-located events at 
the <Programming> 2018 conference:

  - ACM Student Research Competition / <Programming> 2018 Posters
  - Bx 2018 - 7th International Workshop on Bidirectional Transformations
  - CoCoDo 2018 – Raincode Labs Compiler Coding Dojo
  - LASSY 2018 - 3rd Workshop on Live Adaptation of Software SYstems
  - MOMO 2018 - 3rd Workshop on Modularity in Modelling
  - MoreVMs 2018 - 2nd Workshop on Modern Language Runtimes, Ecosystems, 
and VMs
  - PASS 2018 - 2nd Workshop on Programming Across the System Stack
  - Programming for the Large 2018 Workshop
  - ProWeb 2018 - 2nd International Workshop on Programming Technology 
for the Future Web
  - PX/18 - 3rd Workshop on Programming Experience
  - Salon des Refusés 2018 - 2nd edition of the Salon des Refusés workshop

All co-located events will take place during April 9-10 2018. Below, we 
list short descriptions and important dates for each event. We are 
looking forward to your contributions!

********************************************************************
  ACM Student Research Competition / <Programming> 2018 Posters
    Submissions: Mon 22 Jan 2018

https://2018.programming-conference.org/track/programming-2018-src
********************************************************************

The ACM Student Research Competition (SRC), sponsored by Microsoft 
Research, offers a unique forum for ACM student members at the 
undergraduate and graduate levels to present their original research 
before a panel of judges and conference attendees. The SRC gives 
visibility to up-and-coming young researchers, and offers them an 
opportunity to discuss their research with experts in their field, get 
feedback, and to help sharpen communication and networking skills.

ACM’s SRC program covers expenses up to $500 for all students invited to 
an SRC. Please see our website for requirements and further details.

****************************************************************
  Bx 2018 - 7th International Workshop on Bidirectional Transformations

    Paper submissions: Fri 19 Jan 2018
    Notifications: Sat 17 Feb 2018

https://2018.programming-conference.org/track/bx-2018-papers
****************************************************************

Bidirectional transformations (bx) are a mechanism for maintaining the 
consistency of at least two related sources of information. Such sources 
can be relational databases, software models and code, or any other 
document following standard or ad-hoc formats. Bx are an emerging topic 
in a wide range of research areas, with prominent presence at top 
conferences in several different fields (namely databases, programming 
languages, software engineering, and graph transformation), but with 
results in one field often getting limited exposure in the others. Bx 
2018 is a dedicated venue for bx in all relevant fields, and is part of 
a workshop series that was created in order to promote 
cross-disciplinary research and awareness in the area. As such, since 
its beginning in 2012, the workshop has rotated between venues in 
different fields.

****************************************************************
  CoCoDo 2018 – Raincode Labs Compiler Coding Dojo

     No submission deadlines!

https://cocodo.github.io
****************************************************************

If you ever studied any computing discipline, you must have learnt
something about compilers as well, and you probably think you forgot
everything about it since. Yet, almost every time you develop a
non-trivial piece of software, you end up converting data between
formats, traversing hierarchical structures, analysing and
representing dependences and doing many other things that are at the
heart of compiler design and implementation. Whether you are applying
a Visitor design pattern or emulating a state machine with a
switch/case statement, you are programming a little part of a compiler
for your own language.

Participating in CoCoDo will give you a chance to immerse in the
marvels of compiler technologies for one day — and if you like it, you
are welcome to stay in this field! Our coding dojo will be split into
sessions, each dedicated to one aspect of compilation, with brief
explanations and supervision by leading field experts. There will be
several technologies, mainstream and otherwise, laid out at your
disposal. Better yet, you can bring your own workbench and show us how
it’s done.

****************************************************************
  LASSY 2018 - 3rd Workshop on Live Adaptation of Software SYstems

    Paper submissions: Fri 12 Jan 2018
    Notifications: Fri 12 Feb 2018

https://2018.programming-conference.org/track/LASSY-2018-papers
****************************************************************

The LASSY workshop provides a space for discussion and collaboration 
between researchers working on the problem of enabling live adaptations 
to software systems, across the development stack. The workshop 
encourages theoretical work on programming models and techniques to 
adapt software systems at the programming language, database, or user 
interface levels; application and practice to adaptive systems to a 
particular domain; and empirical studies on the impact and assessment of 
adaptive systems from a societal point of view.

****************************************************************
  MOMO 2018 - 3rd Workshop on Modularity in Modelling

    Abstract submissions (optional): Fri 2 Feb 2018
    Paper submissions: Thu 8 Feb 2018
    Notifications: Thu 1 Mar 2018

http://www.momo2018.ece.mcgill.ca/index.htm
****************************************************************

Despite the power of abstraction of modelling, models of real-world 
problems and systems quickly grow to such an extent that managing the 
complexity by using proper modularization techniques becomes necessary. 
The Third International Modularity in Modelling Workshop (MoMo’18) will 
bring together researchers and practitioners interested in the 
theoretical and practical challenges resulting from applying modularity, 
advanced separation of concerns, and composition at the modelling level. 
It is intended to provide a forum for presenting new ideas and 
discussing the impact of the use of modularization in the context of 
(MDE) at different levels of abstraction.

MoMo’18 will bring together researchers and practitioners interested in 
exploring modularization techniques for modelling, such as but not 
limited to aspect-oriented mechanisms to support advanced separation of 
concerns, advanced composition operators for possibly heterogeneous 
models, and techniques for execution and reasoning over global 
properties of modularized models.

****************************************************************************** 

  MoreVMs 2018 - 2nd Workshop on Modern Language Runtimes, Ecosystems, 
and VMs

    Submissions: Fri 26 Jan 2018
    Notifications: Fri 23 Feb 2018

https://2018.programming-conference.org/track/MoreVMs-2018
****************************************************************************** 

The MoreVMs'18 workshop aims to bring together industrial and academic 
programmers to discuss the design, implementation, and usage of modern 
languages and runtimes. This includes aspects such as reuse of language 
runtimes, modular implementation, language design and compilation 
strategies.

The workshop aims to enable a diverse discussion on how languages and 
runtimes are currently being utilized, and where they need to improve 
further. We welcome presentation proposals in the form of extended 
abstracts discussing experiences, work-in-progress, as well as future 
visions, from either an academic or industrial perspective.

**************************************************************************
  PASS 2018 - Workshop on Programming Across the System Stack

    Submissions: Mon 5 Feb 2018
    Notifications: Mon 26 Feb 2018
    Poster Submissions: Tue 6 Mar 2018

https://2018.programming-conference.org/track/PASS-2018-papers
**************************************************************************

The landscape of computation platforms has changed dramatically in 
recent years. Emerging systems - such as wearable devices, smartphones, 
unmanned aerial vehicles, Internet of things, cloud computing servers, 
heterogeneous clusters, and data centers - pose a distinct set of 
system-oriented challenges ranging from data throughput, energy 
efficiency, security, real-time guarantees, to high performance. In the 
meantime, code quality, such as modularity or extensibility, remains a 
cornerstone in modern software engineering, bringing in crucial benefits 
such as modular reasoning, program understanding, and collaborative 
software development.

This workshop is driven by one fundamental question: How does internal 
code quality interact with system-oriented goals? We welcome both 
positive and negative responses to this question. An example of the 
former would be modular reasoning systems specifically designed to 
promote system-oriented goals, whereas an example of the latter would be 
anti-patterns against system-oriented goals during software development.

*************************************************************************
  Programming for the Large 2018 Workshop

Abstract submissions: Fri 26 Jan 2018
    Submissions (full papers):  Fri 2 Feb 2018
    Position paper and work-in-progress paper submission: Tue 13 Feb 2018
    Notifications:  Fri 23 Feb 2018

https://2018.programmingconference.org/track/PftL-2018-papers
*************************************************************************

In the last decade we have witnessed a new kid on the block in the 
programming (language) community: programming “large computers”. Such 
computers include many-core machines, clusters of raspberry-pies, 
industry-scale cluster machines, cloud infrastructure, CUDA and 
MPI-based supercomputers etc. This workshop seeks to gather researchers 
that contribute to the simplification of the software stack that will be 
used to program such machinery in the near future. The main focus of the 
workshop is "Programming for the Large". Nonetheless, this workshop aims 
to bring together researchers from many disciplines: distributed 
programming, big data processing, distributed database engineering, etc. 
This workshop welcomes any contribution that advances the 
state-of-the-art in the design, implementation and engineering of 
runtime systems for cluster architectures.

*************************************************************************
  ProWeb 2018 - 2nd International Workshop on Programming Technology for 
the Future Web

    Submissions:  Mon 15 Jan 2018
    Notifications: Mon 12 Feb 2018

https://2018.programming-conference.org/track/proweb-2018-papers
*************************************************************************

Web applications have become ubiquitous on desktop and mobile devices 
alike. Whereas “responsive” web applications already offered a 
desktop-like experience, there is an increasing demand for “rich” web 
applications (RIAs) that offer collaborative and even off-line 
functionality.

ProWeb18, the 2nd International Workshop on Programming Technology for 
the Future Web, is a forum for researchers and practitioners to share 
and discuss new technology for programming these and future evolutions 
of the web. We welcome submissions introducing programming technology 
(i.e., frameworks, libraries, programming languages, program analyses 
and development tools) for implementing web applications and for 
maintaining their quality over time, as well as experience reports about 
the use of state-of-the-art programming technology.
Relevant topics include, but are not limited to: program analysis and 
testing for the web; design and implementation of languages for the web; 
distributed technology for data sharing, replication and consistency; 
and security technology for the web.

****************************************************************
PX/18 - 3rd Workshop on Programming Experience
    Submissions: Sat 3 Feb 2018
    Notifications: Mon 26 Feb 2018

https://2018.programming-conference.org/track/px-2018-papers/
http://programming-experience.org/px18/
****************************************************************
PX is a workshop that explores the act of programming, in particular 
what programmers and programming teams do to create software. Do they 
type in source text and compile; do they modify running programs; what 
kinds of tools are available for error detection, correction, and 
prevention; what collaboration tools are available; what language 
features make some things easier (or harder); what constitutes 
programming; etc? The workshop is run as a writers’ workshop.

****************************************************************
  Salon des Refusés 2018
    Submissions: Thu 1 Feb 2018
    Notifications: Sat 17 Feb 2018

https://www.shift-society.org/salon/2018/
****************************************************************
Salon des Refusés ("exhibition of rejects") was an 1863 exhibition of 
artworks rejected from the official Paris Salon. It displayed works by 
later famous modernists such as Édouard Manet, whose paintings were 
rejected by the conservative jury of the Paris Salon. A similar space is 
needed to explore new ways of doing computer science.
Many interesting ideas about programming struggle to find space in the 
modern programming language research community, often because they are 
difficult to evaluate. To provide space for unorthodox thought provoking 
ideas, we take inspiration from literary criticism. Papers that spark an 
interesting debate among the program committee are presented together 
with an attributed critique that discusses the merits of the work.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20171214/42d02997/attachment-0001.html>