Outer Web | Explore

Explore >> Select a destination

You are here		icfp23.sigplan.org Haskell 2023 - ICFP 2023
\|	\|	popl21.sigplan.org PADL 2021 - The 23rd International Symposium on Practical Aspects of Declarative Languages (PADL) 2021 - POPL 2021	0.6 parsecs away Travel
\|	\|	Available now: Proceedings for PADL 2021 About The paradigm of declarative languages encompasses several well-established classes of programming languages, namely: functional, logic, and constraint programming languages.These languages have been successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same ...	0.6 parsecs away Travel
\|	\|	2019.splashcon.org On the Impact of Programming Languages on Code Quality (SPLASH 2019 - OOPSLA) - SPLASH 2019	0.3 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.3 parsecs away Travel
\|	\|	popl24.sigplan.org CPP 2024 - POPL 2024	0.5 parsecs away Travel
\|	\|	Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2024 will be held on 15-16 January 2024 and will be co-located with POPL 2024 in London, UK.	0.5 parsecs away Travel
\|	\|	popl20.sigplan.org Making Progress Under Uncertainty in SMT Solving, Research, and Life (PLMW 2020) - POPL 2020	2.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 ...	2.7 parsecs away Travel