Explore >> Select a destination
|
You are here 
|
bentnib.org | ||
| | | | |
www.discotec.org
|
|
| | | | | The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques | |
| | | | |
www.ipl.riec.tohoku.ac.jp
|
|
| | | | | FLOPS Symposium web page and CFP | |
| | | | |
wiki.tfpie.science.ru.nl
|
|
| | | | | [AI summary] The page announces the 10th International Workshop on Trends in Functional Programming in Education (TFPIE), which transitioned to an online format in 2021 due to the pandemic and includes calls for papers, abstracts, and lectures focused on educational theories and applications of functional programming. | |
| | | | |
pldi22.sigplan.org
|
|
| | | 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, ... | ||
