Explore >> Select a destination


You are here

www.wjst.de
| | agtb.wordpress.com
19.8 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...
| | deepmind.google
24.3 parsecs away

Travel
| | Starting this weekend, the thirty-ninth International Conference on Machine Learning (ICML 2022) is meeting from 17-23 July, 2022 at the Baltimore Convention Center in Maryland, USA, and will be...
| | drcastelino.wordpress.com
25.9 parsecs away

Travel
| | A few years ago, I developed a mantra of sorts to help me be a better teacher. With everything I do, I ask myself this question: 'have I given my students every resource and tool needed in order to be successful?'. I believe this has improved my teaching: my explanations are clearer and are focused...
| | pldi22.sigplan.org
26.3 parsecs away

Travel
| E-Graph Research, Applications, Practices, and Human-factors Symposium Research on and around e-graphs has recently exploded in both quantity and diversity. The data structure that powers SMT solvers is now seeing use in synthesis, optimization, and verification via equality saturation and related techniques. In addition to recent advances in the core data structure and techniques, researchers and practitioners are applying e-graphs to domains such as compilers, floating point accuracy, test generation, ...