/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 www.ipl.riec.tohoku.ac.jp
15th International Symposium FLOPS: 2020
| | www.info.kochi-tech.ac.jp
13th International Symposium FLOPS: March 2016, Kochi, Japan
0.1 parsecs away

Travel
| | FLOPS Symposium web page and CFP
| | www.math.nagoya-u.ac.jp
FLOPS 2008 Conference Information
1.2 parsecs away

Travel
| |
| | popl24.sigplan.org
CPP 2024 - POPL 2024
1.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.
| | 2024.splashcon.org
A tour of CPython's runtime (VMIL 2024) - SPLASH 2024
9.1 parsecs away

Travel
| Virtual Machines are pervasive in the design and implementation of programming systems. In fact, languages implemented as virtual machines are crucial in the specification, implementation, and deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues.