Outer Web | Explore

Explore >> Select a destination

You are here		icfp19.sigplan.org Organizing Committee - ICFP 2019
\|	\|	homotopytypetheory.org HoTT 2023 \| Homotopy Type Theory	5.1 parsecs away Travel
\|	\|	The 2nd International Conference on Homotopy Type Theory (HoTT 2023)will be held Monday 22nd May - Thursday 25th May 2023at Carnegie Mellon University, Pittsburgh (USA). Abstracts of no more than 2 pages should be submitted via Easychair, see the submissions page for instructions. Submissions open on 3rd February 2023 and close on 3rd March 2023....	5.1 parsecs away Travel
\|	\|	2019.splashcon.org Organizing Committee - SPLASH 2019	0.4 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...	0.4 parsecs away Travel
\|	\|	2023.splashcon.org AST vs. Bytecode: Interpreters in the Age of Meta-Compilation (SPLASH 2023 - OOPSLA) - SPLASH 2023	0.9 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...	0.9 parsecs away Travel
\|	\|	2019.splashcon.org META 2019 - SPLASH 2019	2.6 parsecs away Travel
\|		About The changing hardware and software landscape along with the increased heterogeneity of systems make metaprogramming once more an important research topic to handle the associated complexity. Meta'19 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions, or software tools using them. The challenges which metaprogramming faces are manifold. They start with formal reasoning about reflective programs, continue ...	2.6 parsecs away Travel