[TYPES/announce] SPLASH 2023 - Second Combined Call for Contributions

2023-07-10 Thread Alcides Fonseca
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

==


 Second Combined Call For Contributions


   ACM Conference on Systems, Programming, Languages, and Applications:

   Software for Humanity (SPLASH'23)


October 22-27, 2023, Cascais, Portugal



https://urldefense.com/v3/__https://2023.splashcon.org__;!!IBzWLUs!QDTQjnRfBTUpbl4AbHRO7bozJkk87bho7GC_hnhG6O8KINoHamqwkrkM0vSXKmW_m1xN09GP99qpNhSHSbdtlJkaeYAXzg$
 


==


SPLASH - The ACM SIGPLAN conference on Systems, Programming,
Languages, and Applications: Software for Humanity embraces all
aspects of software construction and delivery, to make it the premier
conference on the applications of programming languages - at the
intersection of programming languages and software engineering.


Follow the registration space on the SPLASH website to attend this
fantastic line-up of events - we aim to open for registration on July
20.


==


OUTLINE OF THE SECOND COMBINED CALL FOR CONTRIBUTIONS:


SPLASH upcoming deadlines:


 * Student Research Competition (deadline: 14 Jul)

 * Doctoral Symposium (deadline: 21 Jul — Extended!)

 * Programming Languages Mentoring Workshop (PLMW) (deadline: 24 Jul)


SPLASH Workshops (submission deadline: 12 Jul):

 * CONFLANG

 * FTSCS

 * HATRA

 * IWACO

 * LIVE

 * PAINT

 * PLF

 * REBELS

 * ST30

* VMIL




==


SPLASH - The ACM SIGPLAN conference on Systems, Programming,
Languages, and Applications: Software for Humanity embraces all
aspects of software construction and delivery, to make it the premier
conference on the applications of programming languages - at the
intersection of programming languages and software engineering.


SPLASH 2023 aims to signify the reopening of the world and being able
to meet your international colleagues in person.







 SPLASH-E 


SPLASH-E is a symposium, started in 2013, for software and languages
(SE/PL) researchers with activities and interests around computing
education. Some build pedagogically-oriented languages or tools; some
think about pedagogic challenges around SE/PL courses; some bring
computing to non-CS communities; some pursue human studies and
educational research.


At SPLASH-E, we share our educational ideas and challenges centered in
software/languages, as well as our best ideas for advancing such work.
SPLASH-E strives to bring together researchers and those with
educational interests that arise from software ideas or concerns.



Archival Submission Deadline:   27 Jul 2023



** Student Research Competition (SRC) **


The ACM Student Research Competition (SRC) offers a unique opportunity
for undergraduate and graduate students to present their research to a
panel of judges and conference attendees at SPLASH. The SRC provides
visibility and exposes up-and-coming researchers to computer science
research and the research community. This competition also gives
students an opportunity to discuss their research with experts in
their field, get feedback, and sharpen their communication and
networking skills.


Abstract Submission Deadline:   21 Jul 2023



** Programming Languages Mentoring Workshop (PLMW) **


The SPLASH Programming Languages Mentoring Workshop encourages
graduate students (PhD and MSc) and senior undergraduate students to
pursue research in programming languages. This workshop will provide
mentoring sessions on how to prepare for and thrive in graduate school
and in a research career, focusing both on cutting-edge research
topics and practical advice. The workshop brings together leading
researchers and junior students in an inclusive environment in order
to help welcome newcomers to our field of programming languages
research. The workshop will show students the many paths that they
might take to enter and contribute to our research community.


Application Submission Deadline:   24 Jul 2023



** Workshops **


 CONFLANG 


CONFLANG is a workshop on the design, the theory, the practice and the
future evolution of configuration languages. It aims to gather the
emerging community in this area in order to engage in fruitful
interactions, to share ideas, results, opinions, and experiences on
languages for configuration. Correct configuration is an actual
industrial problem, and would greatly benefit from existing and
ongoing academic research. Dually, this is a space with new challenges
to overcome and new directions to explore, which is a great
opportunity to confront new ideas with large-scale production.


 FTSCS 


The aim of this workshop is to bring together researchers and
engineers who are interested in the application of 

[TYPES/announce] SPLASH 2023 - Second Combined Call for Contributions

2023-06-16 Thread Alcides Fonseca
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

==

 Second Combined Call For Contributions

   ACM Conference on Systems, Programming, Languages, and Applications:  
   Software for Humanity (SPLASH'23)

October 22-27, 2023, Cascais, Portugal


https://urldefense.com/v3/__https://2023.splashcon.org__;!!IBzWLUs!Wy1ITQzqMxVsZ4jNycYfpmO1t0K2ApZrKC6grlYT3SSGGUoy_GR5_PtYnoL5_vma4aE8niHRO5Xm6OvdzNNjLIUSQbg3ig$
  

==  

SPLASH - The ACM SIGPLAN conference on Systems, Programming, Languages, and 
Applications: Software for Humanity embraces all aspects of software 
construction and delivery, to make it the premier conference on the 
applications of programming languages - at the intersection of programming 
languages and software engineering.

Follow the registration space on the SPLASH website to attend this fantastic 
line-up of events - we aim to open for registration on July 20.  

==

OUTLINE OF THE SECOND COMBINED CALL FOR CONTRIBUTIONS:

SPLASH upcoming deadlines:
 * Posters (deadline: 15 Aug)
 * SPLASH-E (deadline: 27 Jul)
 * Doctoral Symposium (deadline: 7 Jul)
 * Student Research Competition (deadline: 14 Jul)
 * Programming Languages Mentoring Workshop (PLMW) (deadline: 24 Jul)

SPLASH Workshops (submission deadline: 12 Jul):
 * CONFLANG
 * FTSCS
 * HATRA
 * IWACO
 * LIVE
 * PAINT
 * PLF
 * REBELS
 * ST30

SPLASH Co-located Events:
 * DLS (Deadline: 28 Jun)
 * GPCE (Deadline: 7 July)
 * MPLR (Deadline: 26 Jun)

 

==  

SPLASH - The ACM SIGPLAN conference on Systems, Programming, Languages, and 
Applications: Software for Humanity embraces all aspects of software 
construction and delivery, to make it the premier conference on the 
applications of programming languages - at the intersection of programming 
languages and software engineering.

SPLASH 2023 aims to signify the reopening of the world and being able to meet 
your international colleagues in person.



** Co-located Events **

 Dynamic Languages Symposium (DLS) 

The Dynamic Languages Symposium (DLS) is the premier forum for researchers and 
practitioners to share research and experience on all aspects of dynamic 
languages.

After two decades of dynamic language research and DLS, it is time to reflect 
and look forward to what the next two decades will bring. This year's DLS will 
therefore be a special DLS focusing on the Future of Dynamic Languages. To do 
the notion of "symposium" justice, we will actively invite speakers to present 
their opinions on where Dynamic Languages might be, will be, or should be going 
in the next twenty years.

Paper Submission Deadline: 28 Jun 2023
Details: 
https://urldefense.com/v3/__https://2023.splashcon.org/home/dls-2023__;!!IBzWLUs!Wy1ITQzqMxVsZ4jNycYfpmO1t0K2ApZrKC6grlYT3SSGGUoy_GR5_PtYnoL5_vma4aE8niHRO5Xm6OvdzNNjLIVZwDdsTg$
 



 Generative Programming: Concepts & Experiences (GPCE)

ACM SIGPLAN International Conference on Generative Programming: Concepts & 
Experiences (GPCE) is a venue for researchers and practitioners interested in 
techniques that use program generation, domain-specific languages, and 
component deployment to increase programmer productivity, improve software 
quality, and shorten the time-to-market of software products. In addition to 
exploring cutting-edge techniques of generative software, our goal is to foster 
further cross-fertilization between the software engineering and the 
programming languages research communities.

Abstract Submission Deadline:  3 Jul 2023
Paper Submission Deadline: 7 Jul 2023

Details: 
https://urldefense.com/v3/__https://2023.splashcon.org/home/gpce-2023__;!!IBzWLUs!Wy1ITQzqMxVsZ4jNycYfpmO1t0K2ApZrKC6grlYT3SSGGUoy_GR5_PtYnoL5_vma4aE8niHRO5Xm6OvdzNNjLIWod-43HA$
 



 Managed Programming Languages & Runtimes (MPLR)

The 20th International Conference on Managed Programming Languages & Runtimes 
(MPLR'23, formerly ManLang, originally PPPJ) is a premier forum for presenting 
and discussing novel results in all aspects of managed programming languages 
and runtime systems, which serve as building blocks for some of the most 
important computing systems around, ranging from small-scale (embedded and 
real-time systems) to large-scale (cloud-computing and big-data platforms) and 
anything in between (mobile, IoT, and wearable applications).

Paper/Abstract Submission Deadline:   26 Jun 2023

Details: