/explore
|
You are here 
|
notes.kateva.org | ||
| | | | |
www.react.uni-saarland.de
[AI summary] The article profiles invited speakers at the 19th International Conference on Runtime Verification RV 2019, highlighting their academic and professional backgrounds. |
|
| | | | | ||
| | | | |
homotopytypetheory.org
The 2nd International Conference on Homotopy Type Theory (HoTT 2023)will be held Monday 22nd May - Thursday 25th May 2023at Carnegie Mellon University, Pittsburgh (USA). Abstracts of no more than 2 pages should be submitted via Easychair, see the submissions page for instructions. Submissions open on 3rd February 2023 and close on 3rd March 2023.... |
|
| | | | | ||
| | | | |
djangowexler.com
[AI summary] Django Wexler discusses his appreciation for Terry Pratchett's work in a blog post for the Civilian Reader book review blog. |
|
| | | | | ||
| | | | |
www.shesfantastic.com
A Female Action Figure Blog devoted to the Powerful Women of Pop Culture - Toys, Photos, Reviews, Plastic. |
|
| | | |||
