Outer Web | Explore

Explore >> Select a destination

You are here		icfp19.sigplan.org Program Committee - ICFP 2019
\|	\|	icfp20.sigplan.org The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl) (ICFP 2020 - ...	2.5 parsecs away Travel
\|	\|	PACMPL (ICFP) seeks contributions on the design, implementations, principles, and uses of functional programming, covering the entire spectrum of work, from practice to theory, including its peripheries. Authors of papers published in this issue of PACMPL will present their work at ICFP in Jersey City, providing an opportunity for researchers and developers to hear about the latest work in functional programming. PACMPL Volume 4, Issue ICFP, August 2020 is now available Gold Open Access from the ACM Digi...	2.5 parsecs away Travel
\|	\|	2019.splashcon.org Organizing Committee - SPLASH 2019	2.7 parsecs away Travel
\|	\|	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 languagesat 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, and M...	2.7 parsecs away Travel
\|	\|	2023.splashcon.org Artifact Evaluation Committee - SPLASH 2023	26.3 parsecs away Travel
\|	\|	The ACM SIGPLAN International 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. We welcome the community to join us in Lisbon to celebrate humanity at the core of the software development process. We encourage everyone to participate in the many differ...	26.3 parsecs away Travel
\|	\|	pldi22.sigplan.org Equality Saturation as a Tactic for Proof Assistants (EGRAPHS 2022) - PLDI 2022	7.6 parsecs away Travel
\|		E-Graph Research, Applications, Practices, and Human-factors Symposium Research on and around e-graphs has recently exploded in both quantity and diversity. The data structure that powers SMT solvers is now seeing use in synthesis, optimization, and verification via equality saturation and related techniques. In addition to recent advances in the core data structure and techniques, researchers and practitioners are applying e-graphs to domains such as compilers, floating point accuracy, test generation, ...	7.6 parsecs away Travel