Outer Web | Explore

Explore >> Select a destination

You are here		popl21.sigplan.org PADL 2021 - The 23rd International Symposium on Practical Aspects of Declarative Languages (PADL) 2021 - POPL 2021
\|	\|	popl20.sigplan.org Making Progress Under Uncertainty in SMT Solving, Research, and Life (PLMW 2020) - POPL 2020	0.7 parsecs away Travel
\|	\|	What is PLMW? The Programming Languages Mentoring Workshop (PLMW) aims to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they ...	0.7 parsecs away Travel
\|	\|	pldi22.sigplan.org Equality Saturation as a Tactic for Proof Assistants (EGRAPHS 2022) - PLDI 2022	0.4 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, ...	0.4 parsecs away Travel
\|	\|	2019.splashcon.org On the Impact of Programming Languages on Code Quality (SPLASH 2019 - OOPSLA) - SPLASH 2019	0.4 parsecs away Travel
\|	\|	PACMPL Issue OOPSLA 2019 seeks contributions on all aspects of programming languages and software engineering. Authors of papers published in PACMPL Issue OOPSLA 2019 will present their work at OOPSLA in Athens. Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language...	0.4 parsecs away Travel
\|	\|	icfp20.sigplan.org The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl) (ICFP 2020 - ...	2.6 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.6 parsecs away Travel