/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

 cse.buffalo.edu
SoCG 2021
| | responsiblecomputing.org
FORC 2024: Call for Papers
2.6 parsecs away

Travel
| | The 5th annual Symposium on Foundations of Responsible Computing (FORC) will be held on June 12-14, 2024, at Harvard University in Cambridge, MA. FORC is a forum for mathematical research in computation and society writ large. The Symposium aims to catalyze the formation of a community supportive of the application of theoretical computer science, statistics,...
| | agtb.wordpress.com
WINE'21 Call for Papers | Turing's Invisible Hand
2.0 parsecs away

Travel
| | WINE 2021: The 17th Conference on Web and Internet Economics December 14-17, 2021Hasso Plattner Institute, Potsdam, Germany https://hpi.de/wine2021 Over the past two decades, researchers in theoretical computer science, artificial intelligence, operations research, and economics have joined forces to understand the interplay of incentives and computation. These issues are of particular importance in the Web and...
| | popl24.sigplan.org
CPP 2024 - POPL 2024
3.3 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.
| | blog.separateconcerns.com
Algorithms, Data Structures & Protocols
17.8 parsecs away

Travel
| There are three fundamental parts to Computer Science: Algorithms, Data Structures and Protocols.