/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
| | 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.
| | www.org.kobe-u.ac.jp
FLOPS 2012
0.3 parsecs away

Travel
| | FLOPS 2012, Eleventh International Symposium on Functional and Logic Programming
| | 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
| | proftomcrick.com
Survey: Educational landscapes in computer science during and after COVID-19 - Digital, Data & Policy
15.6 parsecs away

Travel
| The COVID-19 pandemic has forced an unprecedented global shift within higher education in the ways that we communicate with and educate students. This necessary paradigm shift has compelled educators to take a critical look at their teaching styles and use of technology. Computer science is a subject which, traditionally, focuses on experiential, in-person activities; COVID-19...