[TYPES/announce] Call for Participation, Functional Software Architecture (Sep 6, Milan)

[Michael Sperber]

======================================================================

	    *** FUNARCH 2024 -- CALL FOR PARTICIPATION ***

		  The Second ACM SIGPLAN Workshop on
	 Functional Software Architecture - FP in the Large

	       6th September 2024, Milan, Italy
		      Co-located with ICFP 2024

     https://urldefense.com/v3/__https://www.functional-architecture.org/events/funarch-2024/__;!!IBzWLUs!S6OvbVy7Eyf1e1VxbTfhKC0AerXvPlFzPbT15EBMaBW4sHuIRhB56H8d86HHBBQfQmtXIO8kN6XN9r5FatMyZM3jjmgVV8TrM3lb$ 

======================================================================

BACKGROUND:

The ACM SIGPLAN Workshop on Functional Software Architecture - FP
in the Large aims to disseminate and enable the use of functional
programming in the large and long-lived software projects.

We specifically want:

- To assemble a community interested in software architecture
  techniques and technologies specific to functional programming;

- To identify, categorize, and document topics relevant to
  the field of functional software architecture;

- To connect the functional programming community to the software
  architecture community to cross-pollinate between the two.

We'd love for you to be part of this effort.  Whatever your
background, you're welcome at FUNARCH - to listen to talks, report
on your experience, and interact with others that share our goals.

See you at FUNARCH!

REGISTRATION:

You can register for the workshop via the registration page for
the ICFP conference, but there's no need to also register for
the conference.  Reduced fees are available until 5th August.
https://urldefense.com/v3/__http://icfp24.sigplan.org/attending/registration__;!!IBzWLUs!S6OvbVy7Eyf1e1VxbTfhKC0AerXvPlFzPbT15EBMaBW4sHuIRhB56H8d86HHBBQfQmtXIO8kN6XN9r5FatMyZM3jjmgVV2bD2yR9$ 

KEYNOTE:

Architecting Functional Programs
Marco Sampellegrini

ACCEPTED SUBMISSIONS:

F3: A Compiler For Feature Engineering
Weixi Ma, Arnaud Venet, Junhua Gu, Subbu Subramanian, Siyu Wang, Rocky Liu (Meta)
Daniel Friedman, Yafei Yang (Indiana University)

Design and implementation of a verified interpreter for additive manufacturing programs
Matthew Sottile, Mohit Tekriwal (Lawrence Livermore National Laboratory)

Applying Continuous Formal Methods to Cardano
James Chapman, Arnaud Bailly, Polina Vinogradova (IOHK)

Continuations: what have they ever done for us?
Marc Kaufmann (Austriae Central European University), Bogdan Popa

Bidirectional Data Transformations
Marcus Crestani, Markus Schlegel, Marco Schneider (Active Group)

PROGRAM CHAIRS:

Mike Sperber (Active Group, Germany)
Perdita Stevens (University of Edinburgh, UK)

PROGRAM COMMITTEE:

Annette Bieniusa (University of Kaiserslautern)
Jeffrey Young (IOG)
Will Crichton (Brown University)
Isabella Stilkerich (Schaeffler Technologies AG)
Kiko Fernandez-Reyes (Ericsson)
Ryan Scott (Galois)
Satnam Singh (Groq)
Facundo Dominguez (Tweag)
Ilya Sergey (University of Singapore)
Martin Elsman (University of Copenhagen)
Benjamin Pierce (University of Pennsylvania)
Matthew Flatt (University of Utah)
Nada Amin (Harvard University)
Richard Eisenberg (Jane Street)

WORKSHOP VENUE:

The workshop will be co-located with the ICFP 2024 conference at
the Milano Convention Centre, Milan, Italy.

======================================================================