Discussion:
[Agda] <Programming> 2018: Call for workshop, symposium & poster submissions
Sylvia Grewe
2017-12-14 12:32:37 UTC
Permalink
-----------------------------------------------------------------------
 <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.
Loading...