[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
Please consider providing a talk to the following workshop which will
now be held online. Sorry for cross-posting.
--------------------------------------------------------------------------------
Call for Speakers
Workshop on Programming Research in Mainstream Languages (PRiML)
Saarbrücken, Germany, Mon July 6th, 2020
https://agozillon.github.io/PRiML
PRiML 2020 will be held online. Registration is free.
# About PRiML
The First Workshop on Programming Research in Mainstream Languages is
co-located with the Thirty-Fifth Annual ACM/IEEE Symposium on Logic in
Computer Science (LICS 2020) & the 47th International Colloquium on
Automata, Languages and Programming (ICALP 2020) in Saarbrücken,
Germany, in July, 2020.
The PRiML workshop will consist of invited talks by leading experts
and shorter contributed talks selected by the Program Committee.
Programming language (PL) research in mainstream languages, entails
challenges beyond those encountered within the isolation of the
laboratory. Mainstream PLs, are supported by their many users, who
expect stability, but so too innovation – whether within the language
itself, or its standard libraries. A mainstream PL needs to support
the initial concept critique, subsequent implementations, political
calculations, and, ultimate bureaucracy involved in the execution of
full support for novel features – often across multiple
implementations. All that debate is due to real concerns about feature
interaction.
Performing PL research within a mainstream language can bring a
hitherto proven research concept from the laboratory to a wider
audience. Moreover, of course, the lack of isolation presents fresh
challenges as new concepts must fund their own idiomatic expressions
over the debate on feature interaction. One finds such expressions
either within an existing PL or as a new PL with the funding or
wherewithal to approach a mainstream audience.
On the other hand, the prototype PL crafted for experimenting with a
research idea might have features remote from existing mainstream PLs.
Choosing a mainstream PL to host the same research entails a fresh
examination of the host’s features for their suitability for the
research. The implication might be a very different feature set from
the host or simulation to those of the prototype in the mainstream PL.
Either way, the added benefit is solving the same research problem
using a fresh set of features.
# Preparation of submissions
We are looking for talks about PL research within mainstream PLs.
Prospective speakers should consider topics which:
1) briefly report on PL research performed with a mainstream PL; and
2) clearly outline the added value of the chosen PL(s) for the
reported research.
We invite contributions from innovators working with classic TIOBE
programming language mainstays such as Java, C, C++, Python and C#.
But so too we welcome maturing Stack Overflow darlings such as Rust,
Swift, Go and beyond.
Talk titles along with abstracts should be submitted by email to the
program chairs. Contact details are available on the [workshop
website](https://agozillon.github.io/PRiML).
# Important Dates
Proposal submission deadline: Friday June 5th
Author notification: by Friday June 12th
Workshop: Monday July 6th
# Program Chairs
The workshop is co-organized by Seyed Hossein Haeri (Université
catholique de Louvain, Belgium) and Paul Keir (University of the West
of Scotland, UK). Contact details are available on the [workshop
website](https://agozillon.github.io/PRiML).
Please consider the environment and think before you print.
The University of the West of Scotland is a registered Scottish
charity. Charity number SC002520.
This e-mail and any attachment is for authorised use by the intended
recipient(s) only. It may contain proprietary material, confidential
information and/or be subject to legal privilege. It should not be
copied, disclosed to, retained or used by, any other party. If you are
not an intended recipient then please promptly delete this e-mail and
any attachment and all copies and inform the sender.
Please note that any views or opinions presented in this email are
solely those of the author and do not necessarily represent those of
the University of the West of Scotland.
As a public body, the University of the West of Scotland may be
required to make available emails as well as other written forms of
information as a result of a request made under the Freedom of
Information (Scotland) Act 2002.
--
--------------------------------------------------------------------------------------------------------------
Seyed H. HAERI (Hossein), Dr.
Post-Doctoral Research Fellow
Department of Computing Science and Engineering
Catholic University of Louvain
Louvain-la-Neuve, Belgium
ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------
