[Agda] SPLASH 2019 Call for Participation

Aggelos Biboudis aggelos.biboudis at epfl.ch
Wed Sep 4 14:18:37 CEST 2019


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

                     Athens, Greece
              Sun 20 - Fri 25 October 2019

                     2019.splashcon.org
                    twitter.com/splashcon
                  www.facebook.com/SPLASHCon

                Sponsored by ACM SIGPLAN

SPLASH is the ACM SIGPLAN conference on Systems, Programming,
Languages, and Applications: Software for Humanity. SPLASH 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
2019 will take place in Athens from Sunday 20th to Friday 25th of
October 2019.

SPLASH includes the following co-located conferences: OOPSLA, Onward!,
GPCE, SLE, DLS (note changed date), and MPLR; as well as a large array
of workshops and events.

The Rebase track (formerly “SPLASH-I”) aims to deliver presentations
of interest to software practitioners and researchers alike. Rebase
will feature perspectives from industry giants, to rocketship startups,
to academic research, and solutions from algorithms to physical
computing, to quantum computing.

Registration
------------

 ** Friday, 20th September 2019 (Early Deadline) ** <-- very soon!
 * Contact:  info at splashcon.org
 * Register: https://2019.splashcon.org/attending/Registration
 * Venue:    https://2019.splashcon.org/venue/splash-2019-venue

Conference
----------
OOPSLA 2019
https://2019.splashcon.org/track/splash-2019-oopsla

Onward! Papers
https://2019.splashcon.org/track/splash-2019-Onward-papers

Onward! Essays
https://2019.splashcon.org/track/splash-2019-Onward-essays

Rebase
https://2019.splashcon.org/track/splash-2019-rebase

Dynamic Languages Symposium (DLS)
*Note*: DLS’19 will be on Sunday instead of its usual slot
https://conf.researchr.org/home/dls-2019

Generative Programming: Concepts & Experiences (GPCE)
https://conf.researchr.org/home/gpce-2019

Software Language Engineering (SLE)
https://conf.researchr.org/home/sle-2019

Managed Programming Languages and Runtimes (MPLR)
https://conf.researchr.org/home/mplr-2019

SPLASH-E
https://2019.splashcon.org/track/splash-2019-SPLASH-E

Doctoral Symposium
http://2019.splashcon.org/track/splash-2019-Doctoral-Symposium

Student Research Competition
https://2019.splashcon.org/track/splash-2019-SRC


Workshops
---------
AGERE (Actors, Agents, and Decentralized Control)
https://2019.splashcon.org/home/agere-2019

AI-SEPS (AI-Inspired and Empirical Methods for SE on Parallel Computing Systems)
https://2019.splashcon.org/home/seps-2019

DSM (Domain-Specific Modeling)
https://2019.splashcon.org/home/dsm-2019

IC (Incremental Computing)
https://2019.splashcon.org/home/ic-2019

LIVE (Live Programming)
https://2019.splashcon.org/home/live-2019

META (Metaprogramming)
https://2019.splashcon.org/home/meta-2019

NJR (Normalized Java Resource)
https://2019.splashcon.org/home/njr-2019

REBLS (Reactive and Event-based Languages and Systems)
https://2019.splashcon.org/home/rebls-2019

STOKED (Spatio-Temporal platforms for Observations and Knowledge of Earth Data)
https://2019.splashcon.org/home/stoked-2019

VMIL (Virtual Machines and Intermediate Languages)
https://2019.splashcon.org/home/vmil-2019


Looking forward to seeing you in Athens!


More information about the Agda mailing list